Redis 分布式锁续期失败后如何判断锁已失效
来源:17golang原创
时间:2026-09-12 23:12:42 451浏览 收藏
Redis 分布式锁续期失败时,不能只看客户端抛出的异常,也不能收到一次超时就继续执行临界区。安全判断只有一个核心:锁键的值仍然必须等于本客户端保存的唯一令牌,并且租约还有正的剩余时间。续期脚本明确返回成功,代表脚本执行结束时仍持有锁;返回失败,代表锁已失效或已经换了持有者;连接超时则是“状态未知”,应先停止高风险操作。
官方文档:https://redis.io/docs/latest/
- 获取锁使用唯一令牌配合
SET NX PX,不要用固定值或裸DEL。 - 续期必须原子比对令牌,再检查
PTTL,最后才执行PEXPIRE。 - 网络超时不能当作续期失败或成功,默认按未知状态停下临界区。
续期结果为什么不能直接当作锁状态
锁键通常保存一个随机令牌,例如 lock:order:123 的值是当前客户端生成的 worker-a:uuid。获取时可以使用下面的示例命令:
redis-cli SET lock:order:123 worker-a:uuid NX PX 30000
# NX 只在键不存在时写入,PX 给锁设置毫秒级自动过期时间
续期请求返回 0,一般能说明脚本看到的键不存在或令牌已不匹配;这时当前客户端不能再写临界资源。可是客户端只收到连接超时、断线或读响应失败时,Redis 可能已经执行了请求,也可能根本没有收到请求,客户端本身无法从异常文字推断结果。把这种情况当成“锁还在”会留下并发写风险。
Redis 官方分布式锁说明强调,释放锁时必须校验随机值,避免旧持有者删除后来者的锁。续期同样遵守这个原则,只是把删除换成了延长过期时间。

用令牌和 PTTL 原子确认是否仍是持有者
不要拆成“先 GET,再单独 PEXPIRE”两个客户端请求。两个请求之间可能发生过期或被其他客户端重新获取。下面的 Lua 片段把令牌比较、TTL 检查和续期放在 Redis 的一次脚本执行中:
-- 只有令牌匹配且租约仍有效时,才延长锁的 TTL
local current = redis.call('get', KEYS[1])
if current ~= ARGV[1] then
return {0, -2} -- 键不存在或值已换成别人的令牌
end
local ttl = redis.call('pttl', KEYS[1])
if ttl
脚本参数中 KEYS[1] 是锁键,ARGV[1] 是当前客户端令牌,ARGV[2] 是新的租约毫秒数。脚本返回的第一个值是业务判断依据:1 才允许继续,0 必须停止。第二个值用于记录诊断,不应被当成所有权证明。
PTTL 返回正数表示还有剩余时间,-2 表示键不存在,-1 表示键存在但没有过期时间。对于分布式锁,永久键通常意味着获取或恢复逻辑出了问题,因此宁可按失败处理并人工排查,也不要把它当成长租约。
续期异常时按三种状态收敛
| 观察到的结果 | 能确认什么 | 业务动作 |
|---|---|---|
脚本返回 {1, ttl} | 脚本结束时令牌匹配且 TTL 已更新 | 记录新 TTL,按下一次续期周期继续 |
脚本返回 {0, ttl} | 锁消失、令牌不匹配或 TTL 无效 | 立即退出临界区,不再写共享资源 |
| 超时、断线、未知响应 | 无法知道 Redis 是否执行过续期 | 暂停高风险操作,重连后原子检查;不能确认就放弃 |
重连后的检查仍然要比较令牌,最好复用一个只读脚本一次性返回“是否匹配”和 PTTL。如果读到的是自己的令牌且 TTL 为正,只能说明当前这个 Redis 实例此刻仍保存着这把锁;长时间暂停、主从切换或跨实例锁场景还需要结合部署模型重新评估。对库存、余额、订单状态等真正不能接受旧写入的场景,建议给每次成功获取分配递增的栅栏标识,由下游存储拒绝较小标识的写入。

释放锁和监控中最容易漏掉的边界
释放时也不能直接执行 DEL lock:order:123。客户端暂停后,原锁可能已经过期,键又被新客户端占用,裸删除会误删后来者。释放脚本应保持同样的令牌条件:
-- 只删除仍属于本客户端的锁,避免旧客户端误删后来者
if redis.call('get', KEYS[1]) == ARGV[1] then
return redis.call('del', KEYS[1])
end
return 0
监控上至少记录锁键、令牌摘要、续期返回码、PTTL、网络错误类型和进入“未知状态”的次数。不要把“续期线程还活着”当作锁有效;真正有用的是 Redis 原子操作的返回值和业务写入端的栅栏校验。
相关问题
续期每次都返回 0 是不是 Redis 挂了?
不一定,也可能是锁已过期、令牌不一致、键名拼错或脚本参数顺序错误。先区分明确的脚本返回和网络异常,再检查键值与租约配置。
可以直接 GET 锁值再判断吗?
GET 适合排查,但不适合作为续期的并发安全实现。比较令牌和改变 TTL 应放在同一脚本或等价的服务端原子操作中。
PTTL 为 -1 时能不能继续使用锁?
对依赖自动释放的锁,不建议继续。没有过期时间意味着故障后可能永久占用,应先停止临界区并修复获取或续期逻辑。
-
366 收藏
-
117 收藏
-
426 收藏
-
171 收藏
-
113 收藏
-
134 收藏
-
501 收藏
-
320 收藏
-
501 收藏
-
218 收藏
-
402 收藏
-
106 收藏
-
159 收藏
-
379 收藏
-
207 收藏
-
482 收藏
-
321 收藏
-
- 前端进阶之JavaScript设计模式
- 设计模式是开发人员在软件开发过程中面临一般问题时的解决方案,代表了最佳的实践。本课程的主打内容包括JS常见设计模式以及具体应用场景,打造一站式知识长龙服务,适合有JS基础的同学学习。
- 立即学习 543次学习
-
- GO语言核心编程课程
- 本课程采用真实案例,全面具体可落地,从理论到实践,一步一步将GO核心编程技术、编程思想、底层实现融会贯通,使学习者贴近时代脉搏,做IT互联网时代的弄潮儿。
- 立即学习 516次学习
-
- 简单聊聊mysql8与网络通信
- 如有问题加微信:Le-studyg;在课程中,我们将首先介绍MySQL8的新特性,包括性能优化、安全增强、新数据类型等,帮助学生快速熟悉MySQL8的最新功能。接着,我们将深入解析MySQL的网络通信机制,包括协议、连接管理、数据传输等,让
- 立即学习 500次学习
-
- JavaScript正则表达式基础与实战
- 在任何一门编程语言中,正则表达式,都是一项重要的知识,它提供了高效的字符串匹配与捕获机制,可以极大的简化程序设计。
- 立即学习 487次学习
-
- 从零制作响应式网站—Grid布局
- 本系列教程将展示从零制作一个假想的网络科技公司官网,分为导航,轮播,关于我们,成功案例,服务流程,团队介绍,数据部分,公司动态,底部信息等内容区块。网站整体采用CSSGrid布局,支持响应式,有流畅过渡和展现动画。
- 立即学习 485次学习