Fast and lock-free concurrent priority queues for multi-thread systems
Skip lists: a probabilistic alternative to balanced trees