In short, either the storage layer provides enough guarantees to ensure safety <i>without</i> redlock OR it is not possible to ensure safety.<p>I believe that antirez&#x27;s proposal is the former, but if he has a safe algorithm that does not require a linearizable CAS operation in the storage layer and is safe w&#x2F; redlock, I would love to hear it.<p>I also provided an example of how to use Cassandra which is eventually consistent safely with a locking service that provides monotonic tokens.