Question

您好我有以下代码：

// condition_variable example
#include <iostream>           // std::cout
#include <thread>             // std::thread
#include <mutex>              // std::mutex, std::unique_lock
#include <condition_variable> // std::condition_variable

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

void print_id (int id) {
  std::unique_lock<std::mutex> lock(mtx);
  while (!ready) cv.wait(lock);
  // ...
  std::cout << "thread " << id << std::endl;
}

void go() {
  std::unique_lock<std::mutex> lock(mtx);
  ready = true;
  cv.notify_one();
}

int main ()
{
  std::thread threads[10];
  // spawn 10 threads:
  for (int i=0; i<10; ++i)
    threads[i] = std::thread(print_id,i);

  std::cout << "10 threads ready to race..." << std::endl;
  go();                       // go!

  for (auto& th : threads) th.join();
  std::cout << "Finished!" << std::endl;

  return 0;
}

这是输出：

10 threads ready to race...
thread 9
thread 0

我的期望是通过调用notify_one（），只会通知一个线程，我将陷入死锁。但在这种情况下，在重新锁定死锁之前通知了两个线程。我在这里错过了什么？谢谢

Answer 1

您不应指望通知线程的数量。 notify_one醒来＆＃34;至少有一个，如果等待线程存在＆＃34;。

C ++标准允许spurious wakeups，这意味着线程在没有通知的情况下被唤醒。

相反，请检查互斥锁中保护的变量。如果您想要精确计算的通知行为，可以考虑添加计数器。

Answer 2

调用go()时，可能并非所有线程都已启动。然后可能会发生这种情况：

正在运行九个线程并等待条件变量。
您致电go()，将ready设置为true并通知线程零。
第十个线程已启动，它看到ready为true并且不等待条件变量。

c ++线程中的notify_one（）唤醒了多个线程

2 个答案: