Redisson 实现分布式锁源码浅析

大家好,我是此林。

今天来分享Redisson分布式锁源码。还是一样,我们用 问题驱动 的方式展开讲述。

1. redis 中如何使用 lua 脚本?

Redis内置了lua解释器,lua脚本有两个好处:

1. 减少多次Redis命令的网络传输开销。(当然也可以使用pipline命令)

2. lua脚本所有命令能保证原子性,隔离性(Redis单线程),失败回滚

综上所述,Redis中如果想要实现事务操作,可以使用lua脚本。

Redis 本身也可以使用 MULTI + WATCH乐观锁 来实现,但是它只能保证命令执行的顺序性,无法保证失败回滚,无法保证原子性。

所以,一般推荐使用 lua 脚本。

使用案例:

现在我们要去执行redis命令:

HSET info name john 

1. lua脚本

local hash_key = KEYS[1]    -- 哈希结构的键名(外部传入)
local key = ARGV[1]         -- 哈希字段(外部传入)
local value = ARGV[2]       -- 哈希字段值(外部传入)return redis.call('HSET', hash_key, key, value)

因为KEYS[1]、ARGV[1]等都是外部传入,所以可以简化。

return redis.call('HSET', KEYS[1], ARGV[1], ARGV[2])

redis.call()就是执行redis命令。

2. redis 命令

EVAL "return redis.call('HSET', KEYS[1], ARGV[1], ARGV[2])" 1 info name john

这里的1代表传入一个key。

2. 如何使用Redisson?

这里的 

boolean isLock = lock.tryLock(1, 10, TimeUnit.SECONDS);

是获取锁,第一个1表示:锁超时等待时间,在1秒内会不断重试获取锁,直到获取到。

第二个10表示:锁释放时间,为10秒(防止java服务获取到锁后,突然宕机,导致redis锁永远不会被释放,避免造成死锁问题。)

3. Redisson源码?

3.1. Redisson如何实现锁重入?

其实归根结底,就是这段代码。Redisson本质上是使用hash结构来标志锁的,可能我们经常听到说用setnx命令来实现分布式锁,但是setnx无法实现锁的重入。

所以Redisson用 hash(计数) + lua脚本(原子性)实现可重入分布式锁。

先说明下参数:

KEYS[1]:hash结构的键名,也就是我们之前手动指定的 anylock

ARGV[1]:锁的释放时间

ARGV[2]:hash结构的字段的键名,UUID:线程id

我们直接去看redis:

anyLock这个hash结构里,

有字段的key为c3341b71-6edd-4db8-b626-9135cf727fd4:1,value为1

了解了锁的结构后,我们再来看lua脚本。

一图胜千言,总的来说,

第一个if:处理线程第一次获取锁

第二个if:处理线程重入获取锁

最后:发现锁已经被占有,返回剩余ttl(过期时间)。



3.2. 如果抢锁失败呢?

之前说的锁的设置,其实就是图中框起来的方法里的实现。

接下来,如果ttl为null,抢锁成功了,直接返回true。

如果ttl不为null,说明抢锁失败了,会去计算等待时间是否充足。

这里的等待时间就是我们之前手动设置的1秒钟。

如果锁等待时间还充足,那么执行它会去用pub-sub机制去 订阅锁释放事件。(避免轮询 Redis 造成的性能损耗。

如果订阅超时,触发失败回调,返回false。 

那么订阅成功了之后呢?会再次尝试抢锁。

还不行,那只能信号量挂起,具体通过 SemaphoregetLatch())挂起当前线程,等待锁释放的 Pub/Sub 通知。 

总结一下抢锁流程:

抢锁成功,直接返回;抢锁失败,pub/sub机制订阅锁释放事件,通过信号量挂起线程,直到收到锁释放的消息才被唤醒。

3.3. 解锁流程是怎么样的?

看下图。本质还是那一段lua脚本。

先看下锁是不是线程自己的,不是的话直接返回null。

如果锁是自己的,计数器减1。

如果减1操作后还大于0,说明重入的还没完,刷新锁的超时释放时间。

如果减1后小于等于0,直接删除,发布锁删除事件。

  • 返回nil表示锁不属于当前线程,应抛出异常。
  • 返回0表示锁未完全释放,仅更新了过期时间。
  • 返回1表示锁已释放,并发布事件。

3.4. Redisson的看门狗机制?

看门狗主要用于 ​解决锁的自动续期问题,避免因业务执行时间过长导致锁超时自动释放。

注意一点:如果我们显式指定了leaseTime参数,看门狗机制就不会生效。这时候锁的过期时间由用户控制。

像我们之前手动指定了锁释放时间10秒,它就不会走看门狗机制,Redisson默认锁释放时间是30秒。(见下图,单位毫秒)

在scheduledExpirationRenewal方法里,其实就是用了netty的时间轮进行定时任务调度,每隔10秒重置锁时间为30秒,直到业务执行结束。

每次续期成功后,会递归调用 renewExpiration(),形成 ​无限续期链,直到锁被释放(主动释放或者客户端宕机)。

关于​ 时间轮,这是一种高效的定时任务调度设计

感兴趣的朋友可以去看下之前写的文章:

时间轮:XXL-JOB 高效、精准定时任务调度实现思路分析_xxljob fasttriggerpool slowtrigger-CSDN博客

至于为什么不使用ScheduledThreadPoolExecutor?

是因为ScheduledThreadPoolExecutor的底层结构:基于优先级队列(堆实现)。插入任务的时间复杂度 O(log n),每次插入需调整堆结构。

使用时间轮插入任务的时间复杂度为 O(1),直接哈希到时间槽(Bucket),并且支持同一槽内任务批量触发。

3.5. Redisson怎么解决死锁的?

主要就是设置了锁的超时释放时间,客户端宕机了会自动超时释放。

然后还有一点支持重入,如果同一个线程两次去获取锁,因为支持重入,第二次就不会阻塞等待自己释放锁了。

至于说看门狗机制会无限续期,客户端宕机了就续期不了,不会导致死锁。

那你说:业务要是无限阻塞,永远执行不完呢?

这个也不大可能,为什么业务会无限阻塞?这个时候肯定需要人工介入去排查问题了。

今天的分享就到这里了,我是此林。

关注我吧,带你看不一样的世界!

本文来自互联网用户投稿,该文观点仅代表作者本人,不代表本站立场。本站仅提供信息存储空间服务,不拥有所有权,不承担相关法律责任。如若转载,请注明出处:http://www.mzph.cn/pingmian/72397.shtml

如若内容造成侵权/违法违规/事实不符,请联系多彩编程网进行投诉反馈email:809451989@qq.com,一经查实,立即删除!

相关文章

【软件】免费的PDF全文翻译软件,能保留公式图表的样式

转载请注明出处:小锋学长生活大爆炸[xfxuezhagn.cn] 如果本文帮助到了你,欢迎[点赞、收藏、关注]哦~ 很多PDF全文翻译软件都是收费的,而划线翻译看着又很累。这个开源的PDF全文翻译软件非常好用,并且能够保留公式、图表、目录和注…

CentOS 7 系统上安装 SQLite

1. 检查系统更新 在安装新软件之前,建议先更新系统的软件包列表,以确保使用的是最新的软件源和补丁。打开终端,执行以下命令: sudo yum update -y -y 选项表示在更新过程中自动回答 “yes”,避免手动确认。 2. 安装 …

Gin(后端)和 Vue3(前端)中实现 Server-Sent Events(SSE)推送

在 Gin(后端)和 Vue3(前端)中实现 Server-Sent Events(SSE)推送,主要分为以下几个步骤: 后端(Gin)实现 SSE Gin 框架可以使用 c.SSEvent 方法来推送 SSE 事…

大模型微调中显存占用和训练时间的影响因素

BatchSize 显存占用:与batch_size呈线性关系,可理解为 M t o t a l M f i x e d B a t c h S i z e ∗ M p e r − s a m p l e M_{total}M_{fixed}BatchSize*M_{per-sample} Mtotal​Mfixed​BatchSize∗Mper−sample​,其中 M f i x e d…

【排序算法对比】快速排序、归并排序、堆排序

排序算法对比:快速排序、归并排序、堆排序 1. 快速排序(Quick Sort) 原理 快速排序采用 分治法(Divide and Conquer),通过选取基准值(pivot),将数组划分为 小于基准值…

PentestGPT 下载

PentestGPT 下载 PentestGPT 介绍 PentestGPT(Penetration Testing GPT)是一个基于大语言模型(LLM)的智能渗透测试助手。它结合了 ChatGPT(或其他 GPT 模型)与渗透测试工具,帮助安全研究人员自…

防火墙虚拟系统实验

一实验拓扑 二实验过程 配置资源 创建虚拟系统 配置管理员 创建安全策略

代码随想录算法训练营第31天 | 56. 合并区间 738.单调递增的数字 968.监控二叉树

56. 合并区间 代码随想录 56. 合并区间 - 力扣&#xff08;LeetCode&#xff09; class Solution {public int[][] merge(int[][] intervals) {Arrays.sort(intervals,(a,b)->{if(a[0] b[0])return a[1] - b[1];return a[0] - b[0];});List<int[]> result new Arra…

Go语言对于MySQL的基本操作

一.下载依赖 终端中输入&#xff1a; go get -u github.com/go-sql-driver/mysql 导入包 import ("database/sql"_ "github.com/go-sql-driver/mysql" ) 二.案例 package main//go get-u github.com/go-sql-driver/mysql 获取驱动 import ("databa…

Linux与深入HTTP序列化和反序列化

深入HTTP序列化和反序列化 本篇介绍 在上一节已经完成了客户端和服务端基本的HTTP通信&#xff0c;但是前面的传递并没有完全体现出HTTP的序列化和反序列化&#xff0c;为了更好得理解其工作流程&#xff0c;在本节会以更加具体的方式分析到HTTP序列化和反序列化 本节会在介绍…

基于Python+SQLite实现(Web)验室设备管理系统

实验室设备管理系统 应用背景 为方便实验室进行设备管理&#xff0c;某大学拟开发实验室设备管理系统 来管理所有实验室里的各种设备。系统可实现管理员登录&#xff0c;查看现有的所有设备&#xff0c; 增加设备等功能。 开发环境 Mac OSPyCharm IDEPython3Flask&#xff…

深拷贝and浅拷贝!

一、什么是拷贝&#xff1f;什么是深拷贝和浅拷贝&#xff1f; &#xff08;1&#xff09;拷贝&#xff1a;拷贝就是为了复用原对象的部分or全部数据&#xff0c;在原对象的基础上通过复制的方式创建一个新的对象。 拷贝对象可以分为三种类型&#xff1a;直接赋值、浅拷贝和深拷…

高频面试题(含笔试高频算法整理)基本总结回顾43

干货分享&#xff0c;感谢您的阅读&#xff01; &#xff08;暂存篇---后续会删除&#xff0c;完整版和持续更新见高频面试题基本总结回顾&#xff08;含笔试高频算法整理&#xff09;&#xff09; 备注&#xff1a;引用请标注出处&#xff0c;同时存在的问题请在相关博客留言…

《灵珠觉醒:从零到算法金仙的C++修炼》卷三·天劫试炼(34)混元金斗装万物 - 0-1背包问题(二维DP)

《灵珠觉醒:从零到算法金仙的C++修炼》卷三天劫试炼(34)混元金斗装万物 - 0-1背包问题(二维DP) 哪吒在数据修仙界中继续他的修炼之旅。这一次,他来到了一片神秘的混元谷,谷中有一座巨大的混元金斗,斗身闪烁着神秘的光芒。谷口有一块巨大的石碑,上面刻着一行文字:“欲…

网络爬虫【简介】

我叫补三补四&#xff0c;很高兴见到大家&#xff0c;欢迎一起学习交流和进步 今天来讲一讲视图 一、网络爬虫的定义 网络爬虫&#xff08;Web Crawler&#xff09;&#xff0c;又称为网络蜘蛛、网络机器人等&#xff0c;是一种按照一定规则自动抓取互联网信息的程序或脚本。它…

​AI时代到来,对电商来说是效率跃升,还是温水煮青蛙

​凌晨三点的义乌商贸城&#xff0c;95后创业者小王&#xff0c;静静地盯着屏幕上的AI工具&#xff0c;竟露出了笑容。这个月他的跨境玩具店销量提升了不少&#xff0c;从之前的状态翻了3倍&#xff1b;而且团队人数有所变化&#xff0c;从5人缩减到了2人&#xff08;其中包括他…

PDF文件密码保护破解:安全解密的步骤与技巧

PDF文件加密后&#xff0c;需要特定的密码才能访问内容。以下是一些常见的方法来解密PDF文件&#xff1a; 方法一&#xff1a;使用Adobe Acrobat 如果你有Adobe Acrobat Pro&#xff0c;可以使用它来解密PDF文件。 打开Adobe Acrobat Pro&#xff1a; 启动Adobe Acrobat Pro…

qt 自带虚拟键盘的编译使用记录

一、windows 下编译 使用vs 命令窗口&#xff0c;分别执行&#xff1a; qmake CONFIG"lang-en_GB lang-zh_CN" nmake nmake install 如果事先没有 指定需要使用的输入法语言就进行过编译&#xff0c;则需要先 执行 nmake distclean 清理后执行 qmake 才能生效。 …

Java开发之数据库应用:记一次医疗系统数据库迁移引发的异常:从MySQL到PostgreSQL的“dual“表陷阱与突围之路

记一次医疗系统数据库迁移引发的异常&#xff1a;从MySQL到PostgreSQL的"dual"表陷阱与突围之路 一、惊魂时刻&#xff1a;数据库切换引发的系统雪崩 某医疗影像系统在进行国产化改造过程中&#xff0c;将原MySQL数据库迁移至PostgreSQL。迁移完成后&#xff0c;系…

C++刷题(二):栈 + 队列

&#x1f4dd;前言说明&#xff1a; 本专栏主要记录本人的基础算法学习以及刷题记录&#xff0c;使用语言为C。 每道题我会给出LeetCode上的题号&#xff08;如果有题号&#xff09;&#xff0c;题目&#xff0c;以及最后通过的代码。没有题号的题目大多来自牛客网。对于题目的…