Volume leases for consistency in large-scale systems | IEEE Journals & Magazine | IEEE Xplore