有两个并发进程如下面所示,对于这段程序的运行,正确的说法是( )。 PARBEGIN var x:integer; process P1 process P2 var y,z:integer; var t,u:integer; BEGIN BEGIN 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; END END PAREND
A.程序能正确运行,结果唯一
B.程序不能正确运行,可能有二种结果
C.程序不能正确运行,结果不确定
D.程序不能正确运行,可能会死锁