Wait-Free Programming

Guaranteed per thread progress.