讲师中心 微信公众号
AI工具推荐 视频效率加速

Redis 分布式锁实现方案与常见死锁问题排查

雨芳同学_2052

雨芳同学_2052

发布时间:2026-07-07 13:49:06

|

742人浏览过

|

来源于php中文网

原创

Redis分布式锁需闭环管理生命周期:加锁用SET key value NX EX seconds保证原子性,value为唯一标识;解锁用Lua脚本校验再删;设合理过期时间并启用Watch Dog续期;高可用依赖哨兵/集群,强一致场景用RedLock。

redis 分布式锁实现方案与常见死锁问题排查

Redis 分布式锁不是“加个 SETNX 就完事”,真正落地时,死锁、误删锁、锁提前释放等问题频发。核心不在命令本身,而在锁的生命周期管理是否闭环——从加锁原子性、持有身份校验、超时控制,到故障恢复和集群一致性,缺一不可。

加锁必须带唯一标识 + 自动过期

只用 SETNX 或分开执行 SET + EXPIRE 是危险的:前者不支持设置过期时间,后者非原子,可能键设成功但过期没设上,导致永久锁死。

  • 正确写法是使用 SET key value NX EX seconds,一步完成“存在则失败 + 值写入 + 过期设定”
  • value 必须是全局唯一标识(如 UUID + 线程 ID),后续释放锁时靠它验证归属,避免误删
  • 过期时间不能拍脑袋定,需结合业务最长耗时 + 安全冗余(建议至少比 P99 耗时多 2–3 倍)

解锁必须原子校验再删除

先 GET 再 DEL 是典型并发漏洞:GET 到自己的 value,刚要 DEL 时锁已过期,别人抢锁成功,你 DEL 的其实是别人的锁。

Redis Skill - 高性能缓存管理
Redis Skill - 高性能缓存管理

Redis 缓存和数据结构管理技能。通过自然语言操作 Redis,支持 String、Hash、List、Set、ZSet、Stream 等数据结构操作。当用户提到 Redis、缓存、消息队列、会话存储时使用此技能。

下载
  • 必须用 Lua 脚本封装校验与删除逻辑,保证“读-判-删”不可分割
  • 脚本示例:if redis.call("get", KEYS[1]) == ARGV[1] then return redis.call("del", KEYS[1]) else return 0 end
  • 客户端调用该脚本时,传入锁 key 和自己加锁时写的 value,返回 1 表示删除成功,0 表示锁已被他人持有或不存在

业务执行中锁不能“静默失效”

锁过期时间短于业务实际耗时,会导致锁自动释放后别人加锁成功,原线程继续执行并释放新锁——数据错乱由此产生。

  • 手动实现 Watch Dog:加锁后起守护线程,每 过期时间 / 3 检查一次锁归属,若仍属自身则用 EXPIRE 重置过期时间
  • 推荐直接用 Redisson:内置看门狗机制,默认 30 秒锁过期,每 10 秒自动续期,业务结束才停续期
  • 注意:续期操作本身也需校验锁归属,防止主从切换后向旧主续期(Redisson 已处理该细节)

高可用不能只靠单实例

单点 Redis 宕机,所有锁服务瘫痪;主从异步复制下主节点崩溃未同步锁,从节点升主后锁丢失——两种情况都会引发并发失控。

  • 基础保障:部署哨兵模式或 Redis Cluster,确保服务不中断
  • 强一致性场景:采用 RedLock 算法,向 ≥3 个物理隔离的 Redis 实例加锁,多数(N/2+1)成功才算加锁成功
  • 降级策略:锁获取失败时,可走本地限流、排队队列或业务层幂等兜底,避免雪崩

热门AI工具

更多
讯飞绘文

讯飞绘文是一款由科大讯飞推出的一站式 AIGC 内容运营平台。

讯飞智作

讯飞智作是一款AI视频创作工具,AI文本配音工具,数字人课程、营销视频制作。

AionClaw
AionClaw Hot

AionClaw是一款面向办公、创作和编程任务的AI桌面智能体。

UpDream
UpDream Hot

一款AI视频创作工具,主要用于哔哩哔哩推出的自研AI视频创作工具,适合需要提升相关任务效率的用户。

音述AI
音述AI Hot

一款AI音频处理工具,主要用于音述AI是一个以“用声音述说故事”为核心的 AI 音乐创作与声音分享社区,适合需要提升相关任务效率的用户。

WorkBuddy

一款AI办公效率工具,主要用于腾讯云推出的AI原生桌面智能体工作台,适合需要提升相关任务效率的用户。

豆包大模型

豆包大模型是一款由字节跳动推出的企业级大语言模型服务平台。

DeepSeek

DeepSeek是一款面向对话、写作、编程和推理场景的AI大模型工具。

Seko
Seko Hot

一款AI视频创作工具,主要用于商汤科技推出的创编一体的AI短视频创作Agent,适合需要提升相关任务效率的用户。

相关专题

更多
LLVM自定义Pass怎么写
LLVM自定义Pass怎么写

本专题聚焦LLVM自定义Pass开发,整理Pass类结构、run()方法、PreservedAnalyses、CMake构建、插件注册、-load-pass-plugin加载和测试用例编写流程。

0

2026.09.30

LLVM RISC-V参数配置教程
LLVM RISC-V参数配置教程

本专题介绍LLVM对RISC-V基础ISA和扩展的支持方式,涵盖RV32、RV64、标准扩展、实验性扩展、厂商扩展、-menable-experimental-extensions和版本差异。

0

2026.09.30

LLVM IR中间表示入门指南
LLVM IR中间表示入门指南

本专题整理LLVM IR的核心概念,包括中间表示作用、模块结构、函数、基本块、SSA形式、类型系统和常见语法,帮助新手理解LLVM编译流程中的关键层。

0

2026.09.30

PDF转图片方法
PDF转图片方法

需要把 PDF 页面用于上传、预览、分享或图片归档时,PDF 转图片方法专题整理 JPG/PNG 格式选择、逐页导出、清晰度设置、批量下载和结果检查等流程,帮助用户稳定完成 PDF 图片化处理。

0

2026.09.30

PixTV AI视频生成与无限画布创作
PixTV AI视频生成与无限画布创作

PixTV专题整理AI视频与视觉内容创作相关功能使用教程,涵盖AI生图、视频生成、无限画布、多模型创作、素材管理、声音音乐及视频剪辑等功能,帮助用户快速掌握PixTV从创意到成片的完整制作方法。

0

2026.09.29

Buffalo框架数据库开发全教程
Buffalo框架数据库开发全教程

本专题围绕Buffalo框架数据库开发,讲解database.yml多环境配置、soda与fizz迁移生成回滚、模型结构体标签、增删改查与条件查询、一对多与多对多关联、数据校验、回调钩子、事务处理及原生SQL执行能力。

200

2026.09.23

Buffalo框架路由与请求处理实操指南
Buffalo框架路由与请求处理实操指南

本专题讲解Buffalo框架路由与请求处理机制,涵盖路由注册与分组、资源路由、Handler编写规范、Context上下文方法、参数绑定、中间件编写挂载、Session与Cookie读写、Flash消息及错误页面定制方法。

120

2026.09.23

Buffalo框架零基础入门教程
Buffalo框架零基础入门教程

本专题整理Buffalo框架入门内容,涵盖Go环境准备、buffalo CLI安装、新项目生成、目录结构说明、dev热加载启动、数据库连接配置与常见报错排查,帮助新手按约定优于配置的思路跑通第一个Buffalo框架应用。

100

2026.09.23

Conan创建软件包配方指南
Conan创建软件包配方指南

本专题介绍通过conanfile.py创建软件包的方法,讲解包名、版本、依赖和构建设置等基础信息,以及source、build、package、package_info等常用方法的作用及编写思路。

60

2026.09.22

热门下载

更多
网站特效
/
网站源码
/
网站素材
/
前端模板

精品课程

更多
相关推荐
/
热门推荐
/
最新课程
phpEnv手册
phpEnv手册

共0课时 | 0人学习

进程与SOCKET
进程与SOCKET

共6课时 | 0.5万人学习

关于我们 免责申明 举报中心 意见反馈 讲师合作 广告合作 最新更新
php中文网:公益在线php培训,帮助PHP学习者快速成长!
关注服务号
PHP中文网订阅号
每天精选资源文章推送

Copyright 2014-2026 https://www.php.cn/ All Rights Reserved | php.cn