Leases: an efficient fault-tolerant mechanism for distributed file cache consistency | Synapse