Sequentielle Konsistenz
aus Wikipedia, der freien Enzyklopädie
Sequentielle Konsistenz (engl. sequential consistency) ist ein Konsistenzmodell für das Speichersystem von Mehrprozessorsystemen.
Sie ist durch folgende Eigenschaft definiert:
“the result of any execution is the same as if the operations of all the processors were executed in some sequential order, and the operations of each individual processor appear in this sequence in the order specified by its program.”
„Das Ergebnis einer Ausführung ist dasselbe wie wenn die Befehle aller Prozessoren in einer beliebigen aber festen sequentiellen Reihenfolge ausgeführt würden und die Befehle jedes einzelnen Prozessors werden in der durch das Programm vorgegebenen Reihenfolge ausgeführt.“
Jeder einzelne Prozessor führt also die Befehle in genau der Reihenfolge aus, in der sie im Programm festgelegt sind. Dagegen gibt es keine Aussage zur Reihenfolge der Befehle verschiedener Prozessoren, wie folgendes Beispiel verdeutlicht: Sequentielle Konsistenz führt dazu, dass Speicheroperationen (Lesen, Schreiben) atomar erscheinen.[2]
Damit ein Mehrprozessorsystem sequentielle Konsistenz aufweist, müssen folgende Bedingungen erfüllt sein:[1]
- Jeder Prozessor führt Speicherzugriffe in der durch das Programm vorgegebenen Reihenfolge aus.
- Speicherzugriffe von allen Prozessoren auf ein und dieselbe Speicherzelle werden in FIFO-Reihenfolge bedient.
Die Eigenschaft der sequentiellen Konsistenz kann durch einen Schalter modelliert werden, der zu jedem Zeitpunkt einen der Prozessoren mit dem Speicher verbindet.[2] Alle Prozessoren arbeiten ihr jeweiliges Programm sequentiell ab und der Schalter sorgt für die Serialisierung der Speicherzugriffe der Prozessoren.
Einzelnachweise
[Bearbeiten | Quelltext bearbeiten]- ↑ a b Leslie Lamport: How to Make a Multiprocessor Computer That Correctly Executes Multiprocess Programs. In: IEEE Transactions on Computers C-28. Band 9, September 1979 (microsoft.com [abgerufen am 25. November 2017]).
- ↑ a b Sarita V. Adve, Kourosh Gharachorloo: Shared Memory Consistency Models: A Tutorial. Hrsg.: Western Research Laboratory. 1995.
Text is available under the CC BY-SA 4.0 license; additional terms may apply.
Images, videos and audio are available under their respective licenses.
