找考题网-背景图
问答题

简答题 试利用Bernstein条件证明上题中的S2和S3语句是可以并发执行的,而S3和S4语句是不能并发执行的?

【参考答案】

证明:
R(S2)={x,a},W(S2)={b},R(S3)={x},W(S3)={c};
可见,S2与S3的读集与写集两两不相交,S2与S3的读集之间也不相交,因而,他们满足Bernstein条件,S2与S3语句是可以并发执行的.
同理可证S3和S4不能满足Bernstein条件,是不能并发执行的.