問答題

【案例分析題】

假如有以下程序段,回答下面的問題。
S1: a=3-x;
S2: b=2*a;
S3: c=5+a;

利用Bernstein 條件證明,S1、S2和S3哪兩個可以并發(fā)執(zhí)行,哪兩個不能。

答案: R(s1)={x},W(s1)={a};R(s2)={a},W(s2)=;R(s3)={a},W(s3)={c};...
微信掃碼免費搜題