Another potential issue with antirez&#x27;s argument:<p>&quot;&quot;&quot;
If you read the Redlock specification, that I hadn&#x27;t touched for months, you can see the steps to acquire the lock are:<p>1. Get the current time.<p>2. … All the steps needed to acquire the lock …<p>3. Get the current time, again.<p>4. Check if we are already out of time, or if we acquired the lock fast enough.<p>5. Do some work with your lock.<p>...<p>The above also addresses “process pauses” concern number 3. Pauses during the process of acquiring the lock don’t have effects on the algorithm&#x27;s correctness.
&quot;&quot;&quot;<p>What if the process GCs for 2 minutes between 4 and 5? Then the lock times out, but the process still does its work with the lock, even though another process may think it has the lock as well.<p>This is a specific example of the criticism that you cannot rely on clock checks for correctness that has been made elsewhere.