Atomic Ptr Plus Project - This project is a collection of various lock-free synchronization primitives and fast pathed synchronization functions.
Implementing Lock-Free Queues - Studies practical techniques for implementing the FIFO queue abstract data type using lock free data structures, which synchronizes the operations of concurrent processes without the use of mutual exclusion. Two new algorithms based on linked lists and arrays are presented.
Wait-Free Synchronization - A wait free implementation of a concurrent data object is one that guarantees that any process can complete any operation in a finite number of steps, regardless of the execution speeds of the other processes.