Pv操作练习.doc

设一民航售票系统有n个售票处。每个售票处通过终端访问系统中的公用数据区，假定公用数据区中分别用R1、R2、R3、…Rn表示×月×日×次航班的现存票数。设P1、P2、P3、Pn表示各售票处的处理进程，试用信号量实现进程间的互斥关系 Var s: semaphore :=1; begin parbegin process Pi: begin repeat Wait (s); 按旅客定票要求找到Rk if Rk=1 then begin Rk=Rk-1; Signal (s); 输出一张票； end; else begin Signal (s); 输出“票已售完”； end; until false; end parend end 生产围棋的工人不小心把相等数量的黑子和白子混装在一个箱子里，现要用自动分拣系统把黑子和白子分开，该系统由两个并发执行的进程组成，功能如下：（1）进程A专门拣黑子，进程B专门拣白子；（2）每个进程每次只拣一个子，当一个进程在拣子时不允许另一个进程去拣子； s:semaphore:=1;　　　parbegin　　　　process A：begin　　　　 L1: Wait(s);　　　　　 拣黑子；　　　　　 Signal(s);　　　　　 goto L1;　　　　 end; 　　　　process B：begin　　　　 L2:Wait(s);　　　　　 拣白子；　　　　　 Signal(s);　　　　　 goto L2;　　　　 end;　　　parend; 某车站售票厅共有20 个售票窗口，任何时刻最多可容纳20名购票者进入，当售票厅中少于20名购票者时，厅外的购票者可立即进入，否则需要在外面等待。每个购票者可看成一个进程。 s:semaphore=20;　　parbegin　　　process Pi(i=1,2,……)　　　　begin Wait(s);　　　　　进入售票厅；　　　　　购票；　　　　　退出；　　　　　Signal(s);　　　　end;　　　parend 有座东西方向架设、可双向通行的单车道简易桥，最大负荷为4 辆汽车。请定义合适的信号量，正确使用wait/signal 操作，实现双向车辆的过桥过程。 信号量应该有4 个：S ,初值为1,代表桥的互斥使用的信号量；Scounteast,初值为1,代表由东向西行驶的桥上的车辆计数器的互斥使用；Scountwest,初值为1,代表由西向东行驶的桥上的车辆计数器的互斥使用；Scount4 ,初值为4,代表桥上车辆的计数信号量。 var S,Scounteast,Scounwest,Scount4:semaphore；S: = 1； Scounteast＝1； Scountwest: = 1； Scount4: