进程同步补充作业.docVIP

设有两个优先级相同的进程p1与p2，令信号量s1、s2的初值为0，已知z=2，试问p1、p2并发运行后x=?,y=?,z=? 进程p1：y=1; 进程p2： x=1; y=y+2; x=x+1; signal(s1); wait(s1); z=y+1; x=x+y; wait(s2); signal(s2); y=z+y; z=z+x; 解： x=5,y=12,z=9 ②x=5,y=7,z=9 ③ x=5,y=7,z=4 2. 有桥如下图所示，车流方向如箭头所示。假设桥上不允许两车交会，但允许同方向多辆车依次通过（即桥上可有多个相同方向行驶的车辆），试用wait和signal操作实现桥交通管理。 算法： Var lmutex,rmutex,mutex:semapghore:=1,1,1; Var lcount,rcount:integer:=0,0; begin parbegin left:begin repeat wait(lmutex);//准备上桥 if lcount=0 then wait(mutex); lcount=lcount+1; signal(lmutex); 车自左向右过桥； wait(lmutex);//下桥 lcount=lcount-1; if lcount=0 then signal(mutex); signal(lmutex); until false; end. right:begin repeat wait(rmutex);//准备上桥 if rcount=0 then wait(mutex); rcount=rcount+1; signal(rmutex); 车自右向左过桥； wait(rmutex);//下桥 rcount=rcount-1; if rcount=0 then signal(mutex); signal(rmutex); until false; end. parend. end. 某银行人民币储蓄业务由若干个柜员负责。每个顾客进入银行后先取一个号，并且等着叫号，当一个柜员空闲下来时，就叫下一个号，持该号的顾客被服务。试用wait、signal操作正确编写柜台人员进程和顾客进程的同步算法。 分析：count：表示排队等候服务的顾客数，初值为0。 Mutex:互斥信号量，用于对顾客队列互斥访问。 算法： Var mutex,count:semapghore:=1,0; begin parbegin customer:begin 取号码； wait(mutex); 进入队列排队等候被服务； signal(mutex); signal(count); end. server:begin repeat wait(count)； wait(mutex); 从等待队列中取下一个号码； signal(mutex); 为该号码持有者服务; until false end. parend. end.