Locking without blocking: making lock based concurrent data structure algorithms nonblocking
Concurrency of operations on B-trees