A wait-free queue as fast as fetch-and-add
Fast concurrent queues for x86 processors