浙大远程操作系统原理离线作业及答案详解.doc

操作系统原理离线作业 一、题 进程P0和P1的共享变量定义及其初值为 boolean flag[2]； int turn=0； flag[0]=FALSE；flag[1]=FALSE； 若进程P0和P1访问临界资源的类C代码实现如下： void P0() //P0进程 { while（TURE）{ flag[0]=TRUE; turn = 1; while (flag[1] turn == 1) ; 临界区; flag[0] = FALSE; } } void P1() //P1进程 { while（TURE）{ flag[1]=TRUE; turn = 0; while (flag[0] turn == 0) ; 临界区; flag[1] = FALSE; } } A.不能保证进程互斥进入临界区、会出现“饥饿”现象 B.不能保证进程互斥进入临界区、不会出现“饥饿”现象 C.能保证进程互斥进入临界区、会出现“饥饿”现象 D．能保证进程互斥进入临界区、不会出现“饥饿”现象 2.有两个进程P1和P2描述如下: shared data： int counter = 6; P1 : Computing; counter=counter+1; P2 : Printing; counter=counter-2; 两