Cohérence causale Causal consistency
Un modèle de cohérence qui ne garantit l'ordre qu'entre des opérations liées causalement (si A a causé B, tout le monde voit A avant B), tandis que des opérations sans lien de causalité peuvent être vues dans des ordres différents selon les nœuds. Le modèle le plus fort compatible avec une haute disponibilité en cas de partition réseau.
L'idée : tous les événements n'ont pas besoin d'un ordre global — seulement ceux qui entretiennent un rapport de cause à effet. Si vous publiez quelque chose (A) et que quelqu'un répond (B), tout le monde doit voir A avant B (sinon la réponse s'affiche sans la question). Mais deux publications sans rapport (concurrentes) peuvent apparaître dans n'importe quel ordre selon les utilisateurs — cela n'a aucune importance. Le suivi passe par des horloges vectorielles ou un suivi de dépendances.
Le bénéfice : assez fort pour éviter les anomalies les plus déroutantes (« voir une réponse mais pas la question »), assez faible pour rester disponible en cas de partition (contrairement à la linéarisabilité, que le théorème CAP interdit alors). Utilisé dans COPS, dans les sessions causales de MongoDB, et par défaut dans bien des systèmes modernes.