2. 考研
  3. 进程P0和P1的共享变量定义及其初值为：booleanflag[2]：intturn=0：flag[0]=FALSE；flag[1]=FALSE；若进程P0和P1访问临界资源的类C伪代码实现如下： 则并发执行进程P0和P1时产生的情形是____。

进程P0和P1的共享变量定义及其初值为：booleanflag[2]：intturn=0：flag[0]=FALSE；flag[1]=FALSE；若进程P0和P1访问临界资源的类C伪代码实现如下： 则并发执行进程P0和P1时产生的情形是____。

admin2013-04-26  55
问题 进程P0和P1的共享变量定义及其初值为：booleanflag[2]：intturn=0：flag[0]=FALSE；flag[1]=FALSE；若进程P0和P1访问临界资源的类C伪代码实现如下：

则并发执行进程P0和P1时产生的情形是____。
选项 A、不能保证进程互斥进入临界区，会出现“饥饿”现象
B、不能保证进程互斥进入临界区，不会出现“饥饿”现象
C、能保证进程互斥进入临界区，会出现“饥饿”现象
D、能保证进程互斥进入临界区，不会出现“饥饿”现象
答案D
解析 考查进程间通信与Peterson算法。此算法实现互斥的主要思想在于设置了一个turn变量，用于进程间的互相“谦让”。一般情况下，如果进程P0试图访问临界资源，设置flag[0]=true，表示希望访问。此时如果进程P1还未试图访问临界资源，则flag[1]在进程上一次访问完临界资源退出临界区后已设置为false。所以进程P0在执行循环判断条件时，第一个条件不满足，进程P0可以正常进入临界区，且满足互斥条件。我们需要考虑的是两个进程同时试图访问临界资源的情况。注意turn变量的含义：进程在试图访问时，首先设置自己的flag变量为true，表示希望访问：但又设置turn变量为对方的进程编号，表示“谦让”，因为在循环判断条件中turn变量不是自己编号时就循环等待。这时两个进程就会互相“谦让”一番，但是这不会造成饥饿的局面，因为turn变量会有一个最终值，所以必定有进程可以结束循环进入临界区。实际的情况是，先作出“谦让”的进程先进入临界区，后作出“谦让”的进程则需要循环等待。其实这里可以想象为两个人进门，每个人进门前都会和对方客套一句“你走先”。如果进门时没别人，就当和空气说句废话，然后大步登门入室：如果两人同时进门，就互相请先，但各自只客套一次，所以先客套的人请完对方，就等着对方请自己。然后光明正大地进门。
转载请注明原文地址:https://jikaoti.com/ti/IcajFFFM
本试题收录于： 计算机408题库学硕统考专业分类
0

计算机408

学硕统考专业

相关试题推荐
随机试题
最新回复(0)