A persistent lock-free queue for non-volatile memory
Linearizability: a correctness condition for concurrent objects