問(wèn)答題

假如有以下程序段，回答下面的問(wèn)題。 
S1：  a=3-x； 
S2：  b=2*a； 
S3：  c=5+a；

并發(fā)程序執(zhí)行的Bernstein 條件是什么？

參考答案： 若P1與P2R并發(fā)執(zhí)行，當(dāng)且僅當(dāng) R(P1)∩W(P2)∪R(P2)∩W(P1)∪W(P1)∩W(P2)={}時(shí)才滿(mǎn)足。