C++多线程同步之条件变量(condition_variable)_c++ 条件变量实现阻塞等待-程序员宅基地

技术标签: C++  c++  

condition_variable介绍

在C++11中,使用条件变量(condition_variable)可以实现多个线程间的同步操作;当条件不满足时,相关线程被一直阻塞,直到某种条件出现,这些线程才会被唤醒。

条件变量用于阻塞一个或多个线程,直到某个线程修改线程间的共享变量,并通过condition_variable通知其余阻塞线程。从而使得已阻塞的线程可以继续处理后续的操作。

条件变量是利用线程间共享的全局变量进行同步的一种机制,主要包括两个动作:
1、一个线程因等待"条件变量的条件成立"而挂起;
即: 用于阻塞某一线程,直至该线程被唤醒
2、另外一个线程使"条件成立",给出信号,从而唤醒被等待的线程;
即:用于通知已阻塞线程,共享变量已改变

以上两个步骤,分别是使用以下两个方法实现:
等待条件成立使用的是condition_variable类成员wait 、wait_for 或 wait_until。
给出信号使用的是condition_variable类成员notify_one或者notify_all函数。

为了防止竞争,条件变量的使用总是和一个互斥锁结合在一起;通常情况下这个锁是std::mutex,并且管理这个锁 只能是 std::unique_lockstd::mutex RAII模板类。

用于通知

可以分为两步:

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

用于阻塞

可以分为三步:

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

等待工作流程

在等待的初始处理中,该线程锁定互斥锁,然后检查谓词= { return !data_queue.empty(); }
(谓词:在计算机语言的环境下,谓词是指条件表达式的求值返回真或假的过程。)

  • 如果谓词被评估为:
    • true: 线程继续工作
    • false: condVar.wait()解锁互斥并将线程置于等待(阻塞)状态
  • 如果条件变量condVar处于等待状态并收到通知或被虚假唤醒,则会发生下面步骤:
    • 线程被解除阻塞,并重新获得互斥锁
    • 线程检查谓词
    • 如果谓词被评估为:
      • true: 线程继续其工作
      • false: condVar.wait()解锁互斥并将线程置于等待(阻塞)状态
std::unordered_map<uint32_t, suint32_t> data_queue;
std::condition_variable data_condition;
std::mutex data_mutex;
{
    
  std::unique_lock<std::mutex> lock{
    data_mutex};
  if (data_queue.empty()) {
    
    data_condition.wait_for(
        lock, std::chrono::milliseconds(timeout_ms),
        [=]() {
     return !data_queue.empty(); });
  }
}

/*在data_condition.wait_for()函数中,Lambda表达式[=]() { return !data_queue.empty(); }被用作谓词。
这个谓词的作用是在等待超时期间检查data_queue是否为空,
如果不为空,则返回true,继续执行;如果为空,则返回false,继续等待或超时退出等待。*/

/*代码中的谓词会在以下情况下触发:
当调用 data_condition.wait_for() 函数时,它会等待 data_queue 非空或达到指定的超时时间。
在等待的过程中,谓词函数会被周期性地执行,用于检查等待条件是否满足。
在这种情况下,谓词函数 return !data_queue.empty() 会被执行,它会检查 data_queue 是否为空。
如果为空,则继续等待,直到超时时间结束或者 data_queue 不再为空。
一旦 data_queue 不为空,等待将被解除,代码会继续执行后面的逻辑。*/

这段代码是为了在指定的时间内等待数据队列中有数据可用。在这段代码中,我们使用了条件变量(std::condition_variable)和互斥锁(std::mutex)来实现线程间的同步和通信。

首先,我们创建了一个唯一的互斥锁(std::unique_lockstd::mutex lock{data_mutex}),这将确保只有一个线程可以访问数据队列。

然后,我们使用条件变量的wait_for()函数来等待数据队列非空,最多等待timeout_ms指定的时间。在这个等待过程中,线程会释放互斥锁,并且暂时挂起,让其他线程有机会获取互斥锁执行一些操作。

在等待期间,条件变量的lambda表达式 = { return !data_queue.empty(); } 用于确定等待是否应该继续。当lambda表达式返回false时,表示数据队列仍然为空,等待将继续。只有当lambda表达式返回true时,表示数据队列非空,等待将结束。

这段代码的目的是让线程在等待指定时间内,或者当数据队列非空时,才能继续执行后面的代码。这样可以有效地防止线程一直等待下去,同时充分利用了条件变量和互斥锁来实现线程间的同步和通信。

版权声明:本文为博主原创文章,遵循 CC 4.0 BY-SA 版权协议,转载请附上原文出处链接和本声明。
本文链接:https://blog.csdn.net/qq_45780653/article/details/132578976

智能推荐

什么是内部类?成员内部类、静态内部类、局部内部类和匿名内部类的区别及作用?_成员内部类和局部内部类的区别-程序员宅基地

文章浏览阅读3.4k次,点赞8次,收藏42次。一、什么是内部类?or 内部类的概念内部类是定义在另一个类中的类;下面类TestB是类TestA的内部类。即内部类对象引用了实例化该内部对象的外围类对象。public class TestA{ class TestB {}}二、 为什么需要内部类?or 内部类有什么作用?1、 内部类方法可以访问该类定义所在的作用域中的数据,包括私有数据。2、内部类可以对同一个包中的其他类隐藏起来。3、 当想要定义一个回调函数且不想编写大量代码时,使用匿名内部类比较便捷。三、 内部类的分类成员内部_成员内部类和局部内部类的区别

分布式系统_分布式系统运维工具-程序员宅基地

文章浏览阅读118次。分布式系统要求拆分分布式思想的实质搭配要求分布式系统要求按照某些特定的规则将项目进行拆分。如果将一个项目的所有模板功能都写到一起,当某个模块出现问题时将直接导致整个服务器出现问题。拆分按照业务拆分为不同的服务器,有效的降低系统架构的耦合性在业务拆分的基础上可按照代码层级进行拆分(view、controller、service、pojo)分布式思想的实质分布式思想的实质是为了系统的..._分布式系统运维工具

用Exce分析l数据极简入门_exce l趋势分析数据量-程序员宅基地

文章浏览阅读174次。1.数据源准备2.数据处理step1:数据表处理应用函数:①VLOOKUP函数; ② CONCATENATE函数终表:step2:数据透视表统计分析(1) 透视表汇总不同渠道用户数, 金额(2)透视表汇总不同日期购买用户数,金额(3)透视表汇总不同用户购买订单数,金额step3:讲第二步结果可视化, 比如, 柱形图(1)不同渠道用户数, 金额(2)不同日期..._exce l趋势分析数据量

宁盾堡垒机双因素认证方案_horizon宁盾双因素配置-程序员宅基地

文章浏览阅读3.3k次。堡垒机可以为企业实现服务器、网络设备、数据库、安全设备等的集中管控和安全可靠运行,帮助IT运维人员提高工作效率。通俗来说,就是用来控制哪些人可以登录哪些资产(事先防范和事中控制),以及录像记录登录资产后做了什么事情(事后溯源)。由于堡垒机内部保存着企业所有的设备资产和权限关系,是企业内部信息安全的重要一环。但目前出现的以下问题产生了很大安全隐患:密码设置过于简单,容易被暴力破解;为方便记忆,设置统一的密码,一旦单点被破,极易引发全面危机。在单一的静态密码验证机制下,登录密码是堡垒机安全的唯一_horizon宁盾双因素配置

谷歌浏览器安装(Win、Linux、离线安装)_chrome linux debian离线安装依赖-程序员宅基地

文章浏览阅读7.7k次,点赞4次,收藏16次。Chrome作为一款挺不错的浏览器,其有着诸多的优良特性,并且支持跨平台。其支持(Windows、Linux、Mac OS X、BSD、Android),在绝大多数情况下,其的安装都很简单,但有时会由于网络原因,无法安装,所以在这里总结下Chrome的安装。Windows下的安装:在线安装:离线安装:Linux下的安装:在线安装:离线安装:..._chrome linux debian离线安装依赖

烤仔TVの尚书房 | 逃离北上广?不如押宝越南“北上广”-程序员宅基地

文章浏览阅读153次。中国发达城市榜单每天都在刷新,但无非是北上广轮流坐庄。北京拥有最顶尖的文化资源,上海是“摩登”的国际化大都市,广州是活力四射的千年商都。GDP和发展潜力是衡量城市的数字指...

随便推点

java spark的使用和配置_使用java调用spark注册进去的程序-程序员宅基地

文章浏览阅读3.3k次。前言spark在java使用比较少,多是scala的用法,我这里介绍一下我在项目中使用的代码配置详细算法的使用请点击我主页列表查看版本jar版本说明spark3.0.1scala2.12这个版本注意和spark版本对应,只是为了引jar包springboot版本2.3.2.RELEASEmaven<!-- spark --> <dependency> <gro_使用java调用spark注册进去的程序

汽车零部件开发工具巨头V公司全套bootloader中UDS协议栈源代码,自己完成底层外设驱动开发后,集成即可使用_uds协议栈 源代码-程序员宅基地

文章浏览阅读4.8k次。汽车零部件开发工具巨头V公司全套bootloader中UDS协议栈源代码,自己完成底层外设驱动开发后,集成即可使用,代码精简高效,大厂出品有量产保证。:139800617636213023darcy169_uds协议栈 源代码

AUTOSAR基础篇之OS(下)_autosar 定义了 5 种多核支持类型-程序员宅基地

文章浏览阅读4.6k次,点赞20次,收藏148次。AUTOSAR基础篇之OS(下)前言首先,请问大家几个小小的问题,你清楚:你知道多核OS在什么场景下使用吗?多核系统OS又是如何协同启动或者关闭的呢?AUTOSAR OS存在哪些功能安全等方面的要求呢?多核OS之间的启动关闭与单核相比又存在哪些异同呢?。。。。。。今天,我们来一起探索并回答这些问题。为了便于大家理解,以下是本文的主题大纲:[外链图片转存失败,源站可能有防盗链机制,建议将图片保存下来直接上传(img-JCXrdI0k-1636287756923)(https://gite_autosar 定义了 5 种多核支持类型

VS报错无法打开自己写的头文件_vs2013打不开自己定义的头文件-程序员宅基地

文章浏览阅读2.2k次,点赞6次,收藏14次。原因:自己写的头文件没有被加入到方案的包含目录中去,无法被检索到,也就无法打开。将自己写的头文件都放入header files。然后在VS界面上,右键方案名,点击属性。将自己头文件夹的目录添加进去。_vs2013打不开自己定义的头文件

【Redis】Redis基础命令集详解_redis命令-程序员宅基地

文章浏览阅读3.3w次,点赞80次,收藏342次。此时,可以将系统中所有用户的 Session 数据全部保存到 Redis 中,用户在提交新的请求后,系统先从Redis 中查找相应的Session 数据,如果存在,则再进行相关操作,否则跳转到登录页面。此时,可以将系统中所有用户的 Session 数据全部保存到 Redis 中,用户在提交新的请求后,系统先从Redis 中查找相应的Session 数据,如果存在,则再进行相关操作,否则跳转到登录页面。当数据量很大时,count 的数量的指定可能会不起作用,Redis 会自动调整每次的遍历数目。_redis命令

URP渲染管线简介-程序员宅基地

文章浏览阅读449次,点赞3次,收藏3次。URP的设计目标是在保持高性能的同时,提供更多的渲染功能和自定义选项。与普通项目相比,会多出Presets文件夹,里面包含着一些设置,包括本色,声音,法线,贴图等设置。全局只有主光源和附加光源,主光源只支持平行光,附加光源数量有限制,主光源和附加光源在一次Pass中可以一起着色。URP:全局只有主光源和附加光源,主光源只支持平行光,附加光源数量有限制,一次Pass可以计算多个光源。可编程渲染管线:渲染策略是可以供程序员定制的,可以定制的有:光照计算和光源,深度测试,摄像机光照烘焙,后期处理策略等等。_urp渲染管线