Glossary · Term

causal consistency

← all terms

Definition

A guarantee in a distributed database that if one event could have caused another, every observer sees them in that order.

A weak distributed-systems consistency model ensuring that operations causally related (via reads-from or program-order) are observed in causal order at all replicas, used as the correctness spec for the Chapar key-value store.

Mentioned in 1 episode

  1. 075
    Growing Code and Proof Together: Verified Systems in Ten Hours Instead of a Year