Which Consistency Guarantee Do You Actually Need? — Linearizable, Weak, or Eventual

Which Consistency Guarantee Do You Actually Need? — Linearizable, Weak, or Eventual A workflow diagram generated by Archify. 01 / Decision 02 / Linearizable 03 / Weak but sufficient 04 / Eventual is fine Requirement Review · what must readers see? · Decision · goal: weakest sufficient Requirement Review what must readers see? goal: weakest sufficient Causal sanity per user? · read-own-writes, monotonic · Decision · decide Causal sanity per user? read-own-writes, monotonic decide Need the latest value? · lock, lease, seat, balance · Decision · decide Need the latest value? lock, lease, seat, balance decide Cross-channel timing? · queue + storage share fact · Decision · decide Cross-channel timing? queue + storage share fact decide Hard constraint? · uniqueness, balance, seat · Decision · decide Hard constraint? uniqueness, balance, seat decide Linearizable storage · or read-your-writes channel · Linearizable · cross-channel fix Linearizable storage or read-your-writes channel cross-channel fix Consensus-backed CAS · Raft, Paxos, ZooKeeper · Linearizable · etcd / Consul Consensus-backed CAS Raft, Paxos, ZooKeeper etcd / Consul Cost: quorum latency · latency ≥ network delay · Linearizable · Attiya-Welch bound Cost: quorum latency latency ≥ network delay Attiya-Welch bound Timestamp oracle · or single-node CAS · Linearizable · single writer Timestamp oracle or single-node CAS single writer Logical clock IDs · Lamport / hybrid clocks · Weak but sufficient · causal order Logical clock IDs Lamport / hybrid clocks causal order Weak guarantees · read-your-writes, monotonic · Weak but sufficient · consistent prefix Weak guarantees read-your-writes, monotonic consistent prefix Weak guarantees suffice · timestamps for ordering · Weak but sufficient · freshness only Weak guarantees suffice timestamps for ordering freshness only Eventual consistency · multi-leader / leaderless · Eventual is fine · offline-friendly Eventual consistency multi-leader / leaderless offline-friendly or no yes no yes yes no no yes assess Legend Agent logic Context / trace External system