Manual:RedisLockManager.php