典型问题.doc

.1.有一个盒子，混装了数量相等的围棋白子和黑子。现在要用自动分拣系统把白子和黑子分开。设系统有两个进程P1和P2，其中P1拣白子，P2拣黑子。当一个进程在拣子时，不允许另一进程去拣。试写出这两个并发进程能正确执行的程序。beginmutex := 1;cobeginP1:beginrepeat P(mutex); 拣白子； V(mutex);until falseendP2:beginrepeat P(mutex); 拣黑子； V(mutex);until falseendcoendend加上“当以一进程拣了一子时，必须让另一个进程去拣”条件：设置两个信号量S1和S2来协调进程P1和P2之间的同步。假定先让P1拣白子，则信号量S1和S2的初值分别为1和0。两个并发进程相应的程序如下：beginS1 :=1; S2 := 0;cobeginP1:beginrepeat P(S1); 拣白子； V(S2);until