进程P0和进程P1的共享变量定义及其初值为:Boolean flag2];Int turn=0;Flag0]=false; flagl1]=false;若进程P0和进程P1访问临界资源的类C代码实现如下:Vold P0() //进程P0{Whlle(true){Flag0]=true;turn=1;While(flag1]&&(turn==1));临界区;Flagl0]=false;}}Vold P1()//进程P1{Whilel(true){Flagl]=true; turn=0;While(flag0]&&(turn=0));临界区;Flag1]=false;}}则并发执行进程P0和进程P1时产生的情况是( ).
选项：

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