Bernstein-Bedingung

Die Bernstein-Bedingung ist ein Begriff aus der Informatik, speziell der Betriebssystemtheorie. Sie ist erfüllt, wenn zwei Prozesse vollständig unabhängig voneinander ausgeführt werden können, da sie nicht auf Speicherdaten des jeweils anderen zugreifen, und wenn auch alle folgenden Prozesse unabhängig von diesen Prozessen ausgeführt werden können. Damit ist es auch unerheblich, in welcher Reihenfolge diese Prozesse ausgeführt werden.

Annahmen:

• 2 Tasks T1 und T2
• Eingangsvariablen: I1 & I2
• Ausgangsvariablen: O1 & O2

Bernstein-Bedingung:

Zwei Tasks können genau dann parallel ausgeführt werden (T1||T2) wenn gilt:

I1 ∩ O2 = I2 ∩ O1 =O1 ∩ O2 = leere Menge

Siehe auch

• Nebenläufigkeit
• Parallele Programmierung