Sequentielle Konsistenz

Sequentielle Konsistenz (engl. sequential consistency) ist ein 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.“ – Leslie Lamport: How to Make a Multiprocessor Computer That Correctly Executes Multiprocess Programs 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. Damit ein Mehrprozessorsystem sequentielle Konsistenz aufweist, müssen folgende Bedingungen erfüllt sein: * 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. Alle Prozessoren arbeiten ihr jeweiliges Programm sequentiell ab und der Schalter sorgt für die Serialisierung der Speicherzugriffe der Prozessoren.