Lock-Free vs Wait-Free

Wait-free is just another name for lock-free in the academic literature

Lock-free means no mutexes are used; wait-free means no atomic operations are used

Lock-free guarantees system-wide progress (at least one thread makes progress); wait-free guarantees per-thread progress (every thread completes in bounded steps)

Lock-free structures are faster than wait-free structures in all cases