单项选择题
有2个优先级相同的并发进程P1和P2，它们的执行过程如下图所示，x、y和z是共享变量。假设，当前信号量s1=0，s2=0，已知z=2，进程运行结束后，则x、y和z的可能值分别是( )。
A．8、7和4
B．5、7和4
C．5、8和9
D．以上都不是
B．5、7和4
C．5、8和9
D．以上都不是