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:69 - 6 self

Documents Related by Co-Citation

938 Linearizability: a correctness condition for concurrent objects – Maurice P. Herlihy, Jeannette M. Wing - 1990
170 Obstruction-free synchronization: Double-ended queues as an example – Maurice Herlihy, Victor Luchangco, Mark Moir - 2003
734 Wait-Free Synchronization – Maurice Herlihy - 1993
528 Software Transactional Memory – Nir Shavit, Dan Touitou - 1995
758 Transactional Memory: Architectural Support for Lock-Free Data Structures – Maurice Herlihy, J. Eliot B. Moss
717 Separation Logic: A Logic for Shared Mutable Data Structures – John Reynolds - 2002
775 Operating System Concepts – Abraham Silberschatz - 2007
342 Software transactional memory for dynamic-sized data structures – Maurice Herlihy, Victor Luchangco, Mark Moir, William N. Scherer III - 2003
410 Language Support for Lightweight Transactions – Tim Harris, Keir Fraser - 2003