当前位置: 首页 > article >正文

基于 Redis 的分布式锁:原理剖析与 Spring Boot 实战(含看门狗续期)

一、什么是分布式锁在单机应用中我们常用synchronized、ReentrantLock解决多线程并发问题但这些锁的作用域局限于单个 JVM 进程。当系统从单体架构演进为分布式集群时多个服务实例、多个进程会并发操作共享资源如库存、订单此时本地锁已无法保证数据一致性分布式锁应运而生。分布式锁的核心目标互斥性同一时刻只有一个客户端能持有锁防死锁锁必须能被释放避免客户端崩溃导致锁永久占用解铃还须系铃人只能由加锁者自己释放锁防止误删他人锁高可用锁服务本身不能成为单点故障二、基于 Redis 的分布式锁核心原理Redis 因其高性能、原子操作特性成为实现分布式锁的主流选择核心依赖以下几个关键能力1. 加锁SET key value NX EX seconds原子指令NX仅当 key 不存在时才设置保证互斥性EX seconds设置 key 的过期时间避免客户端崩溃导致死锁value设置为客户端唯一 ID如 UUID用于后续判断锁的归属2. 解锁Lua 脚本原子删除直接用DEL key解锁存在风险若锁已过期当前客户端可能误删其他客户端的锁。因此需要通过 Lua 脚本保证 “判断锁归属 删除锁” 的原子性-- 只有锁属于当前客户端才执行删除 if redis.call(get,KEYS[1]) ARGV[1] then return redis.call(del,KEYS[1]) else return 0 end3. 看门狗机制解决业务超时锁释放问题上面的时间轴帮助我们理解不加看门狗的时候如果业务执行时间超过锁的过期时间锁会被自动释放导致并发安全问题。看门狗机制则会在业务执行期间周期性通常为锁过期时间的 1/3续期锁的过期时间直到业务执行完成时间轴秒 → 0 5 10 15 事务A业务 ├──────────────────────┤ 执行完成 锁A分布式锁├──续期→├──续期→├──续期→┤ 始终有效 事务B其他业务 全程拿不到锁阻塞等待三、Spring Boot Jedis 4.x 实战实现理解了上述原理接下来请跟我一起实现吧1. 环境准备依赖引入redis.clients:jedis:4.4.32.Jedis 连接池配置适配 Jedis 4.xConfiguration public class JedisPoolConfig { Value(${spring.redis.host:localhost}) private String host; Value(${spring.redis.port:6379}) private int port; Value(${spring.redis.password:}) private String password; Value(${spring.redis.timeout:2000}) private int timeout; Bean public JedisPooled jedisPooled() { // 先定义 hostport HostAndPort hostAndPort new HostAndPort(host, port); // 构建客户端配置超时、密码 DefaultJedisClientConfig.Builder configBuilder DefaultJedisClientConfig.builder() .connectionTimeoutMillis(timeout) .socketTimeoutMillis(timeout); if (password ! null !password.isBlank()) { configBuilder.password(password); } DefaultJedisClientConfig clientConfig configBuilder.build(); // 构建连接池配置最大连接数、空闲连接 GenericObjectPoolConfigConnection poolConfig new GenericObjectPoolConfig(); poolConfig.setMaxTotal(20); poolConfig.setMaxIdle(10); poolConfig.setMinIdle(5); // Jedis 4.x 唯一正确的构造方法 return new JedisPooled(poolConfig, hostAndPort, clientConfig); } }3. 分布式锁核心3.1 加锁// 加锁 public RedisLock lock(String lockKey, int expireSeconds) { this.lockKey lockKey; this.expireSeconds expireSeconds; this.requestId UUID.randomUUID().toString(); this.isLocked false; SetParams params new SetParams(); params.nx().ex(expireSeconds); String result jedis.set(lockKey, requestId, params); if (!LOCK_SUCCESS.equals(result)) { return null; } this.isLocked true; startWatchDog(); return this; }3.2 解锁直接DEL会导致误删锁必须先判断锁归属再删除。用lua脚本// 解锁 public void unlock() { if (!isLocked) return; isLocked false; stopWatchDog(); String lua if redis.call(get,KEYS[1]) ARGV[1] then return redis.call(del,KEYS[1]) else return 0 end; jedis.eval(lua, Collections.singletonList(lockKey), Collections.singletonList(requestId)); } private void stopWatchDog() { if (scheduler ! null) scheduler.shutdown(); } Override public void close() { unlock(); }3.3 看门狗机制注意在业务结束或异常时要停止续期线程避免资源泄漏// 看门狗自动续期 private void startWatchDog() { scheduler Executors.newSingleThreadScheduledExecutor(); long delay expireSeconds * 1000L / 3; scheduler.scheduleAtFixedRate(() - { if (!isLocked) { stopWatchDog(); return; } try { String currentVal jedis.get(lockKey); if (requestId.equals(currentVal)) { jedis.expire(lockKey, expireSeconds); System.out.println([看门狗] 续期成功: lockKey); } } catch (Exception e) { stopWatchDog(); } }, delay, delay, TimeUnit.MILLISECONDS); }测试结果并发锁测试同一时间只有一个线程能抢到锁其他线程全部抢锁失败验证了互斥性。看门狗续期测试执行业务时间超过锁过期时间如锁 5 秒过期业务执行 15 秒可以看到看门狗周期性打印续期日志锁不会被提前释放。总结redis分布式锁要保证原子性 过期时间 唯一标识 锁续命1通过SET NX EX指令实现原子加锁并设置过期时间2使用Lua脚本保证解锁的原子性防止误删3引入看门狗机制自动续期解决业务执行超时问题。

相关文章:

基于 Redis 的分布式锁:原理剖析与 Spring Boot 实战(含看门狗续期)

一、什么是分布式锁?在单机应用中,我们常用synchronized、ReentrantLock解决多线程并发问题,但这些锁的作用域局限于单个 JVM 进程。当系统从单体架构演进为分布式集群时,多个服务实例、多个进程会并发操作共享资源(如…...

如何快速掌握HiveWE:魔兽地图编辑器的3大核心功能与完整使用指南

如何快速掌握HiveWE:魔兽地图编辑器的3大核心功能与完整使用指南 【免费下载链接】HiveWE A Warcraft III world editor. 项目地址: https://gitcode.com/gh_mirrors/hi/HiveWE 还在为魔兽争霸III原版编辑器的卡顿和复杂操作而烦恼吗?HiveWE作为专…...

如何快速掌握DREAM3D:材料科学3D数据分析的完整开源解决方案

如何快速掌握DREAM3D:材料科学3D数据分析的完整开源解决方案 【免费下载链接】DREAM3D Data Analysis program and framework for materials science data analytics, based on the managing framework SIMPL framework. 项目地址: https://gitcode.com/gh_mirror…...

告别复制粘贴!程序员必备的Markdown表情符号速查表(附分类与使用场景)

程序员效率革命:Markdown表情符号分类与应用实战指南 在GitHub README中看到一个恰到好处的🚀能瞬间传达项目活跃度,技术博客里的💡比十行文字更能突出核心创意——这就是Emoji在现代技术文档中的魔力。作为数字时代的象形文字&am…...

7款加密压缩包密码测试工具:ArchivePasswordTestTool技术深度解析

7款加密压缩包密码测试工具:ArchivePasswordTestTool技术深度解析 【免费下载链接】ArchivePasswordTestTool 利用7zip测试压缩包的功能 对加密压缩包进行自动化测试密码 项目地址: https://gitcode.com/gh_mirrors/ar/ArchivePasswordTestTool 在数字资产管…...

Qwen3-TTS-Tokenizer-12Hz音频编解码器:5分钟快速部署与一键使用教程

Qwen3-TTS-Tokenizer-12Hz音频编解码器:5分钟快速部署与一键使用教程 1. 为什么选择Qwen3-TTS-Tokenizer-12Hz 如果你正在寻找一个高效、高质量的音频编解码解决方案,Qwen3-TTS-Tokenizer-12Hz绝对值得考虑。这个由阿里巴巴Qwen团队开发的工具&#xf…...

【入门C++语法】第11章 函数和变量作用域

第11章 函数和变量作用域 一、 函数 函数是C++中"封装一段特定功能"的代码块,能让程序结构更清晰、代码可重复使用。比如计算两数之和、判断数字是否为质数等功能,都可封装成函数。 函数的基本结构 返回值类型 函数名(参数列表) {// 函数体:实现功能的代码功能逻…...

APM飞控解锁失败?别慌,手把手教你排查电机解锁的5个常见坑

APM飞控解锁失败?手把手教你排查电机解锁的5个关键环节 当无人机在首次起飞前无法完成电机解锁时,那种挫败感每个飞手都深有体会。看着地面站不断跳出的错误提示,新手往往会陷入手忙脚乱的困境。本文将从实际场景出发,用工程思维拆…...

EF Core 10向量搜索扩展上线即被攻破?3大高危漏洞(CVE-2024-XXXXX已确认)及72小时热修复指南

第一章:EF Core 10向量搜索扩展安全事件全景速览近期,EF Core 10官方生态中新增的向量搜索扩展(Microsoft.EntityFrameworkCore.Vector)被发现存在潜在的安全风险,主要涉及未经验证的用户输入直接参与向量相似度计算、…...

手把手教你用Arduino Nano和SSD1306屏幕DIY一个晶体管测试仪(附完整代码和烧录避坑指南)

手把手教你用Arduino Nano和SSD1306屏幕DIY一个晶体管测试仪(附完整代码和烧录避坑指南) 在电子制作和维修领域,能够快速识别晶体管引脚和参数的测试工具至关重要。本文将带你用最常见的Arduino Nano开发板和廉价的SSD1306 OLED屏幕&#xff…...

告别浏览器卡顿!除了重装IDM插件,这3个隐藏设置你调了吗?

深度优化IDM与浏览器协作:3个隐藏设置提升下载稳定性 当IDM与浏览器集成出现问题时,大多数用户的第一反应是重新安装插件——这确实能解决部分临时性故障,但真正的技术爱好者更关注如何从系统层面预防问题发生。本文将揭示三个常被忽略的高级…...

2026年论文降AI和论文降重有什么本质区别:机制和应对策略解读

2026年论文降AI和论文降重有什么本质区别:机制和应对策略解读 同一段文字,不同平台检测AI率相差20%以上。这不是玄学,有原因可解释。 关于降AI和降重区别,理解了背后逻辑,很多「奇怪现象」都能说通。往下看。 理解降…...

020、多模态大模型微调:图文对齐与跨模态任务实战

020、多模态大模型微调:图文对齐与跨模态任务实战 昨天深夜调试一个跨模态检索任务,模型总是把“沙滩排球”的图片匹配到“羽毛球”的文本描述上。查看中间层激活值才发现,视觉编码器把沙滩的黄色特征提取得太强,完全盖过了排球本身的特征。这个坑让我重新思考多模态对齐的…...

小公司也能有“官网”!5步教你用微信小程序+PHP后台低成本搭建企业展示系统

小微企业零基础搭建微信小程序官网实战指南 在数字化浪潮中,企业官网早已从奢侈品变为必需品。但对于预算有限的小微企业来说,动辄数万元的定制开发费用和复杂的运维流程往往让人望而却步。微信小程序的出现彻底改变了这一局面——无需下载安装、即用即…...

如何通过手机号码实现精准地理位置查询:开源定位系统详解

如何通过手机号码实现精准地理位置查询:开源定位系统详解 【免费下载链接】location-to-phone-number This a project to search a location of a specified phone number, and locate the map to the phone number location. 项目地址: https://gitcode.com/gh_m…...

C# Winform项目实战:给你的桌面应用加个‘点赞’悬浮按钮(MaterialFloatingActionButton全解析)

C# Winform项目实战:打造智能悬浮按钮的完整交互方案 在桌面应用开发中,那些看似微小的交互细节往往决定了用户体验的成败。想象一下,当用户完成一项重要操作后,一个精致的悬浮按钮轻轻弹出,邀请他们为内容点赞——这种…...

告别卡顿!手把手教你用vue-easy-tree搞定万级数据量的树形表格(附完整配置与避坑指南)

万级数据树形表格性能优化实战:从卡顿到流畅的Vue技术方案 树形表格在前端开发中极为常见,但当数据量达到万级时,传统的渲染方式往往会让页面陷入卡顿甚至崩溃。这个问题困扰着许多使用Element UI的中级Vue开发者,他们熟悉el-tree…...

BBDown终极指南:3分钟学会B站视频下载的完整教程

BBDown终极指南:3分钟学会B站视频下载的完整教程 【免费下载链接】BBDown Bilibili Downloader. 一个命令行式哔哩哔哩下载器. 项目地址: https://gitcode.com/gh_mirrors/bb/BBDown BBDown是一款免费开源的Bilibili视频下载工具,它能让你轻松将B…...

LangChain 已老,LangGraph 当立?新一代编排框架的崛起

LangChain 已老,LangGraph 当立?新一代编排框架的崛起 元数据 标题:LangChain 已老,LangGraph 当立?新一代编排框架的崛起——从线性链到有向无环图再到循环状态机的AI应用架构革命 关键词:LLM应用编排、LangChain、LangGraph、状态机、RAG、Agent、提示工程、异步IO 摘…...

那个让《雷神之锤3》快如闪电的‘魔法数字’0x5f3759df,今天用Python带你亲手算出来

揭秘《雷神之锤3》中的"魔法数字":用Python重现0x5f3759df的数学奇迹 1999年,当《雷神之锤3》的源代码首次公开时,游戏开发者们发现了一个令人困惑的注释——"what the fuck?"。这个注释指向的是一行看似简单却深藏玄机…...

EM菌在水产养殖中的作用与优质产品推荐

EM菌在水产养殖中的作用抑制有害菌:通过竞争性占位和代谢产物抑制弧菌、大肠杆菌等病原微生物繁殖。分解有机质:加速残饵、粪便的降解,减少底部淤泥堆积,降低硫化氢和氨氮浓度。稳定水质:调节水体pH值,促进…...

从‘学生选课’到‘商品订单’:手把手带你用MySQL实战理解关系代数(选择、投影、连接)

从‘学生选课’到‘商品订单’:手把手带你用MySQL实战理解关系代数(选择、投影、连接) 1. 关系代数与SQL的桥梁 关系代数是数据库理论的基石,而SQL则是实际应用中的利器。理解两者之间的对应关系,能让我们在编写SQL时更…...

ROS机器人系统与URDF建模入门

一、机器人系统的核心组成一个完整的机器人,本质是“感知-决策-执行”的闭环系统,就像一个精密协作的生命体,四大核心模块各司其职、相互配合,缺一不可。从控制角度来看,分别是执行机构、驱动系统、传感系统、控制系统…...

Mac上IDEA的PlantUML插件报错‘找不到Graphviz’?手把手教你用Homebrew搞定(附阿里云镜像避坑)

Mac上IDEA的PlantUML插件报错‘找不到Graphviz’?手把手教你用Homebrew搞定(附阿里云镜像避坑) 最近在Mac上使用IntelliJ IDEA的PlantUML插件时,不少开发者遇到了一个经典问题:插件报错提示"找不到Graphviz"…...

MCP 工具数量爆炸后,如何高效做 Tool Selection?

MCP 工具数量爆炸后,如何高效做 Tool Selection? 背景:规模扩展带来的路由难题 在 MCP(Model Context Protocol)架构中,随着接入工具数量的增长,一个问题会越来越突出:LLM 开始选错工…...

用 Agent 自动化数据处理:从 2 小时到 15 分钟的效率革命

💻 完整可运行代码: https://github.com/Lee985-cmd/AI-30-Day-Challenge ⭐ 如果觉得有用,欢迎 Star 支持! 一、场景痛点:数据分析师的日常困境 真实场景还原 早上 9:00 - 收到老板邮件:"帮我分析一…...

手把手排查SSV6155/6255 WiFi模块不识别问题:从硬件检查到驱动加载

SSV6x5x WiFi模块深度排障指南:从硬件信号到驱动加载全流程解析 当你的开发板上的SSV6155或SSV6255 WiFi模块突然"消失"时,那种感觉就像在迷宫里失去了指南针。作为嵌入式开发者,我们需要的不是泛泛而谈的理论,而是一套…...

Rhino 7 + Grasshopper 新手避坑指南:这5个隐藏设置不打开,效率直接减半

Rhino 7 Grasshopper 新手避坑指南:这5个隐藏设置不打开,效率直接减半 刚接触Rhino和Grasshopper的新手设计师们,往往会被默认界面中那些看似无害实则拖累效率的"隐形陷阱"困扰。当你在深夜赶项目时,是否经历过反复切…...

MCP C# SDK v. 正式发布

OCP原则 ocp指开闭原则,对扩展开放,对修改关闭。是七大原则中最基本的一个原则。 依赖倒置原则(DIP) 什么是依赖倒置原则 核心是面向接口编程、面向抽象编程, 不是面向具体编程。 依赖倒置原则的目的 降低耦合度&#…...

KeysPerSecond终极指南:实时键盘操作监控与性能优化神器

KeysPerSecond终极指南:实时键盘操作监控与性能优化神器 【免费下载链接】KeysPerSecond A keys-per-second meter & counter. Written for osu! but should work for other rhythm games too. 项目地址: https://gitcode.com/gh_mirrors/ke/KeysPerSecond …...