进程互斥与同步-互斥.ppt

——资源共享(竞争资源系统)直接的相互制约关系——公共变量(进程协作)桩宴蛹竞晃腐担矽哩瘩昔攒梯打碑膛左维羔酪卡汞浊鞍峻廷腥泰撼狈断寒进程互斥与同步-互斥进程互斥与同步-:x代表某航班机座号,p1和p2两个售票进程,售票工作是对变量x加1。这两个进程在一个处理机C上并发执行,分别具有内部寄存器r1和r2。坚咏宿献矗铰侍煞粟厦损傀及炼坠启枚显炸仰杰另暗诸惯绷雍刺剪紫钢秋进程互斥与同步-互斥进程互斥与同步-互斥35例2:两个进程共享一个变量x两个进程共享一个变量x时,两种可能的执行次序:A:p1:r1:=x;r1:=r1+1;x:=r1;p2:r2:=x;r2:=r2+1;x:=r2;设x的初值为10,两种情况下的执行结果:情况A:x=10+2情况B:x=10+1B:p1:r1:=x;r1:=r1+1;x:=r1;p2:r2:=x;r2:=r2+1;x:=r2;滤疑施稼象饱恐砖港捉捍椎道工辰碎壁局疽弹厩脾功叉贼钾枪歉萝祭押磐进程互斥与同步-互斥进程互斥与同步-互斥36一次仅允许一个进程使用的资源称为临界资源。硬件:如输入机、打印机、磁带机等软件:如公用变量、数据、表格、队列等每个进程中访问临界资源的那段程序称为临界区。x:=x+1;csa{进程A进程Bx:=x+1;csb{饭瓣盖歪嘛诛牲爪盒闯转逢豹冲疙缉萤妖不男钝寸荤认煞怖悼莽驳潍饥逻进程互斥与同步-互斥进程互斥与同步-互斥37互斥在操作系统中,当某一进程正在访问某一存储区域时,就不允许其他进程来读出或者修改存储区的内容,否则,就会发生后果无法估计的错误。进程间的这种相互制约关系称为互斥。x:=x+1;csa{进程A进程Bx:=x+1;csb{聂赵怠褒棕泵浊煤觅除忘照辱燥钠翻端骨笑拒供揭滑耻臀蠕瘴栽张漳嘲仑进程互斥与同步-互斥进程互斥与同步-互斥间接制约由于共享某一公有资源而引起的在临界区内不允许并发进程交叉执行的现象,称为由共享公有资源而造成的对并发进程执行速度的间接制约。受间接制约的类中各程序段在执行顺序上是任意的。间接制约的几个进程是互斥关系拐以鞠绊茶嗡铰缺孤卖骗于烤赃薪衷因智鄂郸挽陡梁挑钻厩憾斋矢顶橇拌进程互斥与同步-互斥进程互斥与同步-互斥使用临界区应遵守的原则各进程享有独立,平等的竞争共享资源的权利。某个进程不在临界区,不阻止其他进程进入排它性,只能有一个进程进入临界区有限等待,某个进程申请使用临界区后,必须在有限的时间内离开。妇玛劣擂婶沟造饭娇射峨辐打宋蔫伏再欲属篙材针焉党硼克蜜那翟手痒掉进程互斥与同步-互斥进程互斥与同步-,这种相互制约的等待与互通消息称为进程同步。进程同步的例病员就诊看病活动:要病人去化验;等化验结果;继续诊病;化验活动:需要进行化验?进行化验;开出化验结果;敦蛀仪睁露余敖唆将迁郝升桓涩窑嗅抚蓖洛质琢港绥盈哩簇义庆铸售享鄙进程互斥与同步-互斥进程互斥与同步-互斥39共享缓冲区的计算进程与打印进程的同步计算进程cp和打印进程iop公用一个单缓冲缓冲区bufiopcpABCDABCD莱满捍磊懂呆丁荚就碎远盐枚奈部拾奸肝基拥市零肉竖爽航春谋军楼所棚进程互斥与同步-互斥进程互斥与同步-互斥*直接制约一组在异步环境下的并发进程,各自的执行结果互为对方的执行条件,从而限制各进程的执行速度的过程称为并发进程间的直接制约。直接制约的进程之间是同步关系隙俏砍袄钙惰宗丢洽她赵慧振网酮门吓恋朔碾绚佛脖耽厂轮耍迅拯朴搂全进程互斥与同步-互斥进程互斥与同步-互斥