Revision history [back]

Linearizability is a property of concurrent programming in which concurrent operations appear to happen in a linear order for all observers. This means that the result of any operation should be equivalent to the result of all its sequential versions. In other words, linearizability ensures that the operations performed on a concurrent system appear to be executed serially, even though they are actually executed in parallel. This makes it easier to reason about the behavior of concurrent systems and ensures that they behave correctly.