Causal Consistency
La cohérence causale garantit que les opérations liées causalement deviennent visibles dans l'ordre causal, tandis que les opérations concurrentes non liées peuvent être vues dans n'importe quel ordre.
Objectif
Offrir une garantie plus forte que la cohérence à terme dans les scénarios qui exigent l'exactitude causale sans cohérence forte.
Mécanisme
Les horloges vectorielles ou vecteurs de versions suivent la causalité. Si l'opération A précède causalement B (B a lu ou appris la valeur écrite par A), tous les nœuds voient A avant B. Les opérations concurrentes peuvent apparaître dans des ordres différents.
Cas d’usage
- Édition collaborative
- Systèmes de commentaires sociaux
- Suivi de l'historique causal