画出具有三个基本状态的进程转换图。
发布网友
发布时间：2022-05-10 18:17
共1个回答
热心网友
时间：2023-10-21 07:26
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}。
