[Leases] are a nearly ubiquitous, go-to, mutual exclusion me...

Leases are a nearly ubiquitous, go-to, mutual exclusion mechanism in distributed systems. The core idea is simple: have a client lease the right to exclude other clients for a period of time, and allow them to periodically renew their lease to keep excluding others. Leases, unlike more naive locks, allow the system to recover if a client fails while holding onto exclusivity: the lease isnā€™t renewed, it times out, and other clients are allowed to play. Itā€™s this fault tolerance property that makes leases so popular.

Did you notice those words a period of time? Leases make a very specific assumption: that the lease providerā€™s clock moves at about the same speed as the lease holderā€™s clock.

www.joshbeckman.org/notes/633247166