I don&#x27;t see a distributed lock implementation being both 100% correct without any support of the resources guarded by the lock and actually feasible.<p>For data which absolutely must never violate the lock then the underlying data storage has to be involved. The vast majority of times where a distributed lock is used is where the underlying storage doesn&#x27;t provide any support and the distributed lock is good enough, failures are exceptional and not disastrous.<p>If you want perfect correctness then you can just not have auto-release but practically this will cause more problems than it solves.