Linearizability
Notes
- Linearizability is a correctness condition for ordering that establishes that each operation shall appear to be applied instantaneously at a certain point in time between its invocation and its response. Consistency in Non-Transactional Distributed Storage Systems. Paolo Viotti, and Marko Vukolić. 2016
- Linearizability features a locality property: a composition of linearizable objects is itself linearizable – hence, linearizability enables modular design and verification.
- Also known as strong consistency1.
Footnotes:
1
Sometimes even sequential consistency is known as Strong consistency. - Consistency in Non-Transactional Distributed Storage Systems. Paolo Viotti, and Marko Vukolić. 2016