Fast concurrent queues for x86 processors
Wait-Free Synchronization.