试利用Bernstein条件证明上题中的S2和S3语句是可以并发执行的,而S3和S4语句是不能并发执行的?
试利用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条件,是不能并发执行的.
词条内容仅供参考,如果您需要解决具体问题
(尤其在法律、医学等领域),建议您咨询相关领域专业人士。
