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具有最新值.

因此,竞争条件无法发生.