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:66 - 5 self

Documents Related by Co-Citation

927 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
732 Wait-Free Synchronization – Maurice Herlihy - 1993
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
514 Software Transactional Memory – Nir Shavit, Dan Touitou - 1995
41 Correction of a memory management method for lock-free data structures – Maged M. Michael, Michael L. Scott - 1995
27 Two-Handed Emulation: How to build non-blocking implementations of complex data-structures using DCAS – Michael Greenwald - 2002
56 Non-Blocking Synchronization and System Design – M Greenwald - 1999
53 A scalable lock-free stack algorithm – Danny Hendler, Nir Shavit, Lena Yerushalmi - 2004
88 Disjoint-access-parallel implementations of strong shared memory primitives – A Israeli, L Rappoport - 1994
36 A pragmatic implementation of non-blocking linked lists – T L Harris - 2001
15 CAS-based lock-free algorithm for shared deques – Maged M. Michael - 2003
17 DCAS-based concurrent deques supporting bulk allocation – Paul Martin, Paul Martin, Mark Moir, Mark Moir, Guy Steele, Guy Steele - 2002
64 Safe Memory Reclamation for Dynamic Lock-Free Objects Using Atomic Reads and Writes – M M Michael - 2002
97 Systems Programming: Coping with Parallelism – R K Treiber - 1986
713 Separation Logic: A Logic for Shared Mutable Data Structures – John Reynolds - 2002
166 Thread scheduling for multiprogrammed multiprocessors – Nimar S. Arora, Robert D. Blumofe, C. Greg Plaxton - 1998
743 Transactional Memory: Architectural Support for Lock-Free Data Structures – Maurice Herlihy, J. Eliot B. Moss
18 A Non-Blocking InterProcess Communication Library – H Sundell, P Tsigas, “NOBLE