进程P0和进程P1的共享变量定义及其初值为Boolean tlag[2];
Int turn= 0;
Flag[0]=false;flaq[1]=false;
若进行P0和P1访问临界资源的类C代码实现如下:
Void P0()//进程P0void Pl()//进程P1
While(true)while( true)
{flag[ 0]=true;{flag[ 1]=true;
Turn=1;turn=0;
While(flag[ 1]&&( turn==1))while( flag[ 0] &&(turn =0))
临界区;临界区;
Flag[0]= false;flag[1]= false;
}}
则下列选项表达正确的是( )。