imported>Aka: Tippfehler entfernt | ☼

2016-05-14T08:50:45Z

Tippfehler entfernt | ☼

Neue Seite

Die '''Bernstein-Bedingung''' ist ein Begriff aus der [[Informatik]], speziell aus dem Bereich [[Mehrprozessorsystem#Multiprocessing|Multiprocessing]], und beschreibt, unter welchen Bedingungen zwei [[Computerprogramm|Programm]]<nowiki />abschnitte bei paralleler Ausführung das gleiche Ergebnis wie bei sequentieller Ausführung produzieren.

Gegeben seien zwei Programmabschnitte <math>P_1</math> und <math>P_2</math>. Die Menge der [[Variable (Programmierung)|Variablen]], auf die Abschnitt <math>P_i</math> lesend zugreift, sei mit <math>I_i</math> gegeben. Analog dazu bezeichnet <math>O_i</math> die Mengen der Variablen, die von Abschnitt <math>P_i</math> während der Ausführung verändert werden.

Die Bernstein-Bedingung besagt nun, dass die Abschnitte <math>P_1</math> und <math>P_2</math> genau dann parallel ausgeführt werden können, ohne dass dies das Ergebnis dieser oder nachfolgender Berechnungen ändert, wenn
* <math>I_1 \cap O_2 = \emptyset</math>,
* <math>I_2 \cap O_1 = \emptyset</math>, und
* <math>O_1 \cap O_2 = \emptyset</math>
gilt.<ref>{{Literatur|Titel=A Practical Programming Model for the Multi-Core Era - Springer|Herausgeber=B. Chapman, G. R. Gao, M. Sato, E. Ayguadé, D. Wang|Verlag=Springer-Verlag|Jahr=2008|Seiten=200|DOI=10.1007/978-3-540-69303-1|Online={{Google Buch| BuchID=LmhqCQAAQBAJ | Seite=200 }}}}</ref>

== Siehe auch ==
* [[Nebenläufigkeit]]
* [[Parallele Programmierung]]

== Literatur ==
* {{Literatur|Autor = A. J. Bernstein|Titel = Analysis of Programs for Parallel Processing|Sammelwerk = IEEE Transactions on Electronic Computers|Band = EC-15|Nummer = 5|Jahr = 1966-10-01|Seiten = 757–763|ISSN = 0367-7508|DOI = 10.1109/PGEC.1966.264565}}

== Einzelnachweise ==
<references />
[[Kategorie:Betriebssystemtheorie]]
[[Kategorie:Parallelverarbeitung]]

Bernstein-Bedingung - Versionsgeschichte

imported>Aka: Tippfehler entfernt | ☼