Lock-free deques and doubly linked lists
Linearizability: a correctness condition for concurrent objects