试利用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条件，是不能并发执行的.
R（S2）={x，a}，W（S2）={b}，R（S3）={x}，W（S3）={c}；
可见，S2与S3的读集与写集两两不相交，S2与S3的读集之间也不相交，因而，他们满足Bernstein条件，S2与S3语句是可以并发执行的.
同理可证S3和S4不能满足Bernstein条件，是不能并发执行的.
答案解析:有
微信扫一扫手机做题