Battle-hardened distributed locking using redis