A Practical Multi-Word Compare-and-Swap Operation (2002)

Cached

Download Links

by Timothy L. Harris , Keir Fraser , Ian A. Pratt
Venue:In Proceedings of the 16th International Symposium on Distributed Computing
Citations:64 - 5 self

Documents Related by Co-Citation

917 Linearizability: a correctness condition for concurrent objects – Maurice P. Herlihy, Jeannette M. Wing - 1990
167 Obstruction-free synchronization: Double-ended queues as an example – Maurice Herlihy, Victor Luchangco, Mark Moir - 2003
728 Wait-Free Synchronization – Maurice Herlihy - 1993
512 Software Transactional Memory – Nir Shavit, Dan Touitou - 1995
55 The repeat offender problem: A mechanism for supporting dynamic-sized, lock-free data structures – Maurice Herlihy, Victor Luchangco, Mark Moir, Maurice Herlihy, Victor Luchangco, Mark Moir, Maurice Herlihy - 2002
96 Systems programming: Coping with parallelism – R K Treiber - 1986
88 Disjoint-access-parallel implementations of strong shared memory primitives – A Israeli, L Rappoport - 1994
27 Two-Handed Emulation: How to build non-blocking implementations of complex data-structures using DCAS – Michael Greenwald - 2002
41 Correction of a memory management method for lock-free data structures – Maged M. Michael, Michael L. Scott - 1995
56 Non-Blocking Synchronization and System Design – M Greenwald - 1999
738 Transactional Memory: Architectural Support for Lock-Free Data Structures – Maurice Herlihy, J. Eliot B. Moss
705 Separation Logic: A Logic for Shared Mutable Data Structures – John Reynolds - 2002
52 A scalable lock-free stack algorithm – Danny Hendler, Nir Shavit, Lena Yerushalmi - 2004
18 A Non-Blocking InterProcess Communication Library – H Sundell, P Tsigas, “NOBLE
36 A pragmatic implementation of non-blocking linked lists – T L Harris - 2001
17 DCAS-based concurrent deques supporting bulk allocation – Paul Martin, Paul Martin, Mark Moir, Mark Moir, Guy Steele, Guy Steele - 2002
15 CAS-based lock-free algorithm for shared deques – Maged M. Michael - 2003
64 Safe Memory Reclamation for Dynamic Lock-Free Objects Using Atomic Reads and Writes – M M Michael - 2002
50 Transparent Support for Wait-Free Transactions – Mark Moir - 1997