An almost non-blocking stack

Proceedings of the Annual ACM Symposium on Principles of Distributed Computing

Volumn 23, Issue , 2004, Pages 40-49

  Boehm, Hans J ^a  

^a HEWLETT PACKARD LABORATORIES   (United States)

Author keywords

Compare and swap; Interrupt handler; Linked list; Lock free; Memory allocation; Non blocking; Signal handler; Stack

Indexed keywords

ALGORITHMS; FAULT TOLERANT COMPUTER SYSTEMS; OPTIMIZATION; PROBABILITY; STORAGE ALLOCATION (COMPUTER); SYNCHRONIZATION;

COMPARE-AND-SWAP; INTERRUPT HANDLER; LINKED LIST; LOCK-FREE; NON-BLOCKING STACK; SIGNAL HANDLER; STACK;

DATA STRUCTURES;

EID: 10444255381     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1011767.1011774     Document Type: Conference Paper

References (23)

1. H.-J. Boehm. The atomic_ops atomic operations package. Included in [3].
2. H.-J. Boehm. A garbage collector for C and C++. http://www.hpl.hp.com/personal/Hans.Boehm/gc/.
3. H.-J. Boehm. The qprof project. http://www.hpl.hp.com/research/linux/qprof.
4. H. Gao, J. Groote, and W. Hesselink. Efficient almost wait-free parallel accessible dynamic hashtables. http://www.archiv.org/abs/cs.DC/0303011.
5. M. B. Greenwald. Non-blocking Synchronization and System Design. PhD thesis, Stanford University, August 1999.
6. T. L. Harris. A pragmatic implementation of non-blocking linked-lists. Lecture Notes in Computer Science, 2180:300-314, 2001.
7. M. Herlihy. Wait-free synchronization. ACM Transactions on Programming Languages and Systems, 13(1):123-149, 1991.
8. M. Herlihy. A methodology for implementing highly concurrent data structures. ACM Transactions on Programming Languages and Systems, 15(5):745-770, 1993.
9. M. Herlihy, V. Luchangco, P. Martin, and M. Moir. Dynamic-sized lockfree data structures. Technical Report TR-2002-110, Sun Microsystems, 2002.
10. M. Herlihy, V. Luchangco, and M. Moir. Obstruction-free synchronization: Double-ended queues as an example. In Proceedings of the 23rd International Conference on Distributed Computing Systems, pages 522-529, 2003.
11. M. P. Herlihy and J. M. Wing. Linearizability: A correctness condition for concurrent objects. ACM Transactions on Programming Languages and Systems, 12(3):463-492, July 1990.
12. M. Hohmuth and H. Härtig. Pragmatic nonblocking synchronization for real-time systems. In Proceedings of the 2001 USENIX Annual Technical Conference, 2001.
13. IEEE and The Open Group. IEEE Standard 1003.1-2001. IEEE, 2001.
14. Intel Corporation. IA-32 Intel Architecture Software Developer's Manual - Volume 3: System Programming Guide. Intel Corporation, 2004.
15. P. Jayanti and S. Petrovic. Efficient and practical constructions of LL/SC variables. In Proceedings of the 22nd annual ACM Symposium on Principles of Distributed Computing, pages 285-294, August 2003.
16. L. Lamport. How to make a multiprocessor computer that correctly executes multiprocess programs. IEEE Tranactions on Computers, C-28(9):690-691, September 1979.
17. D. Lea. Concurrency jsr-166 interest site. http://gee.cs.oswego.edu/dl/concurrency-interest.
18. D. Lea. The JSR-133 cookbook for compiler writers. http://gee.cs.oswego.edu/dl/jmm/cookbook.html.
19. M. M. Michael. Safe memory reclammation for dynamic lock-free objects using atomic reads and writes. In Proceedings of the 21st annual ACM Symposium on Principles of Distributed Computing, pages 21-30, August 2002.
20. M. Moir. Practical implementations of nonblocking synchronization primitives. In Proceedings of the 16th annual ACM Symposium on Principles of Distributed Computing, pages 219-228, August 1997.
21. D. R.Cheriton and K. J. Duda. A caching model of operating system kernel functionality. In Proceedings of First Symposium on Operating System Design and Implementation, pages 179-193, November 1994.
22. R. Treiber. Systems programming: Coping with parallelism. Technical Report RJ5118, IBM Almaden Research Center, 1986.
23. J. D. Valois. Lock-free linked lists using compare-and-swap. In Proceedings of the 14th annual ACM Symposium on Principles of Distributed Computing, pages 214-222, August 1995.