并发执行的条件:达到封闭性和可再现性 并发执行失去封闭性的原因是共享资源的影响,去掉这种影响 就行了。1966年,由 Bernstein给出并发执行的条件。(这里没 有考虑执行速度的影响。) 程序P(i)针对共享变量的读集和写集 R(i)和W(i 条件:任意两个程序P(i)和P(j),有: R(1)W(=① WOnRO=o W(W=① 前两条保证一个程序的两次读之间数据不变化;最后一条 保证写的结果不丢掉 现在的问题是这个条件不好检查。并发执行的条件：达到封闭性和可再现性 • 程序 P(i) 针对共享变量的读集和写集 R(i)和W(i) • 条件：任意两个程序P(i)和P(j)，有： – R(i)W(j)=; – W(i)R(j)=; – W(i)W(j)=; 并发执行失去封闭性的原因是共享资源的影响，去掉这种影响 就行了。1966年，由Bernstein给出并发执行的条件。（这里没 有考虑执行速度的影响。） 前两条保证一个程序的两次读之间数据不变化；最后一条 保证写的结果不丢掉。 现在的问题是这个条件不好检查