Strong Consistency
La cohérence forte garantit que les lectures renvoient toujours la valeur écrite le plus récemment ; la linéarisabilité en est la forme la plus forte.
Objectif
Exiger que les lectures voient toutes les écritures précédemment confirmées, pour des scénarios strictement cohérents comme les transactions financières.
Mécanisme
Linéarisabilité : dès qu'une écriture est terminée, toutes les lectures voient la nouvelle valeur. Implémentée via réplication synchrone (Quorum W+R>N), protocoles de consensus (Paxos/Raft) ou verrous globaux. Le coût est une latence accrue et une disponibilité réduite.
Cas d’usage
- Conception de systèmes financiers
- Implémentation de la linéarisabilité
- Réplication synchrone