C++ 快速连续通知\u all（）不会解锁条件变量？

我有以下代码：

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

std::condition_variable cv;
std::mutex cv_m;  // This mutex is used for three purposes:
                  // 1) to synchronize accesses to i
                  // 2) to synchronize accesses to std::cout
                  // 3) for the condition variable cv
int i = 0;

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

void signals()
{
  for (int j = 0; j < 3; ++j) {
    std::this_thread::sleep_for(std::chrono::seconds(1));
    {
      std::unique_lock<std::mutex> lk(cv_m);
      std::cout << "Notifying...\n";
    }
  }
  i = 1;

  std::this_thread::sleep_for(std::chrono::seconds(1));
  std::cout << "Notifying again...\n";
  cv.notify_all();
  std::cout << "Notifying again2...\n";
  // HERE!
  //std::this_thread::sleep_for(std::chrono::seconds(1));
  cv.notify_all();
}

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

---

简而言之，这两个通知发生在任何线程唤醒之前

一旦通知了条件变量，所有线程都将被唤醒，或者至少条件变量不再认为它们在“等待”。在下一次调用wait之前发生的后续通知将不起任何作用

---

通过引入睡眠，您可以给线程足够的时间执行第二次等待，然后再通知它们，从而产生您所看到的行为。

简而言之，这两个通知是在任何线程唤醒之前发生的

一旦通知了条件变量，所有线程都将被唤醒，或者至少条件变量不再认为它们在“等待”。在下一次调用wait之前发生的后续通知将不起任何作用

---

通过引入睡眠，您可以给线程足够的时间执行第二次等待，然后再通知它们，从而产生您看到的行为。

通知不会排队。只有当前正在等待的东西才能得到它们，而等待的东西可能会在等待时被错误地唤醒

条件变量不是信号量：除非对并发性进行比正常情况更多的推理，否则应始终在测试中等待它们，在互斥锁中修改和读取测试值，并在通知之前使用锁修改测试值，通知应该仅仅是为了检查提取了所有信息的保护值

您违反了这些规则，并且您的代码没有执行您认为应该执行的操作。对我来说，如果你的代码能工作，那将是令人惊讶的

---

值，条件变量，互斥：三部分，一条消息。

通知不排队。只有当前正在等待的东西才能得到它们，而等待的东西可能会在等待时被错误地唤醒

条件变量不是信号量：除非对并发性进行比正常情况更多的推理，否则应始终在测试中等待它们，在互斥锁中修改和读取测试值，并在通知之前使用锁修改测试值，通知应该仅仅是为了检查提取了所有信息的保护值

您违反了这些规则，并且您的代码没有执行您认为应该执行的操作。对我来说，如果你的代码能工作，那将是令人惊讶的

---

值，条件变量，互斥：三部分，一条消息。

第二次等待/通知的目的是什么？@AlanStokes只是概念证明，可以尝试一下。如果你等待已经发生的事情，你将等待很长时间。第二次等待/通知的目的是什么？@AlanStokes只是概念性的验证，可以尝试一下。如果你等待已经发生的事情，你将等待很长时间。

Waiting... 
Waiting... 
Waiting... 
Notifying...
Notifying...
Notifying...
Notifying again...
Notifying again2...
..waiting... 
..waiting... 
..waiting... 
...finished waiting. i == 1
...finished waiting. i == 1
...finished waiting. i == 1