下面是两个并发执行的进程。它们能正确执行吗若不能，试举例说明，并修改之。
Cobegin
Var x: integer;
Process P1
Var y, z:integer;
Begin
x:=1;
y"=0;
If X＞=1 then y:=y+1;
z:=y;
End
Process P2
Var t, u:integer;
Begin
x:=0;
t:=0;
If x＜1 then t:=t+2;
u:=t;
End
Coend
参考答案：PA和PB是两个并发进程，它们不能正确执行，可能导致结果的不确定性，如：
进程PA 进程PB
(A)x:=A (a)x:=0
(B)y:=0 (b)t:=0
(C)if x＞=A then y:=y+A (c)if x＜A then t:=t+B
(D)z:=y (d)u:=t
如果PA和PB按顺序执行，即(A)(D)(a)(d)，则结果为：
y=A，z=A，t=B，u=B
如果执行顺序是：(A)(B)(a)(b)(C)(D)(c)(d)，则结果为：
y=0，z=0，t=B，u=B
结果不确定性的原因在于使用了公共变量，要求PA和PB必须互斥执行，对程序修改如下：
Cobegin
Var x:integer; s:semaphore;
s:=A
Process PA
Var y, z:integer;
Begin
p(s);
x:=A;
y:=0;
if x＞=A then y:=y+A;
v(s);
z:=y;
End
Process PB
Var t, u:integer;
Begin
p(s);
x:=0;
t:=0;
if x＜A then t:=t+B;
v(s);
u:=t;
End
Coend