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

智能推荐

攻防世界_难度8_happy_puzzle_攻防世界困难模式攻略图文-程序员宅基地

文章浏览阅读645次。这个肯定是末尾的IDAT了,因为IDAT必须要满了才会开始一下个IDAT,这个明显就是末尾的IDAT了。,对应下面的create_head()代码。,对应下面的create_tail()代码。不要考虑爆破,我已经试了一下,太多情况了。题目来源:UNCTF。_攻防世界困难模式攻略图文

达梦数据库的导出(备份)、导入_达梦数据库导入导出-程序员宅基地

文章浏览阅读2.9k次,点赞3次,收藏10次。偶尔会用到,记录、分享。1. 数据库导出1.1 切换到dmdba用户su - dmdba1.2 进入达梦数据库安装路径的bin目录,执行导库操作  导出语句:./dexp cwy_init/[email protected]:5236 file=cwy_init.dmp log=cwy_init_exp.log 注释:   cwy_init/init_123..._达梦数据库导入导出

js引入kindeditor富文本编辑器的使用_kindeditor.js-程序员宅基地

文章浏览阅读1.9k次。1. 在官网上下载KindEditor文件,可以删掉不需要要到的jsp,asp,asp.net和php文件夹。接着把文件夹放到项目文件目录下。2. 修改html文件,在页面引入js文件:<script type="text/javascript" src="./kindeditor/kindeditor-all.js"></script><script type="text/javascript" src="./kindeditor/lang/zh-CN.js"_kindeditor.js

STM32学习过程记录11——基于STM32G431CBU6硬件SPI+DMA的高效WS2812B控制方法-程序员宅基地

文章浏览阅读2.3k次,点赞6次,收藏14次。SPI的详情简介不必赘述。假设我们通过SPI发送0xAA,我们的数据线就会变为10101010,通过修改不同的内容,即可修改SPI中0和1的持续时间。比如0xF0即为前半周期为高电平,后半周期为低电平的状态。在SPI的通信模式中,CPHA配置会影响该实验,下图展示了不同采样位置的SPI时序图[1]。CPOL = 0,CPHA = 1:CLK空闲状态 = 低电平,数据在下降沿采样,并在上升沿移出CPOL = 0,CPHA = 0:CLK空闲状态 = 低电平,数据在上升沿采样,并在下降沿移出。_stm32g431cbu6

计算机网络-数据链路层_接收方收到链路层数据后,使用crc检验后,余数为0,说明链路层的传输时可靠传输-程序员宅基地

文章浏览阅读1.2k次,点赞2次,收藏8次。数据链路层习题自测问题1.数据链路(即逻辑链路)与链路(即物理链路)有何区别?“电路接通了”与”数据链路接通了”的区别何在?2.数据链路层中的链路控制包括哪些功能?试讨论数据链路层做成可靠的链路层有哪些优点和缺点。3.网络适配器的作用是什么?网络适配器工作在哪一层?4.数据链路层的三个基本问题(帧定界、透明传输和差错检测)为什么都必须加以解决?5.如果在数据链路层不进行帧定界,会发生什么问题?6.PPP协议的主要特点是什么?为什么PPP不使用帧的编号?PPP适用于什么情况?为什么PPP协议不_接收方收到链路层数据后,使用crc检验后,余数为0,说明链路层的传输时可靠传输

软件测试工程师移民加拿大_无证移民,未受过软件工程师的教育(第1部分)-程序员宅基地

文章浏览阅读587次。软件测试工程师移民加拿大 无证移民,未受过软件工程师的教育(第1部分) (Undocumented Immigrant With No Education to Software Engineer(Part 1))Before I start, I want you to please bear with me on the way I write, I have very little gen...

随便推点

Thinkpad X250 secure boot failed 启动失败问题解决_安装完系统提示secureboot failure-程序员宅基地

文章浏览阅读304次。Thinkpad X250笔记本电脑,装的是FreeBSD,进入BIOS修改虚拟化配置(其后可能是误设置了安全开机),保存退出后系统无法启动,显示:secure boot failed ,把自己惊出一身冷汗,因为这台笔记本刚好还没开始做备份.....根据错误提示,到bios里面去找相关配置,在Security里面找到了Secure Boot选项,发现果然被设置为Enabled,将其修改为Disabled ,再开机,终于正常启动了。_安装完系统提示secureboot failure

C++如何做字符串分割(5种方法)_c++ 字符串分割-程序员宅基地

文章浏览阅读10w+次,点赞93次,收藏352次。1、用strtok函数进行字符串分割原型: char *strtok(char *str, const char *delim);功能:分解字符串为一组字符串。参数说明:str为要分解的字符串,delim为分隔符字符串。返回值:从str开头开始的一个个被分割的串。当没有被分割的串时则返回NULL。其它:strtok函数线程不安全,可以使用strtok_r替代。示例://借助strtok实现split#include <string.h>#include <stdio.h&_c++ 字符串分割

2013第四届蓝桥杯 C/C++本科A组 真题答案解析_2013年第四届c a组蓝桥杯省赛真题解答-程序员宅基地

文章浏览阅读2.3k次。1 .高斯日记 大数学家高斯有个好习惯:无论如何都要记日记。他的日记有个与众不同的地方,他从不注明年月日,而是用一个整数代替,比如:4210后来人们知道,那个整数就是日期,它表示那一天是高斯出生后的第几天。这或许也是个好习惯,它时时刻刻提醒着主人:日子又过去一天,还有多少时光可以用于浪费呢?高斯出生于:1777年4月30日。在高斯发现的一个重要定理的日记_2013年第四届c a组蓝桥杯省赛真题解答

基于供需算法优化的核极限学习机(KELM)分类算法-程序员宅基地

文章浏览阅读851次,点赞17次,收藏22次。摘要:本文利用供需算法对核极限学习机(KELM)进行优化,并用于分类。

metasploitable2渗透测试_metasploitable2怎么进入-程序员宅基地

文章浏览阅读1.1k次。一、系统弱密码登录1、在kali上执行命令行telnet 192.168.26.1292、Login和password都输入msfadmin3、登录成功,进入系统4、测试如下:二、MySQL弱密码登录:1、在kali上执行mysql –h 192.168.26.129 –u root2、登录成功,进入MySQL系统3、测试效果:三、PostgreSQL弱密码登录1、在Kali上执行psql -h 192.168.26.129 –U post..._metasploitable2怎么进入

Python学习之路:从入门到精通的指南_python人工智能开发从入门到精通pdf-程序员宅基地

文章浏览阅读257次。本文将为初学者提供Python学习的详细指南,从Python的历史、基础语法和数据类型到面向对象编程、模块和库的使用。通过本文,您将能够掌握Python编程的核心概念,为今后的编程学习和实践打下坚实基础。_python人工智能开发从入门到精通pdf