[antirez]

Redlocks don't use anything proabilistic, not in the sense that the lock may fail to guarantee what it promises at random.

[klysm]

While that may be true, it’s generally not possible to use red locks to build a correct system is mutual exclusion is a strict requirement