What are the goals of linearizability?

Every operation takes effect atomically
All operations behave as if executed on a single copy of the data
All nodes ovserve the system in an up-to-date state
They do not read stale (outdated) data (strong consistency)

If two clients C(a) and C(b) ask two replicas R(a) and R(b) the same question, they get the same answer all the time.

A linearizable system guarantees this for all nodes, all the time

Diskussion