条件变量(condition variable)详解

2023-11-19

原理:

   假设我们需要解决这样一个问题:一个列表记录需要处理的任务。一个线程往此列表添加任务,一个线程processTask处理此列表中的任务。这个问题的一个关键点在于processTask怎么判断任务列表不为空。一般有两种方法: 
   **一. processTask线程不断查询任务列表是否为空。**
   **二. 当列表不为空的时候,通知processTask处理相关任务。**

   第一种方法往往是在一个while循环中判断列表是否为空,如果为空则睡眠一段时间,如果不为空那么把任务取出来并加以处理。此方案需要一个睡眠时间的平衡点如果睡眠时间太长,任务得不到及时的处理,降低效率。如果睡眠时间过短占用CPU资源,却什么都不做,浪费CPU做其它事情的时间。
   第二种方法就比较靠谱了,只有当列表不为空的时候才占用CPU的时间,其它时间什么都不做除了睡觉(线程挂起)。此方案就是我们所说的条件变量(condition variable)。 

   一般条件变量(condition variable)和互斥量结合使用。条件变量(condition variable)用途线程间资源的同步,互斥量(mutex)用途资源的互斥(唯一访问)。 一个通俗易懂的例子: 你上厕所的时候,条件变量告诉你厕所是否为空位,有空位你上,没空位你看着别人上。有空位的时候你不可能跟别人一起吧,所以你得给卫生间上锁也就是互斥量了。 

 例:
  bool bathroomEmpty = false;
  pthread_t tid;
  pthread_cond_t cond;
  pthread_mutex_t mutex;

  void* takeAleak(void *) {
    pthread_mutex_lock(&mutex);
     while (!bathroomEmpty) 
       pthread_cond_wait(&cond, &mutex);
    // do whatever you want
     pthread_mutex_unlock(&mutex);
  }

  void main() {
     pthread_mutex_lock(&mutex);
     // bathromm is empty now.
     bathroomEmpty = true;
     pthread_mutex_unlock(&mutex);
    // tell somebody
    pthread_cond_signal(&cond);

     return 0;
  }
   有些人不禁会问为什么要while (!bathroomEmpty), 而不用if (!bathroomEmpty)呢?那是因为当你醒过来后,发现厕所已经被占了,那么你还得继续等。

   pthread_cond_signal(&cond),可不可以放入pthread_mutex_unlock(&mutex)之前呢,答案是肯定的,只要保证通知别人的时候厕所已经空了。之前我们已经说了,你醒过来的时候厕所可能已经被占了,那么如何能保证你在醒来的时候厕所还是空的呢,那就把pthread_cond_signal(&cond)放在pthread_mutex_unlock(&mutex)之前吧。

   可能你已经发现了,pthread_cond_wait()函数还需要将mutex变量传入。是的,pthread_cond_wait()函数在等待之前会把互斥锁打开,以便其它线程向任务表里面添加任务。在等到任务后再加上锁。如果不把互斥锁打开,那么线程将永远等不到任务,加上了锁,其它线程就没法往任务列表里面添加任务了,因为其它线程添加任务的时候需要拥有锁。

broadcast(&cond), 与signal(&cond)的区别

   顾名思义pthread_cond_broadcast唤醒所有的线程,pthread_cond_signal唤醒一个线程。你等待上厕所的同时也有其它人在等待,pthread_cond_signal通知你们其中的一人,pthread_cond_broad_cast通知你们所有人。当所有人被通知又只有一个空位的时候,你们所有人蜂拥而上,当然只能有一个人抢到空位,其它人继续等。这就是为什么要用while (!bathroomEmpty),而非if (!bathroomEmpty) 的原因了。当一个的人时候,其它人并不知道,所以不会发生通知所有人的竞态条件。当只有一个空位的时候用pthread_cond_broad_cast,当有多个空位的时候用pthread_cond_broadcast。遗憾没有通知具体人数的函数。
本文内容由网友自发贡献,版权归原作者所有,本站不承担相应法律责任。如您发现有涉嫌抄袭侵权的内容,请联系:hwhale#tublm.com(使用前将#替换为@)

条件变量(condition variable)详解 的相关文章

  • Nginx中代理的上下文路径设置

    Nginx中代理的上下文路径设置 实际配置nginx的时候 在Location段中配置的路径 request uri 以及代理指令 proxy pass 中设置的上下文路径的组合不同 最后实现的结果就不一样 例子 加入请求nginx服务的U
  • php修改学生信息代码_简单学习PHP中的层次性能分析器

    在 PHP 中 我们需要进行调试的时候 一般都会使用 memory get usage 看下内存的使用情况 但如果想看当前的脚本 CPU 的占用情况就没有什么现成的函数了 不过 PHP 也为我们提供了一个扩展 XHProf 这是由 Face
  • 24.qint64转QString 以及获取文件属性

    qint64转QString 1 qint64 size info size 2 qint64 转QString 3 QString size2 tr 1 arg size 获取文件属性 1 include mainwindow h 2 i
  • 大数据与人工智能的关系

    大数据与人工智能有密切的关系 大数据可以为人工智能提供大量的训练数据 从而提高人工智能的准确性和效率 人工智能又可以帮助我们对大数据进行分析和挖掘 提取有用的信息

随机推荐

  • 计算机二级python经典真题

    计算机二级python经典考题 1 键盘输入正整数n 按要求把n输出到屏幕 格式要求 宽度为20个字符 减号字符 右填充 右对齐 带千位分隔符 如果输入正整数超过20位 则按照真实长度输出 例如 键盘输入正整数n为1234 屏幕输出 1 2
  • Android监听屏幕录制的过程

    Android监听屏幕录制的过程如下 在AndroidManifest xml文件中声明屏幕录制权限
  • Bert和T5的区别

    Bert 和 T5 之间的主要区别在于预测中使用的标记 单词 的大小 Bert 预测一个由单个词组成的目标 single token masking 另一方面 T5 可以预测多个词 如上图所示 它在学习模型结构方面为模型提供了灵活性 Tra
  • Vue中如何进行数据可视化大屏展示

    Vue中如何进行数据可视化大屏展示 在现代数据驱动的应用程序中 数据可视化大屏已经成为了非常重要的一环 通过对海量数据进行可视化展示 可以帮助用户更好地理解和分析数据 从而做出更加明智的决策 在Vue中进行数据可视化大屏展示也变得越来越流行
  • JVM 运行时数据区(栈和堆)

    文章目录 JVM 是一种规范 什么是 JVM 为什么 JVM 是一种规范 Java 程序的执行过程 JVM 与字节码文件 栈指令集架构和寄存器指令集架构 Hotspot 虚拟机及 Dalvik ART 虚拟机 JVM 的组成部分及架构 运行
  • Postman Windows7可用最大版本

    https dl pstmn io download version 7 2 2 win64
  • 搭建DAO层和Service层代码

    第一部分建立实体和映射文件 1 通过数据库生成的实体 此步骤跳过 关于如何查看生成反向工程实体类查看SSH框架搭建教程 反向工程章节 Tmenu和AbstractorTmenu是按照数据库表反向工程形成的JAVA实体 在形成实体的时候注意
  • python:编写程序,输入一批学生的成绩,求平均成绩和最高分。

    n 1 max score 0 score sum 0 while n lt 6 n 1 student Id input 请输入编号 编号输入 score eval input 请输入成绩 成绩输入 score sum score 输入成
  • 新机部署docker报错docker.service: Start request repeated too quickly.

    报错内容 主要报错内容 docker service Start request repeated too quickly Failed with result exit code Failed to start Docker Applic
  • 中国XXXXXXXXXXXXX管理软件销售实施三部曲

    中国XXXXXXXXXXXXX牛B 管理软件销售实施服务一条龙分三部分走 第一步 卖软件 客户的艳阳天 卖软件前 销售的嘴巴像屁股绽放般 见过狗没 没见过的话 只能在签约前才能见到的 客户你说想实现啥 这个牛B的中国XXXXXXXXXXXX
  • VSCode安装教程

    VSCode软件下载 官网下载地址 Visual Studio Code Code Editing Redefined 1 点击Download for Windows的下拉按钮 点击Other downloads 2 在这里可以选择自己想
  • 小孩机器人编程真的有用吗

    小孩机器人编程真的有用吗 很多的家长在培养孩子的学习的时候 是十分的认真耐心的 他们会给孩子选择一些能够有利于孩子成长的课程 就拿现在很多的家长想要孩子去学习机器人编程的课程来说 有的家长对于小孩机器人编程真的有用吗并不是很清楚 今天我们就
  • Docker(六)----Swarm搭建Docker集群

    一 什么是Swarm Swarm这个项目名称特别贴切 在Wiki的解释中 Swarm behavior是指动物的群集行为 比如我们常见的蜂群 鱼群 秋天往南飞的雁群都可以称作Swarm behavior Swarm项目正是这样 通过把多个D
  • 数据结构---链表

    目录 链表的概念 封装单项链表 封装链表结构 append方法 追加元素 toString方法 转字符串 insert方法 插入元素 get方法 获取元素 indexof 获取索引 update修改某个位置的元素 removeAt方法 删除
  • SQL 日期比较 datediff

    datediff date1 date2 返回 date1 date2的相差天数 用在select语句 select datediff date select max start time from tb user video log da
  • 史上最强内网渗透知识点总结

    https mp weixin qq com s biz MzI5MDQ2NjExOQ mid 2247487491 idx 1 sn 270336c6cca79b4a4e5d777d41ce71b7 chksm ec1e202bdb69a
  • 银河麒麟操作系统v10安装时间

    银河麒麟操作系统安装时间方法1sudo date r var log installer 方法2df Th 然后sudo dumpe2fs dev nvme0n1p3 grep i created
  • sql的递归查询

    在oracle中通过connect by prior来实现递归查询 分类 Oracle随笔 2007 02 16 09 13 11278人阅读 评论 3 收藏 举报 connect by 是结构化查询中用到的 其基本语法是 select f
  • vue3 组件传值之 props 与 attrs 的区别

    最近在学习 vue3 整理了一些学习笔记 如果有人看到 并发现我有写的不对的地方 欢迎指正 用过 vue 组件传值的小伙伴都知道 props 这个属性 而 attrs 属性可以看做 props 的加强版 用来简化 vue 组件传值 那么这两
  • 条件变量(condition variable)详解

    原理 假设我们需要解决这样一个问题 一个列表记录需要处理的任务 一个线程往此列表添加任务 一个线程processTask处理此列表中的任务 这个问题的一个关键点在于processTask怎么判断任务列表不为空 一般有两种方法 一 proce