官网
在C++11中，我们可以使用条件变量（condition_variable）实现多个线程间的同步操作；当条件不满足时，相关线程被一直阻塞，直到某种条件出现，这些线程才会被唤醒。
主要成员函数如下：
（1）wait（unique_lock <mutex>＆lck）
当前线程的执行会被阻塞，直到收到 notify 为止。
（2）wait（unique_lock <mutex>＆lck，Predicate pred）
当前线程仅在pred=false时阻塞；如果pred=true时，不阻塞。
wait（）可依次拆分为三个操作：释放互斥锁、等待在条件变量上、再次获取互斥锁
notify_one()：没有参数、没有返回值。
解除阻塞当前正在等待此条件的线程之一。如果没有线程在等待，则还函数不执行任何操作。如果超过一个，不会指定具体哪一线程。
条件变量是利用线程间共享的全局变量进行同步的一种机制，主要包括两个动作：
（1）、一个线程因等待“条件变量的条件成立”而挂起；
（2）、另外一个线程使“条件成立”，给出信号，从而唤醒被等待的线程。
1、有什么用：
当需要死循环判断某个条件成立与否时【true or false】，我们往往需要开一个线程死循环来判断，这样非常消耗CPU。使用条件变量，可以让当前线程wait，释放CPU，如果条件改变时，我们再notify退出线程，再次进行判断。
2、其他解释
想要修改共享变量（即“条件”）的线程必须：
（1）. 获得一个std::mutex
（2）. 当持有锁的时候，执行修改动作
（3）. 对std::condition_variable执行notify_one或notify_all(当做notify动作时，不必持有锁)
即使共享变量是原子性的，它也必须在mutex的保护下被修改，这是为了能够将改动正确发布到正在等待的线程。
任意要等待std::condition_variable的线程必须：
（1）. 获取std::unique_lock<std::mutex>，这个mutex正是用来保护共享变量（即“条件”）的
（2）. 执行wait, wait_for或者wait_until. 这些等待动作原子性地释放mutex，并使得线程的执行暂停
（3）. 当获得条件变量的通知，或者超时，或者一个虚假的唤醒，那么线程就会被唤醒，并且获得mutex. 然后线程应该检查条件是否成立，如果是虚假唤醒，就继续等待。
【注： 所谓虚假唤醒，就是因为某种未知的罕见的原因，线程被从等待状态唤醒了，但其实共享变量（即条件）并未变为true。因此此时应继续等待】
核心：
①、在消费者里判断队列是否为空后，如果为空则wait，等待生产者发送notify信号
②、在生产者那里，如果生产了任务，则发送notify信号，告诉消费者可以试图退出wait，判断队列是否为空，如果有任务则调度处理任务，如果还是空则说明此次notify是错误的，可能是其他地方发出来干扰的，生产者继续wait。
③、流程：
软件开启，生成消费者线程消费队列，应该是一个while循环，在循环里获取锁，再来一个while循环判断条件，如果条件成立则wait，wait会自动释放锁；
此时消费者已经没有锁了，在生产者线程里，获取锁，然后往里面加任务，退出作用域释放锁，然后notify告知消费者退出wait，消费者重新获取锁，然后从队列里取任务；
整个过程，生产者加任务时生产者持有锁，消费者取任务时消费者持有锁。
资料：
https://www.cnblogs.com/judes/p/11132918.html
https://www.cnblogs.com/judes/p/11230628.html
std::condition_variable::wait - cppreference.com
版权声明：本文内容由互联网用户自发贡献，该文观点仅代表作者本人。本站仅提供信息存储空间服务，不拥有所有权，不承担相关法律责任。如发现本站有涉嫌侵权/违法违规的内容，请联系我们，一经查实，本站将立刻删除。
如需转载请保留出处：https://51itzy.com/kjqy/165375.html