Linearizability

The strongest consistency model in distributed systems, requiring that every operation appear to take effect atomically at some point between its invocation and its return, and that the global ordering of all operations be consistent with real-time ordering. Once a write succeeds, all subsequent reads must reflect that result.