A Pragmatic Implementation of Non-blocking Linked-lists

  • Timothy L. Harris
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 2180)

Abstract

We present a new non-blocking implementation of concurrent linked-lists supporting linearizable insertion and deletion operations. The new algorithm provides substantial benefits over previous schemes: it is conceptually simpler and our prototype operates substantially faster.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. [ABP98]
    Nimar S. Arora, Robert D. Blumofe, and C. Greg Plaxton. Thread scheduling for multiprogrammed multiprocessors. In Proceedings of the 10th Annual ACM Symposium on Parallel Algorithms and Architectures, pages 119–129, Puerto Vallarta, Mexico, June 28-July 2, 1998. SIGACT/SIGARCH.Google Scholar
  2. [GC96]
    Michael Greenwald and David Cheriton. The synergy between non-blocking synchronization and operating system structure. In USENIX, editor, 2nd Symposium on Operating Systems Design and Implementation (OSDI’ 96), October 28-31, 1996. Seattle, WA, pages 123–136, Berkeley, CA, USA, October 1996. USENIX.Google Scholar
  3. [Gre99]
    M Greenwald. Non-blocking synchronization and system design. PhD thesis, Stanford University, August 1999. Technical report STAN-CS-TR-99-1624.Google Scholar
  4. [Her91]
    Maurice Herlihy. Wait-free synchronization. ACM Transactions on Programming Languages and Systems, 13(1):124–149, January 1991.CrossRefGoogle Scholar
  5. [Her93]
    Maurice Herlihy. A methodology for implementing highly concurrent data objects. ACM Transactions on Programming Languages and Systems, 15(5):745–770, November 1993.CrossRefGoogle Scholar
  6. [Hol97]
    Gerard J Holzmann. The moel checker SPIN. IEEE Transactions on Software Engineering, 23(5):279–295, May 1997.CrossRefMathSciNetGoogle Scholar
  7. [HW90]
    Maurice P. Herlihy and Jeannette M. Wing. Linearizability: A correctness condition for concurrent objects. ACM Transactions on Programming Languages and Systems, 12(3):463–492, July 1990.CrossRefGoogle Scholar
  8. [IS99]
    Radu Iosif and Riccardo Sisto. dSPIN: A dynamic extension of SPIN. In Proc. of the 6th International SPIN Workshop, volume 1680 of LNCS, pages 261–276. Springer-Verlag, September 1999.Google Scholar
  9. [JL96]
    Richard Jones and Rafael Lins. Garbage Collection: Algorithms for Automatic Dynamic Memory Management. John Wiley and Sons, July 1996.Google Scholar
  10. [LaM94]
    Anthony LaMarca. A performance evaluation of lock-free synchronization protocols. In Proceedings of the Thirteenth Symposium on Principles of Distributed Computing, pages 130–140, 1994.Google Scholar
  11. [MP91]
    Henry Massalin and Calton Pu. A lock-free multiprocessor OS kernel. Technical Report CUCS-005-91, Columbia University, 1991.Google Scholar
  12. [MS95]
    Maged M. Michael and Michael L. Scott. Correction of a memory management method for lock-free data structures. Technical Report TR599, University of Rochester, Computer Science Department, December 1995.Google Scholar
  13. [PPr96]
    Pentium Pro Family Developer’s Manual, volume 2, programmer’s reference manual. Intel Corporation, 1996. Reference number 242691-001.Google Scholar
  14. [Val95]
    John D. Valois. Lock-free linked lists using compare-and-swap. In Proceedings of the Fourteenth Annual ACM Symposium on Principles of Distributed Computing, pages 214–222, Ottawa, Ontario, Canada, 2-23 August 1995.Google Scholar
  15. [Val01]
    John D Valois. Personal communication. March 2001.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2001

Authors and Affiliations

  • Timothy L. Harris
    • 1
  1. 1.University of Cambridge Computer LaboratoryCambridgeUK

Personalised recommendations