操作系统-第二章部分答案.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_person //A方向上过独木桥的行人进程 { P(MA); //实现对临界资源countA的互斥访问 //当A方向上没有行人过独木桥时，这时有可能存在B方向上的行人在过独木桥。 if (countA == 0) P(mutex); //如果当前独木桥正在被使用，说明B方向上的行人正在过桥，则A方向上的行人必须等待。 countA=countA+1; //当B方向上没有行人过桥时，则A方向上的行人可以过独木桥。因此A方向上已在独木桥上的行人数增加1个 V(MA); //退出临界区 过桥； //A方向上的行人通过独木桥 P(MA); //实现对临界资源countA的互斥访问 countA=countA-1; //当A方向上的行人已经通过了独木桥时，则A方向上在独木桥上的行人数需要减少1个 if(countA==0) //如果A方向上在独木桥上的行人数减少到0，则 V(mutex); //需要释放独木桥临界资源，唤醒第一个由于在等待独木桥而处于等待状态的B方向上过独木桥的行人进程（如果此进程存在） V(MA); //退出临界区 } process B_direction_cross_bridge_person //B方向上过独木桥的行人进程 { P(MB); //实现对临界资源countB的互斥访问 //当B方向上没有行人过独木桥时，这时有可能存在A方向上的行人在过独木桥。 if (countB==0) P(mutex); //如果当前独木桥正在被使用，说明A方向上的行人正在过桥，则B方向上的行人必须等待。 countB=countB+1; //当A方向上没有行人过桥时，则B方向上的行人可以过独木桥。因此B方向上已在独木桥上的行人数增加1个 V(MB); //退出临界区 过桥；//B方向上的行人通过独木桥 P(MB); //实现对临界资源countB的互斥访问 countB=countB-1; //当B方向上的行人已经通过了独木桥时，则B方向上在独木桥上的行人数需要减少1个 if(countB==0) //如果B方向上在独木桥上的行人数减少到0，则 V(mutex); //需要释放独木桥临界资源，唤醒第一个由于在等待独木桥而处于等待状态的A方向上过独木桥的行人进程（如果此进程存在） V(MB); //退出临界区 } coend 27.有7个并发执行的进程Pi（i=1,2, …,7），若希望它们按照如下图所示的次序执行，试写出进程并发执行的算法。 S[5]P4 S[5] P4 S[7]S[0]S[2]S[3]P6 P2 S[7] S[0] S[2] S[3] P6 P2 P3 P3 S[1]P7 S[4] S[1] P7 S[4] S[6]P5 S[6] P5 P1 P1 Semaphore S[8]; //定义一个大小等于8的结构型信号量数组 for(int i=0;i8;i++) S[i].Value=0; process PP() { cobegin //伪代码cobegin和coend