Linearizability

Known as: Uninterruptibility (programming), Atomic operations, Atomicity 
In concurrent programming, an operation (or set of operations) is atomic, linearizable, indivisible or uninterruptible if it appears to the rest of… (More)
Wikipedia

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2015
2015
Linearizability of concurrent data structures is usually proved by monolithic simulation arguments relying on identifying the so… (More)
Is this relevant?
2011
2011
Concurrent objects are inherently complex to verify. In the late 80s and early 90s, Herlihy and Wing proposed linearizability as… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
Highly Cited
2010
Highly Cited
2010
This technical report presents a practical automatic verification procedure for proving linearizability (i.e., atomicity and… (More)
  • figure 1
  • figure 2
  • figure 3
Is this relevant?
Highly Cited
2010
Highly Cited
2010
Modular development of concurrent applications requires thread-safe components that behave correctly when called concurrently by… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
2010
2010
We present a proof of safety and linearizability of a highly-concurrent optimistic set algorithm. The key step in our proof is… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
Is this relevant?
Highly Cited
2009
Highly Cited
2009
Non-blocking concurrent algorithms offer significant performance advantages, but are very difficult to construct and verify. In… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
Highly Cited
2007
Highly Cited
2007
Linearizability is one of the main correctness criteria for implementations of concurrent data structures. A data structure is… (More)
Is this relevant?
Highly Cited
1994
Highly Cited
1994
The power of two well-known consistency conditions for shared-memory multiprocessors, sequential consistency and linearizability… (More)
  • figure 2
  • figure 6
Is this relevant?
Highly Cited
1991
Highly Cited
1991
A systematic procedure is developed for the design of new adaptive regulation and trackdng schemes for a class of feedback… (More)
Is this relevant?
Highly Cited
1990
Highly Cited
1990
A concurrent object is a data object shared by concurrent processes. Linearizability is a correctness condition for concurrent… (More)
  • figure 1
  • figure 4
  • figure 5
Is this relevant?