试利用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条件，是不能并发执行的.