Scalable Lock-Free Vector with Combining
Linearizability: a correctness condition for concurrent objects