cppreference上错误的std :: condition_variable示例？

Question

在std::condition_variable的示例用法中，它们基本上具有

std::mutex m;
std::condition_variable cv;
bool ready = false;

void worker_thread()
{
    // Wait until main() sends data
    std::unique_lock<std::mutex> lk(m);
    cv.wait(lk, []{return ready;});
    // more ...
}

int main()
{
    std::thread worker(worker_thread);

    data = "Example data";
    // send data to the worker thread
    {
        std::lock_guard<std::mutex> lk(m);
        ready = true;
    }
    cv.notify_one();
    // more...
}

我现在的问题是变量ready ，它没有被声明为std::atomic* 。

如果发生虚假唤醒，为什么不引入竞争条件？

Answer 1

不，没有竞争条件。
即使条件变量虚假唤醒，它也必须重新获得锁定。 因此，有两件事情发生：

1. 锁定时，没有任何线程可以触摸ready ，因为锁可以保护它。
2. 通过重新获取锁，布尔值必须同步，因为锁执行内存顺序获取，这导致ready具有最新值。

因此，竞争条件无法发生。