condition_variable、wait、notify_one、notify_all

一、条件变量std::condition_variable、wait()、notify_one()

1.1 std::condition_variable

线程A中：等待一个条件满足，之后执行；
线程B中：线程B满足条件之后触发线程A。

std::condition_variable my_cond; //生成一个条件对象

class A
{
public:
	void inMsgRecvQueue()  // 线程B入口函数
	{
		for (int i = 0; i < 100000; ++i)
		{
			cout << "inMsgRecvQueue()执行，插入一个元素" << i << endl;
			//std::unique_lock<std::mutex> auto_mutex_1(my_mutex1_, std::try_to_lock);
			std::unique_lock<std::mutex> auto_mutex_1(my_mutex1_);
			if (auto_mutex_1.owns_lock())
			{
				// 拿到了锁头
				msgRecvQueue_.push_back(i);  // 操作共享数据
				//其他处理...
			}
			else
			{
				// 没有拿到锁头
				cout << "outMsgRecvQueue执行，但是没有拿到锁，只能做点别的事情" << i << endl;
			}
		}
	}
	
	void outMsgRecvQueue() // 线程A入口函数
	{
		int command = 0;
		for (int i = 0; i < 100000; ++i)  // 循环10000次方便观察
		{
			bool result = outMsgLULProc(command);
			if (true == result)
			{
				cout << "outMsgRecvQueue()执行，取出来1个数据" << command << endl;
				// 可以进行数据处理..
			}
			else
			{
				// 消息队列为空
				cout << "outMsgRecevQueue()执行，但是消息队列为空" << endl;
			}
		}
		cout << "end" << endl;
	}

	bool outMsgLULProc(int &command)
	{
		std::unique_lock<std::mutex> auto_mutex_1(my_mutex1_);
		if (!msgRecvQueue_.empty())
		{
			command = msgRecvQueue_.front();
			msgRecvQueue_.pop_front();
			return true;
		}
		else
			return false;
	}
private:
	std::list<int> msgRecvQueue_;
	std::mutex my_mutex1_;
};

游戏服务器的例子，inMsgRecvQueue()函数向消息队列msgRecvQueue_中写数据；outMsgRecvQueue()从消息队列中读取并弹出数据。这两个线程入口函数不可以同时操作共享数据，所以做了互斥保护。但是每次进入outMsgRecvQueue()，系统都要尝试加锁，而实际中只有消息队列不为空时才真正需要加锁

bool outMsgLULProc(int &command)
{
	std::unique_lock<std::mutex> auto_mutex_1(my_mutex1_);
	if (!msgRecvQueue_.empty())
	{
		command = msgRecvQueue_.front();
		msgRecvQueue_.pop_front();
		return true;
	}
	return false;
}

改为

bool outMsgLULProc(int &command)
{
		//双重锁定，双重检查
		if (!msgRecvQueue_.empty())
        {
            std::unique_lock<std::mutex> auto_mutex_1(my_mutex1_);
            if (!msgRecvQueue_.empty())
            {
                command = msgRecvQueue_.front();
                msgRecvQueue_.pop_front();
                return true;
            }
        }
		return false;
}

std::condition_variable实际上是一个类，是一个和条件相关的类，说白了就是等待一个条件达成，这个类是需要和互斥量配合工作，用的时候要生成这个类的对象；

1.2 std::condition_variable::wait()

wait()用来等待一个东西
如果第二个参数lamda表达时返回值是true（非空），那么wait()直接返回
如果第二个参数lamda表达式返回值是false（空），那么wait()将解锁互斥量，并堵塞到本行
那堵塞到什么时候为止呢？堵塞到其他某个线程调用notify_one()成员函数为止
如果wait()没有第二个参数：my_cond.wait(sbguard);那么就跟第二个参数lamda表达式返回false效果一样
wait()将解锁互斥量，并堵塞到本行，堵塞到其他某个线程调用notify_one()成员函数为止
当其他线程用notify_one()，将本wait（原来是睡着/堵塞的状态）状态唤醒后，wait就开始恢复干活了，恢复后wait干什么活？
a) wait()不断地尝试重新获取互斥量锁，如果获取不到，那么流程就卡在wait这里等着获取，如果获取到了（等于加了锁），那么wait就继续执行b
b)
b.1) 如果wait有第二个参数(lamda)，就判断这个lamda表达式，如果表达式为false，那wait又对互斥量解锁，然后又休眠，在这里等待，再次被notify_once唤醒
b.2) 如果lamda表达式为true，则wait返回，流程下来（此时互斥锁被锁着）。
b.3) 如果wait没有第二个参数，则wait返回，流程走下来

	void outMsgRecvQueue() // 线程A入口函数
	{
		int command = 0;
        while (true)
        {
            std::unique_lock<std::mutex> sbguard(my_mutex1_);
            //wait()用来等待一个东西
            //如果第二个参数lamda表达时返回值是true（非空），那么wait()直接返回
            //如果第二个参数lamda表达式返回值是false（空），那么wait()将解锁互斥量，并堵塞到本行
            //那堵塞到什么时候为止呢？堵塞到其他某个线程调用notify_one()成员函数为止
            //如果wait()没有第二个参数：my_cond.wait(sbguard);那么就跟第二个参数lamda表达式返回false效果一样
            //wait()将解锁互斥量，并堵塞到本行，堵塞到其他某个线程调用notify_one()成员函数为止
            my_cond.wait(sbguard,[this]{
                if (!msgRecvQueue_.empty())
                    return true;
                return false;
            });
            //流程只要能走到这里来，这个互斥量一定是锁着的,同时msgRecvQueue_至少有一条数据
            command = msgRecvQueue_.front();
            msgRecvQueue_.pop_front();
            sbguard.unlock();   //unique_lock灵活，可以随时unclock()
            cout << "outMsgRecvQueue()执行，取出一个元素" << command << endl;
        }
	}

	void inMsgRecvQueue()  // 线程B入口函数
	{
		for (int i = 0; i < 100000; ++i)
		{
			cout << "inMsgRecvQueue()执行，插入一个元素" << i << endl;
			//std::unique_lock<std::mutex> auto_mutex_1(my_mutex1_, std::try_to_lock);
			std::unique_lock<std::mutex> auto_mutex_1(my_mutex1_);
            msgRecvQueue_.push_back(i);  // 操作共享数据
            my_cond.notify_one();
		}
	}

后续深入理解再作补充。。。