Lease (computer science)

In computer science, a Lease is a contract that gives its holder specified rights to some resource for a limited period. Because it is time-limited, a lease is an alternative to a lock for resource serialization.

Motivation

A traditional resource lock is granted until it is explicitly released by the locking client process. Reasons why a lock might not be released include:

The client failed before releasing the resources
The client deadlocked while attempting to allocate another resource
The client was blocked or delayed for an unreasonable period
The client neglected to free the resource, perhaps due to a bug
The request to free the resource was lost
The resource manager failed or lost track of the resource stated

Any of these could end the availability of an important reusable resource until the system is reset. By contract, a lease is valid for a limited period, after which it automatically expires, making the resource available for reallocation by a new client.

History

The term 'lease' was applied to this concept in a 1989 paper by Cary G. Gray and David R. Cheriton,^[1] but similar concepts (expiring tokens^[2] and breakable locks with timeouts^[3]) had been used in prior systems.

Problems

Leases are commonly used in distributed systems for applications ranging from DHCP address allocation to file locking, but they are not (by themselves) a complete solution:

There must be some means of notifying the lease holder of the expiration and preventing that agent from continuing to rely on the resource. Often, this is done by requiring all requests to be accompanied by an access token, which is invalidated if the associated lease has expired.
If a lease is revoked after the lease holder has started operating on the resource, revocation may leave the resource in a compromised state. In such situations, it is common to use Atomic transactions to ensure that updates that do not complete have no effect.

References

^ Gray, Cary; David Cheriton (December 1989). "Leases: An efficient fault-tolerant mechanism for distributed file cache consistency". Proceedings of the twelfth ACM symposium on Operating systems principles - SOSP '89. Vol. 23. pp. 202–210. CiteSeerX 10.1.1.115.1696. doi:10.1145/74850.74870. ISBN 978-0897913386. S2CID 1119226.
^ Burrows, M (December 1988). "Efficient Data Sharing". Technical Report #153, University of Cambridge.
^ Stugis, H; Israel, J (July 1980). "Issues in the design and use of a distributed file system". Operating Systems Review. 14 (3): 55–69. doi:10.1145/850697.850705. S2CID 29903250.

[1] Gray, Cary; David Cheriton (December 1989). "Leases: An efficient fault-tolerant mechanism for distributed file cache consistency". Proceedings of the twelfth ACM symposium on Operating systems principles - SOSP '89. Vol. 23. pp. 202–210. CiteSeerX 10.1.1.115.1696. doi:10.1145/74850.74870. ISBN 978-0897913386. S2CID 1119226.

[2] Burrows, M (December 1988). "Efficient Data Sharing". Technical Report #153, University of Cambridge.

[3] Stugis, H; Israel, J (July 1980). "Issues in the design and use of a distributed file system". Operating Systems Review. 14 (3): 55–69. doi:10.1145/850697.850705. S2CID 29903250.

[1]

[2]

[3]