是condition_variable。通知同步点？

Question

bool signalled = false;
std::condition_variable cv;
void thread1() {
  while (true) {
    std::unique_lock l(mutex);
    cv.wait_until(l, [] { return signalled; });
    return;
  }
}

void thread2...N() {
  signalled = true;
  cv.notify_all();
}

编辑：如果不是线程安全的，我正在寻找一个关于竞争条件的描述，这样我就可以更好地理解潜在的问题并填补知识空白。

Answer 1

在不同步的情况下写入非原子变量是ub。但是，使signaled成为原子 并不能解决问题。

std::condition_variable上的C++引用读取：

即使共享变量是原子变量，也必须在互斥体下对其进行修改，以便将修改正确地发布到等待线程。

bool signalled = false;

void thread2...N()
{
    std::unique_lock l(mutex);
    signalled = true;
    cv.notify_all();
}

null