linearizability concept
The strongest single-object consistency model.
The strongest single-object consistency model. Every operation appears to take effect at some single point between its invocation and response, and that point order is consistent with real-time order. Reads see writes that completed before the read started; concurrent operations may interleave but always look serial. Linearizability is what you want when correctness depends on 'most recent value' (locks, leader election, unique constraints) — and the cost is rejecting reads/writes during a partition (the C in CAP). Strong consistency in casual conversation usually means linearizability or close to it.
Strongest single-object consistency. After a write completes, all reads see it. Behaves as if there's a single copy. Expensive — usually requires consensus per operation.