Causal Consistency
La consistencia causal garantiza que las operaciones relacionadas causalmente se hacen visibles en orden causal, mientras que las operaciones concurrentes no relacionadas pueden verse en cualquier orden.
Propósito
Ofrecer una garantía más fuerte que la consistencia eventual en escenarios que necesitan corrección causal pero no consistencia fuerte.
Mecanismo
Los relojes vectoriales o vectores de versiones rastrean la causalidad. Si la operación A precede causalmente a B (B leyó o conoció el valor que A escribió), todos los nodos ven A antes que B. Las operaciones concurrentes pueden aparecer en órdenes distintos.
Casos de uso
- Edición colaborativa
- Sistemas de comentarios sociales
- Seguimiento del historial causal