等待條件變量后，線程不並行運行

Question

請參閱下面的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();
}

Answer 1

看起來它們並行運行，但是只有其中一個能夠在通知后鎖定cv_m互斥鎖，其余的只是等待進一步。