计算机学科专业基础2010 真题档案

进程 P0 和 P1 的共享变量定义及其初值为：

boolean flag[2];
int turn=0;
flag[0]=FALSE; flag[1]=FALSE;

若进程 P0 和 P1 访问临界资源的类 C 伪代码实现如下：

则并发执行进程P0和P1时产生的情形是

A. 不能保证进程互斥进入临界区，会出现“饥饿”现象
B. 不能保证进程互斥进入临界区，不会出现“饥饿”现象
C. 能保证进程互斥进入临界区，会出现“饥饿”现象
D. 能保证进程互斥进入临界区，不会出现“饥饿”现象