On the Importance of Synchronization Primitives with Low Consensus Numbers
Linearizability: a correctness condition for concurrent objects