Bernstein 条件

令 为程序 在执行期间引用的变量集， 为程序 在执行期间改变的变量集。若两个程序的变量集交集之和为空集

则并发进程的执行与时间无关。称此条件为「Bernstein 条件」例如有四条如下语句

S1: a:=x+y
S2: b:=z+1
S3: c:=a-b
S4: z:=c+a
复制

于是有

由此可知， 和 满足 Bernstein 条件，可并发执行，而其他语句并发执行可能产生与时间有关的错误。