Question

请参阅以下从cppreference中获取的condition_variable示例。在此示例中，一堆线程正在等待变量i变为i == 1。我拿了这个例子，只是在worker中添加了一条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();
}

Answer 1

看起来它们并行运行，但是只有其中一个能够在通知后锁定cv_m互斥锁，其余的只是等待。

等待条件变量后，线程不并行运行

1 个答案: