c++ - 如果在互斥锁下没有修改共享原子变量，则无法正确发布

Question

我正在阅读 http://en.cppreference.com/w/cpp/thread/condition_variable 上有关 std::condition_variable 的信息我不明白这一点:

Even if the shared variable is atomic, it must be modified under the mutex in order to correctly publish the modification to the waiting thread.

如果共享原子变量没有在互斥锁下修改，为什么不能正确发布？如何理解这句话？

在另一页http://en.cppreference.com/w/cpp/atomic/atomic有一个陈述似乎与第一个陈述相矛盾:

If one thread writes to an atomic object while another thread reads from it, the behavior is well-defined (see memory model for details on data races)

Answer 1

考虑这个例子:

std::atomic_bool proceed(false);
std::mutex m;
std::condition_variable cv;

std::thread t([&m,&cv,&proceed]()
{
    {
        std::unique_lock<std::mutex> l(m);
        while(!proceed) {
            hardWork();
            cv.wait(l);
        }
    }
});

proceed = true;
cv.notify_one();
t.join();

这里原子共享数据 proceed 被修改而不使用互斥体，之后通知被发送到条件变量。但是有可能在发送通知的那一刻，线程 t 并没有等待 cv:而是在 hardWork() 在此之前检查了 proceed 并发现它是错误的。错过了通知。当 t 完成 hardWork 时，它将继续等待(大概永远)。

如果主线程在修改共享数据之前锁定了互斥锁proceed，这种情况本来可以避免。

我认为这就是说“即使共享变量是原子的，也必须在互斥锁下对其进行修改才能正确地将修改发布到等待线程”时的情况。