A wait-free queue as fast as fetch-and-add
Simple, fast, and practical non-blocking and blocking concurrent queue algorithms