阻碍 就绪 执行 三者之间的关系
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}。
内容全部来源于网络收集，如有侵权，请联系网站删除：QQ：24596024