Linearizability: a correctness condition for concurrent objects
Efficient locking for concurrent operations on B-trees