操作系统 第二章部分解答.docVIP

26. 假定有如下独木桥问题：过桥时，同一方向的行人可连续过桥，当某一方向有人过桥时，另一方向的行人必须等待；当某一方向无人过桥时，另一方向的行人可以过桥。试用信号量机制解决。 答： (1) 将独木桥的两个方向分别标记为A与B。用整型变量countA与countB分别表示A、B方向上已在独木桥上的行人数，初值都设置为0。需要设置三个初值都为1的互斥信号量：MA用来实现对countA的互斥访问，MB用来实现对countB的互斥访问，mutex用来实现两个方向的行人对独木桥的互斥使用。 (2)以下使用信号量机制对A方向上的行人过桥与B方向上的行人过桥的算法进行描述： int countA, countB; countA = 0; countB = 0; Semaphore MA,MB,mutex; //定义了三个互斥信号量 MA.value=1; MB.value=1; mutex.value=1; cobegin process A_direction_cross_bridge//A方向上过桥的行人进程 { P(MA); //实现对临界资源countA的互斥访问 //当A方向上没有行人过独木桥时，这时有可能存在B方向上的行人在过独木桥。 if (countA == 0) P(mutex); //如果当前独木桥正在被使用，说明B方向上的行人正在过桥，则A方向上的行人必须等待。 countA=countA+1; //当B方向上没有行人过桥时，A方向上的行人可以过独木桥。 V(MA); //退出临界区 过桥； P(MA); //实现对临界资源countA的互斥访问 countA=countA-1; //当A方向上的行人已经通过了独木桥时，则A方向上在独木桥上的行人数需要减少1个 if(countA==0) //如果A方向上在独木桥上的行人数减少0，则 V(mutex); //需要释放独木桥临界资源，唤醒第一个由于在等待独木桥而处于等待状态的B方向上过独木桥行人（如果此存在） V(MA); //退出临界区 } process B_direction_cross_bridge //B方向上过桥的行人进程 { P(MB); //实现对临界资源countB的互斥访问 //当B方向上没有行人过独木桥时，这时有可能存在A方向上的行人在过独木桥。 if (countB==0) P(mutex); //如果当前独木桥正在被使用，说明A方向上的行人正在过桥，则B方向上的行人必须等待。 countB=countB+1; //当A方向上没有行人过桥时，B方向上的行人可以过独木桥。 V(MB); //退出临界区 过桥； P(MB); //实现对临界资源countB的互斥访问 countB=countB-1; //当B方向上的行人已经通过了独木桥时，则B方向上在独木桥上的行人数需要减少1个 if(countB==0) //如果B方向上在独木桥上的行人数减少0，则 V(mutex); //需要释放独木桥临界资源，唤醒第一个由于在等待独木桥而处于等待状态的A方向上过独木桥的行人（如果此存在） V(MB); //退出临界区 } coendSemaphore S1,S2; //首先定义两个信号量S1与S2 S1.value=0; S2.value=0; cobegin process driver() process conductor() { { while(1) while(1) { { P(S1); 关车门; 启动汽车; V(S1); 正常行车; 售票; 到站停车; P(S2); V(S2); 开车门; } 上下乘客;