WebGlossary.info
Linearizability
- An attribute of an operation that consists of an ordered list of invocation and response events which may be extended by adding response events so that the extended list can be re-expressed as a sequential history (i.e., is serializable), and that the sequential history is a subset of the original unextended list. Linearizability is important in concurrent systems where objects may be accessed by multiple processes at the same time, and where a programmer needs to be able to reason about the expected results. It was first introduced as a consistency model in 1987 by Maurice Herlihy and Jeannette Wing. ← Wikipedia
- Previous term: Linear responsibility chart
- Next term: Lines of code
- Random term: 451