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. [1]
- 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. - [1]