操作系统经典习题+解释.docVIP

假定一个阅览室最多可容纳100人，读者进入和离开阅览室时都必须在阅览室门口的一个登记表上进行登记，而且每次只允许一人进行登记操作，请用记录型信号量机制实现上述问题的同步。 定义信号量sum,mutex，初值分别为100，1。（3分）则第i个读者的活动描述为： procedure Pi(i=1,2,3……) begin wait(sum); wait(mutex); 登记； signal(mutex); 进入阅览室； 阅读; wait(mutex); 登记； signal(mutex); 离开阅览室； signal(sum); end 请用信号量解决以下的“过独木桥”问题：同一方向的行人可连续过桥，当某一方向有人过桥时，另一方向的行人必须等待；当某一方向无人过桥时，另一方向的行人可以过桥。 将独木桥的两个方向分别标记为A和B；并用整形变量countA和countB分别表示A、B方向上已在独木桥上的行人数，初值为0；再设置三个初值都1的互斥信号量：SA用来实现对countA的互斥访问，SB用来实现对countB的互斥访问，mutex用来实现两个方向的行人对独木桥的互斥使用。则具体描述如下： Var SA,SB,mutex:semaphore:=1,1,1; CountA,countB:integer:=0,0: begin