有两个并发进程如下面所示,对于这段程序的运行,正确的说法是( )。
PARBEGIN
var x:integer;
process P1 process P2
var y,z:integer; var t,u:integer;
BEGINBEGIN
x:=1; x:=0;
y:=0 t:=0
if x>=1 then y:=y+1; if x<=1 then t:=t+2;
z:=y; u:=t;
ENDEND
PAREND
A.程序能正确运行,结果唯一
B.程序不能正确运行,可能有二种结果
C.程序不能正确运行,结果不确定
D.程序不能正确运行,可能会死锁