单项选择题

有两个并发进程如下面所示,对于这段程序的运行,正确的说法是______。
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.程序不能正确运行,可能会死锁