进行P0和P1的共享变量定义及其初值为（） boolean flag[2]； int turn=0； flag[0]=faulse；flag

[1]=faulse； 若进行P0和P1访问临界资源的类C代码实现如下： Void p0（）// 进程p0Void p1（）// 进程p1 {while（TURE）}{while（TURE）} Flag[0]=TURE;ture=1Flag[1]=TURE; ture=1 While（flag[1]（turn==1）） While （flag[0]（turn==0）） 临界区： Flag[0]=FALSE;Flag[1]=FALSE; } } } } 则并发执行进程P0和P1时产生的情况是：

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

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

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

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