Leases: An Efficient Fault Tolerant Mechanism for Distributed File