Adaptive transaction scheduling for transactional memory systems
Obstruction-free synchronization: double-ended queues as an example