Fast and lock-free concurrent priority queues for multi-thread systems
Wait-Free Synchronization.