互斥锁和条件变量

转自:https://www.jb51.net/article/102764.htm

mutex体现的是一种竞争,我离开了,通知你进来。

cond体现的是一种协作,我准备好了,通知你开始吧。

互斥锁一个明显的缺点是它只有两种状态:锁定和非锁定。而条件变量通过允许线程阻塞和等待另一个线程发送信号的方法弥补了互斥锁的不足,它常和互斥锁一起配合使用。使用时,条件变量被用来阻塞一个线程,当条件不满足时,线程往往解开相应的互斥锁并等待条件发生变化。一旦其他的某个线程改变了条件变量,他将通知相应的条件变量唤醒一个或多个正被此条件变量阻塞的线程。这些线程将重新锁定互斥锁并重新测试条件是否满足。一般说来,条件变量被用来进行线程间的同步。

两个线程操作同一临界区时,通过互斥锁保护,若A线程已经加锁,B线程再加锁时候会被阻塞,直到A释放锁,B再获得锁运行,进程B必须不停的主动获得锁、检查条件、释放锁、再获得锁、再检查、再释放,一直到满足运行的条件的时候才可以(而此过程中其他线程一直在等待该线程的结束),这种方式是比较消耗系统的资源的。而条件变量同样是阻塞,还需要通知才能唤醒,线程被唤醒后,它将重新检查判断条件是否满足,如果还不满足,该线程就休眠了,应该仍阻塞在这里,等待条件满足后被唤醒,节省了线程不断运行浪费的资源。这个过程一般用while语句实现。当线程B发现被锁定的变量不满足条件时会自动的释放锁并把自身置于等待状态,让出CPU的控制权给其它线程。其它线程 此时就有机会去进行操作,当修改完成后再通知那些由于条件不满足而陷入等待状态的线程。这是一种通知模型的同步方式,大大的节省了CPU的计算资源,减少了线程之间的竞争,而且提高了线程之间的系统工作的效率。这种同步方式就是条件变量。                                       

以上说明可能有点抽象,考虑这样的简单场景:通过伪代码说明。

A线程从队列中取元素,B线程往队列中存放元素。不考虑免锁的实现。需要一个mutex用来保护队列的一致性,避免两个线程同时操作队列破坏数据结构。

当队列为空的时候,A需要不断的探测队列状态 :

?

1

2

3

4

5

6

7

8

9

10

11

while(1)

{

if(队列为空)

休眠10s

else

    {

        加锁

        取元素

        解锁

     }

}

 

这就有一个问题,可能在刚进入休眠时,B放入元素了,但仍然需要休眠完整个10s的时间。造成不必要的延迟。当然如果不sleep,也可以,但会造成不必要的CPU开销。使用基于条件变量的事件通知唤醒机制,就可以避免这些问题。

一旦B放入元素完成后就执行pthread_cond_signal(),当前阻塞的线程就会立即被唤醒开始干活儿。

?

1

2

3

4

5

6

while(1) {

    pthread_mutex_lock();

    pthread_cond_wait();

    取元素;

    pthread_mutex_unlock();

}

 


条件变量都用互斥锁进行保护,条件变量状态的改变都应该先锁住互斥锁,pthread_cond_wait()需要传入一个已经加锁的互斥锁,该函数把调用线程加入等待条件的调用列表中,然后释放互斥锁,在条件满足从而离开pthread_cond_wait()时,mutex将被重新加锁,这两个函数是原子操作。

可以消除条件发生和线程睡眠等待条件发生间的时间间隙。其他线程在获得互斥量之前不会察觉到这种改变,因为必须锁定互斥量才能计算条件。

总而言之,为了避免因条件判断语句与其后的正文或wait语句之间的间隙而产生的漏判或误判,所以用一个mutex来保证: 对于某个cond的包括(判断,修改)在内的任何有关操作某一时刻只有一个线程在访问。也就是说条件变量本身就是一个竞争资源,这个资源的作用是对其后程序正文的执行权,于是用一个锁来保护。

这样就关闭了条件检查和线程进入休眠状态等待条件改变这两个操作之间的时间通道,这样线程就不会有任何变化。

感觉可以总结为:条件变量用于某个线程需要在某种条件成立时才去保护它将要操作的临界区,这种情况从而避免了线程不断轮询检查该条件是否成立而降低效率的情况,这是实现了效率提高。。。在条件满足时,自动退出阻塞,再加锁进行操作。

以上是关于效率问题,此外互斥锁还有一个缺点就是会造成死锁。

例如线程A和线程B都需要独占使用2个资源,但是他们都分别先占据了一个资源,然后又相互等待另外一个资源的释放,这样就形成了一个死锁。

条件变量起到了阻塞和唤醒线程的作用,所以通常互斥锁要和条件变量配合。

为了解决以上问题,条件变量常和互斥锁一起使用,条件变量通过允许线程阻塞和等待另一个线程发送信号的方法弥补了互斥锁的不足。使用时,条件变量被用来阻塞一个线程,当条件不满足时,线程往往解开相应的互斥锁并等待条件发生变化。一旦其它的某个线程改变了条件变量,它将通知相应的条件变量唤醒一个或多个正被此条件变量阻塞的线程。这些线程将重新锁定互斥锁并重新测试条件是否满足。

以上就是小编为大家带来的浅谈互斥锁为什么还要和条件变量配合使用全部内容了,希望大家多多支持脚本之家~

本文来自互联网用户投稿,该文观点仅代表作者本人,不代表本站立场。本站仅提供信息存储空间服务,不拥有所有权,不承担相关法律责任。如若转载,请注明出处:http://www.mzph.cn/news/509189.shtml

如若内容造成侵权/违法违规/事实不符,请联系多彩编程网进行投诉反馈email:809451989@qq.com,一经查实,立即删除!

相关文章

jetty优秀文章转载

地址:https://www.cnblogs.com/yiwangzhibujian/p/5845623.html

UNet详解(转)

Unity Networking(UNet)函数时序统计和分析 背景和概述 Unity Networking是官方自Unity5.1以来推出的新网络通信解决方案。UNet是非官方但更民间更精简的叫法。 本文需要读者有基础的UNet知识。 了解UNet时序,可以更好更严谨地编写UNet相…

GET和POST两种基本请求方法的区别

转载地址:https://www.cnblogs.com/logsharing/p/8448446.html GET和POST是HTTP请求的两种基本方法,要说它们的区别,接触过WEB开发的人都能说出一二。 最直观的区别就是GET把参数包含在URL中,POST通过request body传递参数。 你可能自己写过…

icpc大连栈

赛时只出了两题 09 10 06卡死了。很烂,没有及时弃疗06,最后得不偿失 丢人。 1001 Different Circle Permutation(矩快polya欧拉函数) 题目大意:n个座位围成一圈,n个人中挑出若干个人坐下,要求…

Ubuntu14.04 VSCode工程在root下无运行,在非root无法修改配置文件

转自:https://blog.csdn.net/wenyun_kang/article/details/69389784 vscode的配置文件被加上了root权限 把配置文件的root权限去掉就好了 cd ~/.config sudo rm -rf ./Code/ 然后输入密码就好了 猜测原因:vscode在打开的时候需要改动一些配置文件,但是启动的时候发现文件…

jetty优秀文章

地址:http://hbiao68.iteye.com/category/291430

Ubuntu14.04 Apollo 3.5安装

一.安装git lfs 1. 安装crul : curl -s https://packagecloud.io/install/repositories/github/git-lfs/script.deb.sh | sudo bash 2. 安装 git-lfs: sudo apt-get --yes --force-yes install git-lfs 确保git-lfs正确安装 :git lfs ins…

查询数据库每天更新的数量

select LEFT(FROM_UNIXTIME(pdate),10),count(LEFT(FROM_UNIXTIME(pdate),10)) from tablename where pdate > 1536944461 and pdate < 1539593178 GROUP BY LEFT(FROM_UNIXTIME(pdate),10)

职场那些事

转自&#xff1a;https://www.zhihu.com/question/49209215 1.没有时间观念 任何集体环境中&#xff0c;没有时间观念都是大忌。尤其在职场团队协作过程中&#xff0c;每个人都有自己的位置&#xff0c;每个人的时间都是宝贵的。工作是环环相扣的&#xff0c;因为你的延期导…

顺序表应用4-2:元素位置互换之逆置算法(数据改进)

Problem Description 一个长度为len(1<len<1000000)的顺序表&#xff0c;数据元素的类型为整型&#xff0c;将该表分成两半&#xff0c;前一半有m个元素&#xff0c;后一半有len-m个元素&#xff08;1<m<len)&#xff0c;设计一个时间复杂度为O(N)、空间复杂度为O(…

HtmlUnit优秀文章

博客地址:https://www.cnblogs.com/davidwang456/articles/8693050.html https://blog.csdn.net/anLA_/article/details/50199815

主程成长之路

原文&#xff1a;https://blog.csdn.net/hackmind/article/details/48137233 0x01、技术 1、技术是程序员吃饭的手艺&#xff0c;打磨自己的手艺肯定无可厚非 2、保持对技术的热爱&#xff0c;不断学习&#xff0c;持续编程 3、有敬畏心&#xff0c;明白自己是在做商业项目…

顺序表应用7:最大子段和之分治递归法

Problem Description 给定n(1<n<50000)个整数&#xff08;可能为负数&#xff09;组成的序列a[1],a[2],a[3],…,a[n],求该序列如a[i]a[i1]…a[j]的子段和的最大值。当所给的整数均为负数时定义子段和为0&#xff0c;依此定义&#xff0c;所求的最优值为&#xff1a; Max{…

WebMagic写的网络爬虫优秀文章

博客地址: https://www.cnblogs.com/yanduanduan/p/6527359.html https://www.cnblogs.com/tibit/p/7136762.html https://blog.csdn.net/qq_36251958/article/details/79313035#commentBox

向量内积(点乘)和外积(叉乘)概念及几何意义

向量的内积&#xff08;点乘&#xff09; 定义 概括地说&#xff0c;向量的内积&#xff08;点乘/数量积&#xff09;。对两个向量执行点乘运算&#xff0c;就是对这两个向量对应位一一相乘之后求和的操作&#xff0c;如下所示&#xff0c;对于向量a和向量b&#xff1a; a和b…

SVN分支/合并

转自&#xff1a;https://blog.csdn.net/e3002/article/details/21469437 先说说什么是branch。按照Subversion的说法&#xff0c;一个branch是某个development line&#xff08;通常是主线也即trunk&#xff09;的一个拷贝&#xff0c;见下图&#xff1a; branch存在的意义在…

全国省市直辖市列表

爬取来源&#xff1a;http://www.stats.gov.cn/tjsj/tjbz/tjyqhdmhcxhfdm/2015/34.html 结果&#xff1a; 云南省 昆明市/曲靖市/玉溪市/保山市/昭通市/丽江市/普洱市/临沧市/楚雄彝族自治州/红河哈尼族彝族自治州/文山壮族苗族自治州/西双版纳傣族自治州/大理白族自治州/德宏傣…

prim算法 求最小生成树

最小生成树Prim算法理解 标签&#xff1a; Prim算法理解最小生成树Prim2014-08-16 18:49 18482人阅读 评论(5) 收藏 举报版权声明&#xff1a;本文为博主原创文章&#xff0c;未经博主允许不得转载。 MST&#xff08;Minimum Spanning Tree&#xff0c;最小生成树&#xff09;问…

Hadoop视频教程资源链接

一 慕课网 1.Hadoop大数据平台架构与实践–基础篇(已学习) 链接:https://www.imooc.com/learn/391 2.Hadoop进阶&#xff08;已学习&#xff09; 链接:https://www.imooc.com/learn/890 二 极客学院 1.Hadoop 概述(已学习) 链接:http://www.jikexueyuan.com/course/677.html 2…

Unity大密度建筑场景加载解决方案

现在虚拟城市仿真&#xff0c;以及军事仿真项目越来越多&#xff0c;开发此类项目&#xff0c;首先面对的一个比较棘手的问题是内存管理&#xff0c;城市中的建筑物特别多&#xff0c;这些建筑物的面数和贴图都要被加到内存中的&#xff0c;内存有自己的峰值&#xff0c;超过了…