In der Informatik werden Konsistenz-Modelle in verteilten Systemen wie verteilte geteilte Speichersysteme oder verteilte Datenläden (wie ein filesystems, Datenbanken, optimistische Erwiderungssysteme oder das Webverstecken) verwendet. Die Systembetreuungen ein gegebenes Modell, wenn Operationen auf dem Gedächtnis spezifischen Regeln folgen. Das Datenkonsistenz-Modell gibt einen Vertrag zwischen Programmierer und System an, worin das System versichert, dass, wenn der Programmierer den Regeln folgt, Gedächtnis entsprechen wird und die Ergebnisse von Speicheroperationen voraussagbar sein werden.

Hohe Sprachen, wie C, C ++, und Java, erhalten teilweise den Vertrag durch das Übersetzen von Speicheroperationen in auf niedriger Stufe Operationen in einem Weg aufrecht, der Speichersemantik bewahrt. Um am Vertrag zu halten, können Bearbeiter einige Speicherinstruktionen und Bibliotheksanrufe wiederbestellen, die erforderliche Synchronisation kurz zusammenfassen.

Das Überprüfen folgender Konsistenz ist im Allgemeinen sogar für Zustandsprotokolle der Kohärenz des geheimen Lagers unentscheidbar.

Konsistenz-Modelle definieren Regeln für die offenbare Ordnung und Sichtbarkeit von Aktualisierungen, und es ist ein Kontinuum mit Umtauschen.

Beispiel

Nehmen Sie an, dass der folgende Fall vorkommt:

• Die Reihe X wird auf Knoten M und N wiederholt
• Der Kunde A schreibt Reihe X dem Knoten N
• Nach einer Zeitspanne t liest Kunde B Reihe X vom Knoten M

Das Konsistenz-Modell muss bestimmen, ob Kunde B wirklich das Schreiben vom Kunden A sieht oder nicht.

Typen

Eine nichterschöpfende Liste von Konsistenz-Modellen ist

• kausale Konsistenz
• Delta-Konsistenz
• Zugang-Konsistenz
• schließliche Konsistenz
• Gabel-Konsistenz
• linearizability (auch bekannt als strenge oder atomare Konsistenz)
• eine Kopie serializability
• PRAHM-Konsistenz (auch bekannt als FIFO Konsistenz)
• Ausgabe-Konsistenz
• folgende Konsistenz
• serializability
• Vektorfeld-Konsistenz
• schwache Konsistenz
• starke Konsistenz

Siehe auch

• Kohärenz des geheimen Lagers
• Verteiltes geteiltes Gedächtnis
• Ungleichförmiger Speicherzugang

Weiterführende Literatur

• (enthält viele wertvolle Verweisungen)

Außenverbindungen

• Konsistenz-Modelle
• IETF lässt gleiten
• Gedächtnis, das in modernen Mikroprozessoren, erstem Teil und zweitem Teil, durch Paul E. McKenney (2005) bestellt. Linux Zeitschrift