问题
单项选择题
有两个优先级相同的并发程序P1和P2，它们的执行过程如下所示。假设，当前信号量s1=0，s2=0。当前的z=2，进程运行结束后，x、y和z的值分别是( )。
答案
参考答案：C
解析：由于进程并发，所以进程的执行具有不确定性，在P1、P2执行到第一个P、V操作前，应该是相互无关的。现在考虑第一个对s1的P、V操作，由于进程P2是P(s1)操作，所以它必须等待P1执行完V(s1)操作以后才可继续运行，此时的x、y、z值分别是3、3、4，当进程P1执行完V(s1)以后便在P(s2)上阻塞，此时P2可以运行直到V(s2)，此时的x、y、z值分别是5、3、9，进程P1继续运行到结束，最终的x、y、z值分别为5、12、9。