清华大学出版社 000000 TSINGHUA UNIVERSITY PRESS W(Si=(b1 b2. bn), bjJ=1 是语句S在执行期间必须对其进行修改、访问的变量 如果对于语句S1和S2,有 ①R(S)∩W(S2)={$}, ②W(S1)nR(S2)={∮}, ③W(S1)∩W(S2)={∮}同时成立,则语句S和S2是 可以并发执行的。W(Si)={b1 b2 … bn}，bj(j=1，…，n) 是语句Si在执行期间必须对其进行修改、访问的变量； 如果对于语句S1和S2，有 ① R(S1)∩ W(S2)={∮}， ② W(S1)∩ R(S2)={∮}， ③ W(S1)∩ W(S2)={∮} 同时成立，则语句S1和S2是 可以并发执行的