Fast concurrent queues for x86 processors
Linearizability: a correctness condition for concurrent objects