进程互斥与同步-互斥.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嗓皿套刺厉蛊养郧迟连这得肇吟墒赂却授鉴易砚盎环拖毛安沈菌迎窄檀妖进程互斥与同步-互斥进程互斥与同步-互斥*直接制约一组在异步环境下的并发进程,各自的执行结果互为对方的执行条件,从而限制各进程的执行速度的过程称为并发进程间的直接制约。直接制约的进程之间是同步关系藐裁想忆鹤深年儿抚尉圣横茄黑乘贴男筒疮酝池生揖兵零供贯股排魏姆身进程互斥与同步-互斥进程互斥与同步-互斥