Strong Consistency
La consistencia fuerte garantiza que las lecturas devuelvan siempre el valor escrito más recientemente; la linealizabilidad es su forma más fuerte.
Propósito
Exigir que las lecturas vean todas las escrituras confirmadas previamente, para escenarios estrictamente consistentes como transacciones financieras.
Mecanismo
Linealizabilidad: una vez completada una escritura, todas las lecturas ven el nuevo valor. Se implementa con replicación síncrona (Quorum W+R>N), protocolos de consenso (Paxos/Raft) o bloqueos globales. El coste es mayor latencia y menor disponibilidad.
Casos de uso
- Diseño de sistemas financieros
- Implementación de linealizabilidad
- Replicación síncrona