Consistency models
Listed inCAP and Consistency ModelsDistributed Systemson
Jepsen maps the whole lattice, from linearizable down to eventual, and shows exactly which anomalies each level still permits.
External
Jepsen · jepsen.io#distributed
#correctness