A practical wait-free simulation for lock-free data structures

@inproceedings{Timnat2014APW,
  title={A practical wait-free simulation for lock-free data structures},
  author={Shahar Timnat and Erez Petrank},
  booktitle={PPoPP '14},
  year={2014}
}
Lock-free data structures guarantee overall system progress, whereas wait-free data structures guarantee the progress of each and every thread, providing the desirable non-starvation guarantee for concurrent data structures. While practical lock-free implementations are known for various data structures, wait-free data structure designs are rare. Wait-free implementations have been notoriously hard to design and often inefficient. In this work we present a transformation of lock-free algorithms… CONTINUE READING

Figures and Topics from this paper.

Citations

Publications citing this paper.
SHOWING 1-10 OF 31 CITATIONS

Automatic memory reclamation for lock-free data structures

VIEW 10 EXCERPTS
CITES BACKGROUND & METHODS

Making Concurrent Algorithms Detectable

VIEW 6 EXCERPTS
CITES METHODS & BACKGROUND
HIGHLY INFLUENCED

Universally Scalable Concurrent Data Structures

VIEW 6 EXCERPTS
CITES BACKGROUND
HIGHLY INFLUENCED

BiloKey : A Scalable Bi-Index Locality-Aware In-Memory Key-Value Store

  • IEEE Transactions on Parallel and Distributed Systems
  • 2019
VIEW 11 EXCERPTS
CITES BACKGROUND
HIGHLY INFLUENCED

Fast Wait-Free Construction for Pool-Like Objects with Weakened Internal Order: Stacks as an Example

  • IEEE Transactions on Parallel and Distributed Systems
  • 2019
VIEW 6 EXCERPTS
CITES BACKGROUND & METHODS
HIGHLY INFLUENCED

FA-Stack: A Fast Array-Based Stack with Wait-Free Progress Guarantee

  • IEEE Transactions on Parallel and Distributed Systems
  • 2018
VIEW 4 EXCERPTS
CITES BACKGROUND & METHODS
HIGHLY INFLUENCED

An Efficient Practical Concurrent Wait-Free Unbounded Graph

  • 2019 IEEE 21st International Conference on High Performance Computing and Communications; IEEE 17th International Conference on Smart City; IEEE 5th International Conference on Data Science and Systems (HPCC/SmartCity/DSS)
  • 2019
VIEW 3 EXCERPTS
CITES METHODS

Hardlock: Real-time multicore locking

  • Journal of Systems Architecture - Embedded Systems Design
  • 2019
VIEW 1 EXCERPT
CITES BACKGROUND

References

Publications referenced by this paper.
SHOWING 1-4 OF 4 REFERENCES