【正确答案】P₁和P₂是两个并发进程，它们不能正确执行，可能导致结果的不确定性，如：
进程P₁ 进程P₂
(1)x:=1 (a)x:=0
(2)y:=0 (b)t:=0
(3)if x＞=1 then y:=y+1 (c)if x＜1 then t:=t+2
(4)z:=y (d)u:=t
如果P₁和P₂按顺序执行，即(1)(4)(a)(d)，则结果为：
y=1，z=1，t=2，u=2
如果执行顺序是：(1)(2)(a)(b)(3)(4)(c)(d)，则结果为：
y=0，z=0，t=2，u=2
结果不确定性的原因在于使用了公共变量，要求P₁和P₂必须互斥执行，对程序修改如下：
Cobegin
Var x:integer; s:semaphore;
s:=1
Process P₁
Var y, z:integer;
Begin
p(s);
x:=1;
y:=0;
if x＞=1 then y:=y+1;
v(s);
z:=y;
End
Process P₂
Var t, u:integer;
Begin
p(s);
x:=0;
t:=0;
if x＜1 then t:=t+2;
v(s);
u:=t;
End
Coend