I&#x27;m not distributed systems expert, but I don&#x27;t see any attempt at responding to:<p>&gt; 1. Distributed locks with an auto-release feature (the mutually exclusive lock property is only valid for a fixed amount of time after the lock is acquired) require a way to avoid issues when clients use a lock after the expire time, violating the mutual exclusion while accessing a shared resource. Martin says that Redlock does not have such a mechanism.<p>The section &quot;Distributed locks, auto release, and tokens&quot; talks about why Martin&#x27;s solution isn&#x27;t right (I&#x27;m not well-read enough to tell if that argument is correct), but never actually argues that Redlock has a mechanism to avoid violation of mutual exclusion due to timeouts.<p>Perhaps I&#x27;m missing some background here: does such a mechanism exist?