c++ - 不能使用互斥锁读取共享数据会导致任意的陈旧数据吗？

Question

假设我们有这个简单的类:

class example
{
    bool m_isCanceled;
    example() : m_isCanceled(false) {}
public:
    void cancel() { m_isCanceled = true; }

    void doWork()
    {
        for (int i = 0; i < MAX_RETRIES; ++i)
        {
            // Slow
            doStuff();

            if (m_isCanceled)
            {
                return;
            }
        }
    }
}

如果我们在一个线程上调用 example::doWork()，然后在一段时间后我们在另一个线程上调用 example::cancel()，是否有一个限制在第一个线程看到 m_isCanceled 现在为真之前需要多长时间？

在类似的情况下，我建议我们用互斥量保护 m_isCanceled，但我的同事说第一个线程最多只能在额外迭代后看到更新。这样对吗？

Answer 1

根本没有保证。理想情况下，您将使 bool 变量成为原子变量。如果做不到这一点，让它 volatile 恰好可以在几乎所有已知平台上工作。当然，用互斥量保护它是可以保证的。

在实践中，它无论如何都会“碰巧起作用”。该实现通常不知道 doStuff 或它调用的某些函数是否操纵了 m_isCancelled。因此，它将无法在这些调用中将其保存在寄存器或其他内容中。