end
procedure pickup-white ; begin
check ( IM ) ;
if not flag then wait(S-white,IM ); flag :=false ; pickup a white ;
signal ( S-black,IM ) ; release ( IM ) ; end begin
flag:=true ; end
main ( ) { cobegin
process -B ( ) ; process -W ( ) ; coend }
process-B ( ) begin
pickup-chess.pickup-black ( ) ; other ; end
process-W ( ) begin
pickup-chess.pickup-white( ) ; other ; end
6 管程的同步机制使用条件变量和wait 及signal ,尝试为管程设计一种仅仅使用一个原语操作的同步机制。
答:可以采用形如waituntil <条件表达式>的同步原语。如waituntil
( numbersum + number < K ) 表示进程由于条件不满足而应等待,当进程号累加和小于K 时,系统应唤醒该进程工作.
7 设公共汽车上,司机和售票员的活动分别如下: 司机的活动:启动车辆:正常行车;到站停车。 售票员的活动:关车门;售票;开车门。
在汽车不断地到站、停车、行驶过程中,这两个活动有什么同步关系?用信号量和P 、V 操作实现它们的同步。
答:在汽车行驶过程中,司机活动与售票员活动之间的同步关系为:售票员关车门后,向司机发开车信号,司机接到开车信号后启动车辆,在汽车正常行驶过程中售票员售票,到站时司机停车,售票员在车停后开门让乘客上下车。因此,司机启动车辆的动作必须与售票员关车门的动作取得同步;售票员开车门的动作也必须与司
机停车取得同步。应设置两个信号量:S1 、S2 ;S1 表示是否允许司机启动汽车(其初值为0 ) ;S2 表示是否允许售票员开门(其初值为0 )。用P 、v 原语描述如下:
var S1 , S2 : semaphore ; S1=0;S2=0; cobegin {
driver ( ) ; busman ( ) ; } coend
driver ( ) begin
while ( 1 ) { P ( S1 )
启动车辆;正常行车;到站停车; V ( S2 ) ; } end
busman ( ) begin
while ( 1 ) { 关车门; V ( 51 ) 售票;
P ( S2 ) 开车门; 上下乘客; } end
8、一个快餐厅有4 类职员:( l )领班:接受顾客点菜;( 2 )厨师:准备顾客的饭菜;( 3 ) 包工:将做好的饭菜打包;( 4 )出纳员:收款并提交食品。每个职员可被看作一个进程,试用一种同步机制写出能让四类职员正确并发运行的程序。
答:典型的进程同步问题,可设四个信号量51 、S2 、S3 和S4 来协调进程工作。 var S1 , S2 ,S3 , S4 : semaphore ; S1 : = 1 ;S2 :=S3 : = S4 : = 0 ; cobegin { process P1 begin repeat
有顾客到来; P ( S1 ); 接受顾客点菜;
V ( 52 );
untile false; end
process P2 begin repeat P (S2 ) ;
准备顾客的饭菜; v ( S3 ) ; untile fal