A lock-free priority queue implementation