Contents

• List of Figures
• Introduction
• Type-Stable Memory Management (TSM)
• Data Structures that Minimize Contention
• Minimizing the Window of Inconsistency
• Non-Blocking Synchronization Implementation
  • The Base Approach
  • Dealing with Multiple Lists
  • Comparison to Blocking Synchronization
• Non-blocking Synchronization Primitives
  • Software Implementation of DCAS
  • Hardware Contention Control
• Performance
  • Experimental Implementation
  • Simulation-Based Evaluation
  • Overall System Performance
• Related Work
  • Lock-Free Operating Systems
  • Methodologies for Implementing Concurrent Data Objects
  • Hardware Support
  • Operating System Support
• Concluding Remarks
• Acknowledgements
• References
• About this document ...