Locking without blocking: making lock based concurrent data structure algorithms nonblocking
Efficient locking for concurrent operations on B-trees