Die Bernstein-Bedingung
Wie findet man möglichst kleine kritische Bereiche? Man kann umgekehrt fragen, wann Anweisungen A1,...,An gefahrlos parallel ausgeführt werden können. Dies ist dann der Fall, wenn sie konfliktfrei sind, d.h. für i?j keine in Ai gelesene oder geschriebene Variable in Aj geschrieben wird (Bernstein 1966).
Diese hinreichende Bedingung ist aber nicht notwendig, wie die Anweisungen { int z = 0 ; y = z*x ; } und x = 17 zeigen.