c++ - 等待条件变量后线程未并行运行

请参阅下面的示例，了解从cppreference中获取的condition_variable。在此示例中，一堆线程正在等待变量i变为i == 1。我以示例为例，只是在工作程序内部添加了std::this_thread::sleep_for(std::chrono::seconds(1));指令以检查他们是否实际上在并行运行。令我惊讶的是他们没有，所以肯定有些我不了解的东西。收到通知后，不是所有线程都同时启动吗？

如果我删除了所有与condition_variable相关的指令，那么线程确实会按预期并行运行，因此我相信我的编译器(带有C++ 11库的LLVM)正在正确编译。

#include <iostream>
#include <condition_variable>
#include <thread>
#include <chrono>

std::condition_variable cv;
std::mutex cv_m;
int i = 0;

void waits()
{
  std::unique_lock<std::mutex> lk(cv_m);
  std::cerr << "Waiting... \n";
  cv.wait(lk, []{return i == 1;});
  std::cerr << "...finished waiting. i == 1\n";
  std::this_thread::sleep_for(std::chrono::seconds(1));
  std::cerr << "...finished running.\n";
}

void signals()
{
  std::this_thread::sleep_for(std::chrono::seconds(1));
  {
    std::lock_guard<std::mutex> lk(cv_m);
    std::cerr << "Notifying...\n";
  }
  cv.notify_all();

  std::this_thread::sleep_for(std::chrono::seconds(1));

  {
    std::lock_guard<std::mutex> lk(cv_m);
    i = 1;
    std::cerr << "Notifying again...\n";
  }
  cv.notify_all();
}

int main()
{
  std::thread t1(waits), t2(waits), t3(waits), t4(signals);
  t1.join();
  t2.join();
  t3.join();
  t4.join();
}

最佳答案

看起来它们正在并行运行，但是只有一个能在通知后锁定cv_m互斥体，其余的将等待更长时间。