Linearizability: A Correctness Condition for Concurrent Objects

@article{Herlihy1990LinearizabilityAC,
  title={Linearizability: A Correctness Condition for Concurrent Objects},
  author={Maurice Herlihy and Jeannette M. Wing},
  journal={ACM Trans. Program. Lang. Syst.},
  year={1990},
  volume={12},
  pages={463-492}
}
A concurrent object is a data object shared by concurrent processes. Linearizability is a correctness condition for concurrent objects that exploits the semantics of abstract data types. It permits a high degree of concurrency, yet it permits programmers to specify and reason about concurrent objects using known techniques from the sequential domain. Linearizability provides the illusion that each operation applied by concurrent processes takes effect instantaneously at some point between its… CONTINUE READING
Highly Influential
This paper has highly influenced 224 other papers. REVIEW HIGHLY INFLUENTIAL CITATIONS
Highly Cited
This paper has 3,129 citations. REVIEW CITATIONS
Recent Discussions
This paper has been referenced on Twitter 9 times over the past 90 days. VIEW TWEETS

Citations

Publications citing this paper.
Showing 1-10 of 1,922 extracted citations

3,129 Citations

0100200300'90'96'03'10'17
Citations per Year
Semantic Scholar estimates that this publication has 3,129 citations based on the available data.

See our FAQ for additional information.

References

Publications referenced by this paper.
Showing 1-3 of 3 references

Similar Papers

Loading similar papers…