C++11 中的 Volatile - 后续

Question

这是Volatile in C++11的后续行动

在问题中，有人告诉我以下代码在 C++11 中表现出未定义的行为，这让我非常困惑。关于 C++11 中 volatile 的行为，我是否可以阅读任何材料（也许是标准的部分）？

或者谁能解释一下问题出在哪里？

#include <iostream>
#include <chrono>
#include <thread>
using namespace std;

volatile int notify;

void watcher()
{
    this_thread::sleep_for(chrono::seconds(2));
    notify = 1;
    cout << "Notification sent." << endl;
}

int main()
{
    thread(watcher).detach();

    notify = 0;
    while (!notify)
    {
        cout << "Waiting." << endl;
        this_thread::sleep_for(chrono::seconds(1));
    }

    cout << "Notification received." << endl;

    return 0;
}

Answer 1

该标准描述了内存模型，尤其是“数据竞争”的概念（第 1.10 节）。很明显，您的代码对变量 notify 存在数据竞争，因此行为未定义。

要解决此问题，要么通过锁保护对notify 的访问，要么将其设置为原子变量，例如std::atomic<int>。