Question

画出具有三个基本状态的进程转换图。

Answer 1

阻碍 就绪 执行 三者之间的关系

Answer 2

S1: a=x+y；
　　S2: b=z+1；
　　S3: c=a-b；
　　S4: w=c+1；

　　它们的读集和写集分别如下：
　　R(S1)={x,y},W(S1)={a}
　　R(S2)={z},W(S2)={b}
　　R(S3)={a,b},W(S3)={c}
　　R(S4)={c},W(S4)={w}

　 可见S1和S2两条语句满足Bernstein条件，它们可以并发执行。而S1和S3则不满足条件，因为R(S3)∩W(S1)={a}，所以不能并发执行。S2和S3也不能并发执行，因为W(S2)∩R(S3)={b}；同理，S3和S4也不能并发执行，因为R(S4)∩W(S3)={c}。