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

  • 关注下方微信公众号，在线模考后查看

热门试题