条件变量std::condition_variable、wait()、notify_one()
线程A: 等待一个条件满足
线程B: 专门往消息队列中放入消息(数据),达到一定条件,通知处于等待中的线程A。
std::condition_variable实际上是一个类,是一个和条件相关的一个类,说白了就是等待一个条件达成。
这个类是需要和互斥量来配合工作,用的时候我们要生成这个类的对象。
wait() 用来等一个东西。
如果第二个参数lambda表达式返回值是true,那wait()直接返回,继续往下执行。
如果第二个参数lambda表达式返回值是false,那么wait()将解锁互斥量,并堵塞到本行。
那堵塞到什么时候为止呢?
堵塞到其他某个线程调用 notify_one()成员函数为止。
如果wait()没有第二个参数: my_cond.wait(outMutex)?
那么就跟第二个参数lambda表达式返回false效果一样
wait()将解锁互斥量,并堵塞到本行,堵塞到其他某个线程调用notify_one() 成员函数为止。
当其他线程用notify_one() 将本wait(原来是睡着/阻塞)的状态唤醒后,wait就开始恢复干活了,恢复后wait干什么活?
b2) 如果lambda表达式为true,则wait返回,流程走下来。(此时互斥锁被锁着)
a) wait() 不断的尝试重新获取互斥量锁,如果获取不到,那么流程就卡在wait这里等着获取,如果获取到了,那么wait就走下来。
b1)如果wait有第二个参数(lambda),就判断这个lambda表达式,如果lambda表达式为false,那wait又对互斥量解锁,然后又休眠这里等待再次被notify_one唤醒。
b3) 如果wait没有第二个参数,则wait返回,流程走下来。
#include <iostream>#include <string>#include <thread>#include <vector>#include <list>#include <mutex>using namespace std;class A{public://把收到的消息(玩家命令)加入到一个队列的线程void inMsgRecvQueue(){for (int i = 1; i < 10000; ++i){cout << "inMsgRecvQueue执行了,插入一个元素" << i << endl;std::unique_lock<mutex> in_mutex_guard(my_mutex);msgRecvQueue.push_back(i); //假设这个数字就是玩家发来的命令,加入到消息队列中cond_var.notify_one(); //尝试吧wait()唤醒,执行完这行,outMsgRecvQueue中的wait被唤醒//假如outMsgRecvQueue()正在处理一个事务,需要一段时间,//而不是正卡在wait()那里等待你唤醒,那么此时这个notify_one()这个调用也许就没效果.}}//把消息从消息队列中取出的线程void outMsgRecvQueue(){int command{};while (true){std::unique_lock<mutex> outMutex(my_mutex);//wait用来等一个东西cond_var.wait(outMutex, [this]() {if (!msgRecvQueue.empty())return true;return false;});//流程只要能走到这里来,这个互斥锁一定是锁着的。同时msgRecvQueue至少是有一条数据的。command = msgRecvQueue.front(); // 返回第一个元素,但不检查元素是否存在msgRecvQueue.pop_front(); //移除第一个元素,但不返回outMutex.unlock(); //因为unique_lock 的灵活性,所以我们可以随时的unlock解锁,以免锁住太长时间cout << "outMsgRecvQueue()执行,取出一个元素" << command << endl;}//end while} //end outMsgRecvQueue()private:std::list<int> msgRecvQueue; //容器(消息队列),专门代表玩家给我们发来的命令std::mutex my_mutex;std::condition_variable cond_var; //生成一个条件变量对象}; //end Aint main(){A obja;std::thread outMsgThread(&A::outMsgRecvQueue, &obja); //第二个参数是引用,保证线程里操作同一个对象std::thread inMsgThread(&A::inMsgRecvQueue, &obja);inMsgThread.join();outMsgThread.join();//主线程执行std::cout << "主线程结束" << std::endl;return 0;}
注:notify_all(),通知所有线程。