Practical concurrent unrolled linked lists using lazy synchronization
Linearizability: a correctness condition for concurrent objects