Lease/Release: Architectural Support for Scaling Contended Data Structures
Simple, fast, and practical non-blocking and blocking concurrent queue algorithms