C++11并发与多线程笔记(8) condition_variable、wait、notify_one、notify_all

第八节 condition_variable、wait、notify_one、notify_all在这里插入图片描述

一、条件变量condition_variable、wait、notify_one、notify_all

  • std::condition_variable实际上是一个类,是一个和条件相关的类,说白了就是等待一个条件达成。
std::mutex mymutex1;
std::unique_lock<std::mutex> sbguard1(mymutex1);
std::condition_variable condition;
condition.wait(sbguard1, [this] {if (!msgRecvQueue.empty())
                                    return true;
                                return false;
                                });
condition.wait(sbguard1);
  • wait()用来等一个东西
  • 如果第二个参数的lambda表达式返回值是true,那么wait()直接返回并继续执行。
  • 如果第二个参数的lambda表达式返回值是false,那么wait()将解锁互斥量,并阻塞到本行
  • 阻塞到什么时候为止呢?阻塞到其他某个线程调用notify_one()成员函数为止;
  • 如果没有第二个参数,那么效果跟第二个参数lambda表达式返回false效果一样;
    wait()将解锁互斥量,并阻塞到本行,阻塞到其他某个线程调用**notify_one()**成员函数为止。

当其他线程用notify_one()将本线程wait()唤醒后,这个wait就恢复干活了,干啥活?

  • a)wait()不断尝试获取互斥量锁,如果获取不到那么流程就卡在wait()这里等待获取,如果获取到了,那么wait()就继续执行b)
  • b)
    • b.1)如果wait有第二个参数,就判断这个lambda表达式:
      • 如果表达式为false,那wait又对互斥量解锁,然后又休眠,等待再次被notify_one()唤醒;
      • 如果lambda表达式为true,则wait返回,流程可以继续执行(此时互斥量已被锁住)。
    • b.2)如果wait没有第二个参数,则wait返回,流程走下去。

流程只要走到了wait()下面则互斥量一定被锁住了,否则肯定走不下来。

#include <thread>
#include <iostream>
#include <list>
#include <mutex>
using namespace std;
class A {
public:
    void inMsgRecvQueue() {
        for (int i = 0; i < 100000; ++i) 
        {
            cout << "inMsgRecvQueue插入一个元素" << i << endl;

            std::unique_lock<std::mutex> sbguard1(mymutex1);
            msgRecvQueue.push_back(i); 
            //尝试把wait()线程唤醒,执行完这行,
            //那么outMsgRecvQueue()里的wait就会被唤醒
            //只有当另外一个线程正在执行wait()时notify_one()才会起效,否则没有作用
            condition.notify_one();
        }
	}
	void outMsgRecvQueue() {
        int command = 0;
        while (true) {
            std::unique_lock<std::mutex> sbguard2(mymutex1);
            // wait()用来等一个东西
            // 如果第二个参数的lambda表达式返回值是false,那么wait()将解锁互斥量,并阻塞到本行
            // 阻塞到什么时候为止呢?阻塞到其他某个线程调用notify_one()成员函数为止;
            //当 wait() 被 notify_one() 激活时,会先执行它的 条件判断表达式 是否为 true,
            //如果为true才会继续往下执行
            condition.wait(sbguard2, [this] {
                if (!msgRecvQueue.empty())
                    return true;
                return false;});
            //流程只要能走到这里来,这个互斥锁一定是锁着的,同时msgRecvQueue至少是有一条数据的
            command = msgRecvQueue.front();//返回第一个元素,但不检查元素是否存在
            msgRecvQueue.pop_front();//移除第一个元素,但不返回
            //因为unique_lock的灵活性,我们可以随时unlock,以免锁住太长时间
            sbguard2.unlock(); 
            cout << "outMsgRecvQueue()执行,取出第一个元素" << endl;
        }
	}
private:
	std::list<int> msgRecvQueue;
	std::mutex mymutex1;
	std::condition_variable condition;
};
int main() {
	A myobja;
	std::thread myoutobj(&A::outMsgRecvQueue, &myobja);
	std::thread myinobj(&A::inMsgRecvQueue, &myobja);
	myinobj.join();
	myoutobj.join();
}

二、深入思考

上面的代码可能导致出现一种情况:

  • 因为outMsgRecvQueue()与inMsgRecvQueue()并不是一对一执行的,由于wait在被唤醒去获取锁的时候,inMsgRecvQueue()的下一次循环也在获取锁,可能inMsgRecvQueue一直抢到锁,puch_back很多消息进队列,所以当程序循环执行很多次以后,可能在msgRecvQueue 中已经有了很多消息,但是,outMsgRecvQueue还是被唤醒一次只处理一条数据,可能处理不过来了(不仅仅是显示,可能执行一些具体动作,比如玩家抽卡需要100ms时间,由于在执行之前解锁了,那inMsgRecvQueue下次notify_one唤醒的时候,outMsgRecvQueue还在处理数据,并没有卡在wait那,那这次唤醒就没有效果)。
  • 这时可以考虑多开几个outMsgRecvQueue线程处理数据或者对inMsgRecvQueue进行限流。

三、notify_all()

notify_one():

  • 通知一个线程的wait(),要和wait配合使用,只有一个线程wait时,另一个线程的notify_one()才能起作用。没有把握用好,那就用双重锁定,肯定稳定。

notify_all():

  • 通知所有线程的wait(),如果有两个outMsgRecvQueue线程在跑,那么notify_one唤醒哪个就不一定了。
评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值