词条 互斥锁

互斥锁

互斥锁(英语:英语:Mutual exclusion,缩写 Mutex)是一种用于多线程编程中,防止两条线程同时对同一公共资源(比如全局变量)进行读写的机制。该目的通过将代码切片成一个一个的临界区域(critical section)达成。临界区域指的是一块对公共资源进行访问的代码,并非一种机制或是算法。一个程序、进程、线程可以拥有多个临界区域,但是并不一定会应用互斥锁。

需要此机制的资源的例子有:旗标、队列、计数器、中断处理程序等用于在多条并行运行的代码间传递数据、同步状态等的资源。维护这些资源的同步、一致和完整是很困难的,因为一条线程可能在任何一个时刻被暂停(休眠)或者恢复(唤醒)。

例如:一段代码(甲)正在分步修改一块数据。这时,另一条线程(乙)由于一些原因被唤醒。如果乙此时去读取甲正在修改的数据,而甲碰巧还没有完成整个修改过程,这个时候这块数据的状态就处在极大的不确定状态中,读取到的数据当然也是有问题的。更...

互斥锁相关文献
互斥
逻辑学在逻辑学中,互斥(MutuallyExclusive)是一种逻辑关系,指几个变量或事件之中的任一个不可能与其它一个或多个同时为真,或同时发生的情况。对于逻辑函数,其变量互斥,意味着两个以上变量为真(包括都不为真)的情况会导致函数值为假。对于事件,其所有条件的互斥意味着,任两个条件的实现都将阻止事件的产生。同样可以引申到程序编写及其它关系。比如一个最简单的情况下,投掷一枚硬币,硬币不可能同时出现既为正也为反;两个结果互斥。概率学在概率学中,事件E1,E2,...,En在当其中任意一个事件与其余(n-1)个都不能同时发生时被称作互斥。用AB表示任意两个事件,即有公式:P(AandB)=0。在该样本空间中,所有互斥事件概率之和为1(即可拼为全概率)。若Ai∩∩-->Aj{\displaystyleA_{i}\capA_{j}}为空集,则该两子集或元素互斥。参考
查看全文
价层电子对互斥理论
理论基础价层电子对互斥理论的基础是,分子或离子的几何构型主要决定于与中心原子相关的电子对之间的排斥作用。该电子对既可以是成键的,也可以是没有成键的(叫做孤对电子)。只有中心原子的价层电子才能够对分子的形状产生有意义的影响。分子中电子对间的排斥的三种情况为:孤对电子间的排斥(孤-孤排斥);孤对电子和成键电子对之间的排斥(孤-成排斥);成键电子对之间的排斥(成-成排斥)。分子会尽力避免这些排斥来保持稳定。当排斥不能避免时,整个分子倾向于形成排斥最弱的结构(与理想形状有最小差异的方式)。孤对电子间的排斥被认为大于孤对电子和成键电子对之间的排斥,后者又大于成键电子对之间的排斥。因此,分子更倾向于最弱的成-成排斥。配体较多的分子中,电子对间甚至无法保持90°的夹角,因此它们的电子对更倾向于分布在多个平面上。实际预测下面是价层电子对互斥理论预测的分子形状表。†孤电子对以淡黄色球体表示。‡分子的实际几何...
查看全文
互斥锁
需求不准永远耽搁一个要求进入临界区域的线程,造成死锁或是饥饿发生。若没有任何线程处于临界区域时,任何要求进入临界区域的线程必须立刻得到允许。不能对线程的相对速度与处理器的数目做任何假设。线程只能在临界区域内停留一有限的时间。任何时间只允许一个线程在临界区域运行。在临界区域停止运行的线程,不准影响其他线程运行。实现依实现方式可分为硬件实现和软件实现两种。硬件实现单核心系统上最常见的方式就是关闭尽可能多的可能对共享数据段进行读写的指令中断。这样一来就可以避免在临界区域中暂停程序执行,或是来自硬件的要求修改目标共享数据段的中断请求。多核心系统上则通过检查并置位(获取原始值并指定新值)机制达成,当一个核心需要另一个核心占用的资源的时候,该核心将不断的查询所有核心间共享的占用旗标,直到另一个核心将占用旗标复位为未使用为止。相关的伪代码如下所示:lock的值为1则表示锁被占用,为0则是空闲。在检查并置...
查看全文
爱情锁
悬锁历史塞尔维亚弗尔尼亚奇卡矿泉镇至爱桥景爱情锁之肇始,可溯至一战以前塞尔维亚弗尔尼亚奇卡矿泉镇的至爱桥(MostLjubavi)。彼时,该镇女教师娜达(Nada)陷入与塞尔维亚王国军士官雷利亚(Relja)的热恋中。二人互誓永不变心。后雷利亚被征召前往希腊打仗,爱上一名来自克基拉岛的女孩而不归。远在故乡的娜达得知后,心碎而死。当地女孩们为纪念这段故事,并表达对自己爱情之捍卫,开始将镌有自己与恋人姓名的锁挂在当初之二人相遇的桥上,冀以防止对方变心。悬锁传统因二战爆发而中断,又因塞尔维亚女诗人德珊卡·马克西莫维奇(英语:DesankaMaksimović)笔下描绘这段爱情往事的诗歌《爱情祷告》(Molitvazaljubav)而再度受关注。观光季里,每日有大约五十人前来挂锁。2012年挂着爱情锁的巴黎艺术桥21世纪初,悬锁现象现于欧洲他地。如在巴黎,恋人们将名字镌在锁上,其中首字用大字号,而...
查看全文
长命锁(寄名锁)
长命锁也叫"寄名锁"。它是明清时挂在儿童脖子上的一种装饰物,按照迷信的说法,只要佩挂上这种饰物,就能辟灾去邪,"锁"住生命,所以许多儿童从出生不久起,就挂上了这种饰物,一直挂到成年。长命锁的前身是"长命缕"。关于佩长命缕的习俗,最早可追溯到汉代,据《荆楚岁时记》、《风俗通》、《岁时广记》以及《留青日札》等书的记载,在汉代,每逢五月初五端午佳节,家家户户都在门楣上悬挂上五色丝绳,以避不祥。到了魏晋南北朝时,这股丝绳被移到了妇女臂上,渐成为妇女和儿童的一种臂饰。不仅用于端午,还用于夏至。在当时,由于战争频繁,加之瘟疫、灾荒不断,广大人民渴望平安,所以用五色彩丝编成绳索,缠绕于妇女和儿童手臂,以祈求辟邪去灾,祛病延年。这种彩色丝绳,就被称之为"长命缕"、也有叫"长生缕"、"续命缕"、"延年缕"、"五色缕"、"辟兵缯"、"朱索"、"百索"等名称的。到了宋代,这种风俗,继续存在。不仅流行在民间,还传...
查看全文
互斥锁相关标签
并行计算
协同控制
电脑术语
语言文字
家族谱大览
8.夏氏族谱, 8, 卷6: 云锁公长房 11世纪公起, 1944
原书: [出版地不详] : 仁庆堂, 民国33[1944]. 18册 : 插图, 世系表, 人像. 鼻祖 : 夏远,字光庭,号三斗. 原籍浙江会稽,后于武宁三斗坪. 始迁祖(1世) : (宋元之际) 夏荣七,字文朴,号志良. 由黄冈迁罗田,继由罗田迁麻城,卜居东山. 生子七 : 夏元一 ; 夏元二(本支) ; 夏元三 ; 夏元四 ; 夏元五 ; 夏元六 ; 夏元七. 元二公下派祖(5世) : 夏子文(支谱另辑) ; 夏子钊. 皆为奇武公之子. 子钊公下三大房祖(9世) : 夏尚寅 ; 夏尚孔 ; 夏尚述. 尚寅公下支祖(10世) : 夏云翼(生一子: 夏典) ; 夏云惠(生二子: 夏秀 ; 夏秩). 尚孔公下支祖(10世) : 夏云关(生一子: 夏南阳) ; 夏云谷(生三子: 夏严 ; 夏楚 ; 夏夺) ; 夏云锁(生二子: 夏纪 ; 夏维). 尚述公下支祖(10世) : 夏云笺(生二子: 夏长 ; 夏洪) ; 夏云瑝(生一子: 夏泽). 排行字(21世起) : 祖德长远 忠厚传家 绪延光裕 世育英华. 散居地 : 湖北省麻城县等地. 书名据书衣题编目. 版心题 : 夏氏四修宗谱 书名页题 : 西陵白石山夏氏族谱.
浏览:100
6.李氏宗谱, 6, 卷2-3: 卷祖玉锁公 11世大芄公起, 1944
原书: [出版地不详] : 敦本堂, 民国33[1944](陶华棠印). 10册 : 插图, 世系表. 编修者 : 李植荣,一名国桢,字伯华 ; 李培鸿,字朗斌 ; 李恒山,字绍辑 ; 李荫麟,号济康 ; 李荫尊,字琴书. 麻城始祖(1世) : 李季八. 原籍江西南昌县. 二传 : 李振声. 徙亭川乡木子店之蟹子地三屋塆. 世祖(4世) : 李省一(子宗甫,居坝上) ; 李省二(子清甫,居樊桥) ; 李省三(子秀甫, 居冈邑紫潭) ; 李省四(迁固陵) ; 李省五(迁浙江) ; 李省六(迁浙江) ; 李省七(迁江西) ; 李省八(迁江西). 麻城世祖(6世) : 李文靖,名钊. 省七公之孙,巨甫公之子. 为避乱原徙江左后分居. 弟瑞公居蕲水,端公居蕲州,公复来麻城螺壳潭. 文靖生三子 : 李思昭,原名中 ; 李思穆,原名和 ; 李思泰,原名佑. 此谱为思昭公之裔. 房祖(10世) : 李玉美(广之子,居大畈) ; 李玉锁(卷之子) ; 李玉堂(智之子) ; 李玉辇(柏之子) ; 李玉润(木之子) ; 李辅(干元,字亨通之子). 玉美公生二房(11世) : 李咏 ; 李珽. 玉锁公生一房(11世) : 李大芄. 玉堂公生二房(11世) : 李承聘 ; 李承林. 玉辇公生五房(11世) : 李承仪 ; 李承周 ; 李承宪 ; 李承卿 ; 李承时. 玉润公生三房(11世) : 李承举 ; 李承瑚 ; 李承琏. 辅公生一房(11世) : 李硕. 排行字第 : 季中振省甫 文思仁○玉 ○元○世士 之文先代嘉 植培荫恒昌 散居地 : 湖北省麻城县等地. 书名据版心题, 及书名页题编目.
浏览:100
9.夏氏族谱, 9, 卷7: 云锁公二房 11世维公起, 1944
原书: [出版地不详] : 仁庆堂, 民国33[1944]. 18册 : 插图, 世系表, 人像. 鼻祖 : 夏远,字光庭,号三斗. 原籍浙江会稽,后于武宁三斗坪. 始迁祖(1世) : (宋元之际) 夏荣七,字文朴,号志良. 由黄冈迁罗田,继由罗田迁麻城,卜居东山. 生子七 : 夏元一 ; 夏元二(本支) ; 夏元三 ; 夏元四 ; 夏元五 ; 夏元六 ; 夏元七. 元二公下派祖(5世) : 夏子文(支谱另辑) ; 夏子钊. 皆为奇武公之子. 子钊公下三大房祖(9世) : 夏尚寅 ; 夏尚孔 ; 夏尚述. 尚寅公下支祖(10世) : 夏云翼(生一子: 夏典) ; 夏云惠(生二子: 夏秀 ; 夏秩). 尚孔公下支祖(10世) : 夏云关(生一子: 夏南阳) ; 夏云谷(生三子: 夏严 ; 夏楚 ; 夏夺) ; 夏云锁(生二子: 夏纪 ; 夏维). 尚述公下支祖(10世) : 夏云笺(生二子: 夏长 ; 夏洪) ; 夏云瑝(生一子: 夏泽). 排行字(21世起) : 祖德长远 忠厚传家 绪延光裕 世育英华. 散居地 : 湖北省麻城县等地. 书名据书衣题编目. 版心题 : 夏氏四修宗谱 书名页题 : 西陵白石山夏氏族谱.
浏览:100
新界沙头角锁罗盆村黄姓族谱
原书: 稿本, 清光绪2[1876]. [100]面. 受姓始祖 : 陆忠公. 受对于黄,以国为氏. 江夏祖 : 黄春申,讳歇,号五经. 始祖 : 惠连公. 潮州始迁祖 : 黄僚,字海虎,号良辰. 散居地 : 广东省惠阳县, 梅县 ; 及香港新界等地.
浏览:100
新界沙头角锁罗盆村黄姓族谱
原书: 稿本, 清光绪2[1876]. [100]面. 受姓始祖 : 陆忠公. 受对于黄,以国为氏. 江夏祖 : 黄春申,讳歇,号五经. 始祖 : 惠连公. 潮州始迁祖 : 黄僚,字海虎,号良辰. 散居地 : 广东省惠阳县, 梅县 ; 及香港新界等地.
浏览:100
新界沙头角锁罗盆村黄姓族谱
原书: 稿本, 清光绪2[1876]. [100]面. 受姓始祖 : 陆忠公. 受对于黄,以国为氏. 江夏祖 : 黄春申,讳歇,号五经. 始祖 : 惠连公. 潮州始迁祖 : 黄僚,字海虎,号良辰. 散居地 : 广东省惠阳县, 梅县 ; 及香港新界等地.
浏览:100