清华大学出版社 000000 TSINGHUA UNIVERSITY PRESS SO Cobegin PI;P2;….Pn Coend Sn 这里,S0,Sn分别表示并发程序段P1,P2,∴,Pn 开始执行前和并发执行结束后的语句。P1, P2,∴,Pn也可以由同一程序段中的不同语句组 成。1966年 bernstein提出了两相邻语句S1,S2可 以并发执行的条件: 将程序中任一语句S划分为两个变量的集合RS)和 W(Si)。其中 R(Si)={ala2…,am},aj(i=1,…,m) 是语句S在执行期间必须对其进行读写的变量;S0 Cobegin P1；P2；... Pn Coend Sn 这里，S0，Sn分别表示并发程序段P1，P2，…，Pn 开始执行前和并发执行结束后的语句。P1， P2，…，Pn也可以由同一程序段中的不同语句组 成。1966年Bernstein 提出了两相邻语句S1，S2可 以并发执行的条件： 将程序中任一语句Si划分为两个变量的集合R(Si)和 W(Si)。其中 R(Si)={a1 a2 … am}，aj(j=1，…，m) 是语句Si在执行期间必须对其进行读写的变量；