How to do distributed locking — Martin Kleppmann’s blog
The post examines the Redlock algorithm for distributed locking on Redis, highlighting its limitations in terms of timing assumptions and lack of support for fencing tokens, which are crucial for ensuring correctness. It argues that while Redis is suitable for some non-critical locking scenarios, Redlock may not be reliable for critical applications requiring strong consistency. It suggests using more robust consensus algorithms like ZooKeeper when correctness is essential.