[rubiquity]

> Redlock was massively used in the last 10 years, and I have never heard of its properties failing in the practice: that is, no incidents so far.

I enjoyed these posts between yourself and Martin. Don’t be too confident though. Data races almost always go unnoticed.

[antirez]

Thank you. I agree about races going unnoticed. And indeed my post tryed to address why the failure modes outlined in the original post are not possible (but for the monothonic timer issue, but this was fixed in Redis at some point).