Scalable Lock-Free Vector with Combining
Obstruction-free synchronization: double-ended queues as an example