Lock-free and wait-free algorithms

Summary