Term Kind Topic What it is
Distributed Locks in Practice Lease, Mutual Exclusion pattern Distributed Locking Why lease-based locking is unsafe without fencing, when locks are unavailable entirely, and the partitioning alternative that removes the problem.
Fencing Token pattern Distributed Locking A monotonically increasing number issued with a lock, checked by the resource, so a holder whose lease expired cannot act on stale authority.
Lease concept Distributed Locking A lock with an expiry, granting exclusive rights for a bounded time so that a crashed holder cannot block the system forever.
Lock Lease Expiry concept Distributed Locking The timeout on a distributed lock that prevents a crashed holder deadlocking the system — and the source of the pattern's hardest failure mode.
Optimistic Concurrency Control OCC, Compare-and-Set pattern Distributed Locking Allowing concurrent work without locks and detecting conflict at write time by checking that the underlying version has not changed.
Redlock protocol Distributed Locking An algorithm for distributed locking across independent Redis instances, and the subject of a well-known critique about what locks can guarantee at all.