Bernstein-Bedingung

Die Bernstein-Bedingung ist ein Begriff aus der Informatik, speziell aus dem Bereich Multiprocessing, und beschreibt, unter welchen Bedingungen zwei Programmabschnitte bei paralleler Ausführung das gleiche Ergebnis wie bei sequentieller Ausführung produzieren.

Gegeben seien zwei Programmabschnitte $P_1$ und $P_2$. Die Menge der Variablen, auf die Abschnitt $P_i$ lesend zugreift, sei mit $I_i$ gegeben. Analog dazu bezeichnet $O_i$ die Mengen der Variablen, die von Abschnitt $P_i$ während der Ausführung verändert werden.

Die Bernstein-Bedingung besagt nun, dass die Abschnitte $P_1$ und $P_2$ genau dann parallel ausgeführt werden können, ohne dass dies das Ergebnis dieser oder nachfolgender Berechnungen ändert, wenn

• $I_1\cap O_2=\mathrm{\varnothing }$,
• $I_2\cap O_1=\mathrm{\varnothing }$, und
• $O_1\cap O_2=\mathrm{\varnothing }$

gilt.

Siehe auch

• Nebenläufigkeit
• Parallele Programmierung

Literatur

• Vorlage:Literatur