Non blocking synchronization

Herlihy and Shavit describe synchronization.

Producer consumer queues