Causal consistency

Causal consistency

This is a consistency model where a system is causally consistent if, for any two operations op1 and op2, where op1 causally precedes op2, then every process that observes op2 must have already observed op1.