Efficient and Scalable Metadata Management in EB-Scale File Systems
Linearizability: a correctness condition for concurrent objects