Causal Consistency
Kausale Konsistenz garantiert, dass kausal verwandte Operationen in kausaler Reihenfolge sichtbar werden, während unabhängige nebenläufige Operationen in beliebiger Reihenfolge gesehen werden können.
Zweck
Eine stärkere Garantie als eventual consistency in Szenarien bieten, die kausale Korrektheit, aber keine starke Konsistenz benötigen.
Mechanismus
Vektoruhren oder Versionsvektoren verfolgen die Kausalität. Wenn Operation A kausal vor B liegt (B hat den von A geschriebenen Wert gelesen oder erfahren), sehen alle Knoten A vor B. Nebenläufige Operationen können in unterschiedlichen Reihenfolgen erscheinen.
Anwendungsfälle
- Kollaboratives Bearbeiten
- Soziale Kommentarsysteme
- Verfolgung der Kausalhistorie