Strong Consistency
Starke Konsistenz garantiert, dass Lesevorgänge immer den zuletzt geschriebenen Wert liefern; Linearisierbarkeit ist ihre stärkste Form.
Zweck
Verlangen, dass Lesevorgänge alle zuvor bestätigten Schreibvorgänge sehen, für streng konsistente Szenarien wie Finanztransaktionen.
Mechanismus
Linearisierbarkeit: Sobald ein Schreibvorgang abgeschlossen ist, sehen alle Lesevorgänge den neuen Wert. Implementiert über synchrone Replikation (Quorum W+R>N), Konsensprotokolle (Paxos/Raft) oder globale Sperren. Der Preis: höhere Latenz und geringere Verfügbarkeit.
Anwendungsfälle
- Design von Finanzsystemen
- Implementierung der Linearisierbarkeit
- Synchrone Replikation