谈谈C++中条件变量condition_variable

定义

条件变量std::condition_variable定义在头文件#include<condition_variable>中。
条件变量用于阻塞一个或多个线程，直到某个线程修改线程间的共享变量，并通过condition_variable通知其余阻塞线程，从而使已阻塞线程可以继续处理后续的操作。
使用条件变量时，分为两部分：

1. 用于通知已阻塞线程，共享变量已改变。
2. 用于阻塞某一线程，直至该线程被唤醒。

用于通知

可以分为两步：

1. 获取互斥量std::mutex，通常使用std::unique_lock来完成。
2. 在持有锁的期间，在条件变量std::condition_variable上执行notify_one或者notify_all去唤醒阻塞线程。

用于阻塞

可以分为三步：

1. 使用std::unique_lockstd::mutex来实现加锁操作，使得可以在相同的互斥量mutex上不同的线程保护共享变量。
2. 执行wait,wait_for或wait_unitl。该操作能够原子性的释放互斥量mutex上的锁，并阻塞这个线程。
3. 当条件变量condition_variable被通知，超时或虚假唤醒时，该线程结束阻塞状态，并自动的获取互斥量mutex上的锁。当然，这里应该检查是否为虚假唤醒。

唤醒丢失

唤醒丢失的现象是发送方在接收方进入等待状态之前发送通知。结果就是导致通知消失。C++标准以同步同时机制描述条件变量，“条件变量类是原始的，可同步的用于阻塞单个或多个线程”。因此，当通知丢失时，接收方将一直处于等待状态。

虚假唤醒

尽管没有发生通知，但接收方还是可能被唤醒。