锁重试和续约? Redisson: 不错, 正是在下 (源码解读)

2024-01-05 18:40

本文主要是介绍锁重试和续约? Redisson: 不错, 正是在下 (源码解读),希望对大家解决编程问题提供一定的参考价值,需要的开发者们随着小编来一起学习吧!

♨️本篇文章记录的为Redisson 相关内容,适合在学Java的小白,帮助新手快速上手,也适合复习中,面试中的大佬🙉🙉🙉。
♨️如果文章有什么需要改进的地方还请大佬不吝赐教❤️🧡💛
👨‍🔧 个人主页 : 阿千弟
⚡> 点击这里👉👉👉 : Redis专栏学习

文章目录

    • 🍓为什么使用Redisson
      • 应用场景
      • 问题解决
      • 使用 Redisson 的可重入锁可以解决上述问题。
    • 🍉了解Redisson
      • Redisson 简介
      • 可重入锁
    • 🍅Redisson的锁重入源码解读
      • 废话不多说, 我们直接进入源码
    • 🍊WatchDog续约(续命)源码解读
      • 场景
      • 进入源码
    • 总结
      • 执行流程
      • Redisson分布式锁原理:

🍓为什么使用Redisson

应用场景

请求 a 的锁过期,但其业务还未执行完毕;请求 b 申请到了锁,其也正在处理业务。如果此时两个请求都同时修改了共享的库存数据,那么就又会出现数据不一致的问题,即仍然存在并发问题。在高并发场景下,问题会被无限大。

问题解决

对于该问题,可以采用“锁续约”方式解决

  1. 在当前业务进程开始执行时,fork 出一个子进程,用于启动一个定时任务。
  2. 该定时任务的定时时间小于锁的过期时间,其会定时查看处理当前请求的业务进程的锁是否已被删除。
  3. 如果已被删除,则子进程结束;如果未被删除,说明当前请求的业务还未处理完毕,则将锁的时间重新设置为“原过期时间”。
  4. 这种方式称为锁续约,也称为锁续命。

使用 Redisson 的可重入锁可以解决上述问题。

Redisson 内部使用 Lua 脚本实现了对可重入锁的添加、重入、续约(命)、释放。Redisson需要用户为锁指定一个 key,但无需为锁指定过期时间,因为它有默认过期时间(当然,也可指定)。由于该锁具有“可重入”功能,所以 Redisson 会为该锁生成一个计数器,记录一个线程重入锁的次数。

在这里插入图片描述

🍉了解Redisson

Redisson 简介

在生产中,对于 Redisson 使用最多的场景就是其分布式锁 RLock。当然,RLock 仅仅是Redisson 的线程同步方案之一。Redisson 提供了 8 种线程同步方案,用户可针对不同场景选用不同方案。

需要注意的是,为了避免锁到期但业务逻辑没有执行完毕而引发的多个线程同时访问共享资源的情况发生,Redisson 内部为锁提供了一个监控锁的看门狗 watch dog,其会在锁到期前不断延长锁的到期时间,直到锁被主动释放。即会自动完成“锁续命”。

可重入锁

Redisson 的分布式锁 RLock 是一种可重入锁。当一个线程获取到锁之后,这个线程可以再次获取本对象上的锁,而其他的线程是不可以的。

  • JDK 中的 ReentrantLock 是可重入锁,其是通过 AQS(抽象队列同步器)实现的锁机制
  • synchronized 也是可重入锁,其是通过监视器模式(本质是 OS 的互斥锁)实现的锁机制

🍅Redisson的锁重入源码解读

废话不多说, 我们直接进入源码

在这里插入图片描述

  • waitTime : 获取锁的最大等待时长, 第一次获取锁失败不会立即返回, 而是在等待时间内不断的尝试, 如果这个时间结束了都还没获取成功, 才返回false
  • lease : 锁自动失效释放的时间
  • unit : 时间单位

点进去查看 tryAcquire 发现内部调用的是 tryAcquireAsync

在这里插入图片描述
查看 tryAcquireAsync 内部方法

在这里插入图片描述

查看 tryLockInnerAsync 内部方法

在这里插入图片描述
lua脚本部分执行成功返回的是nil (类似于我们java中的null), 执行失败了反而返回一个结果 : redis.call ( ‘pttl’, KEYS[1] ) 也就是锁的剩余的有效期

执行了pttl命令, KEYS[1]是锁的名称, pttl和ttl效果是类似的, 都是获取key的剩余有效期, 只不过ttl返回的是s为单位, pttl返回的是ms为单位

现在已经拿到了锁的有效期, 我们现在往回倒一步

在这里插入图片描述
把RFuture返回以后, 这里就有回到了这里 get(tryAcquireAsync((wait, leaseTime, threadId))
get方法就是获取阻塞等待RFuther结果, 等待得到的剩余有效期

在这里插入图片描述

这时就回到了这里

在这里插入图片描述

在这里插入图片描述

这里的subscribe就是订阅释放锁的lua脚本中的publish
如果等待结束还没有收到通知就取消订阅, 并返回获取锁失败

在这里插入图片描述
在这里插入图片描述

if (ttl>=0 && ttl < time)
  • ttl小于time(等待时间), 代表在等待之间锁就已经释放了
  • ttl大于time(等待时间), 如果等了time的时间, 经过time的时间,锁还没有被释放, 也就没必要等了

在这里插入图片描述
如果时间还很充足, 就继续while(true)执行上面的代码, 不停的尝试等待,不断的进行这样的循环

这里设计的巧妙之处就在于利用了消息订阅, 信号量的机制, 它不是无休止的这种盲等机制, 也避免了不断的重试, 而是检测到锁被释放才去尝试重新获取, 这对CPU十分的友好

在这里插入图片描述

🍊WatchDog续约(续命)源码解读

场景

Redisson锁重试的问题是解决了, 但是总会发生一些问题, 如果我们的业务阻塞超时了ttl到期了, 别的线程看见我们的ttl到期了, 他重试他就会拿到本该属于我们的锁, 这时候就有安全问题了, 所以该怎么解决?

我们必须确保锁是业务执行完释放的, 而不是因为阻塞而释放的

进入源码

我们再次来看这段代码
在这里插入图片描述

当我们没有设置leaseTime的时候, 也就是leaseTime=-1的时候就用看门狗过期时间来获取锁
watchTimeout默认时间是30s

在这里插入图片描述

当ttlRemainingFuture的异步尝试获取锁完成以后, 先判断执行过程中是否有异常, 如果有异常就直接返回了结束执行.
如果没有发生异常, 则判断ttlRemaining(剩余有效期)是否为空, 为空的话就代表获取锁成功, 执行锁到期续约的核心方法scheduleExpectationRenew

进入scheduleExpectationRenew方法中查看

在这里插入图片描述

这里面的EXPIRATION_RENEWAL_MAP中的key很有意思, 我们进去看一下

在这里插入图片描述
清楚的发现 entryName由 id 和 name 两部分组成
id就是当前的这个连接的id, name 就是 当前锁的名称

在这里插入图片描述

这就好办了, 我们可以这样理解getEntryName获得的就是锁的名称, 而这个EXPIRATION_RENEWAL_MAP是静态的, 那么RedissonLock类的所有实例就都可以看到这个map
而一个RedissonLock类可以创建出很多锁的实例, 每一个锁都会有自己的名字, 那么在这个map中就会有唯一的key也就是getEntryName()与唯一的entry相对应

  • 如果是第一次创建entrymap里放的时候, 这个entry肯定不存在, 所以调用的是putIfAbsent, 这时候往map中放入的就是一个全新的entry, 返回值就是null
  • 如果不是第一次放入,放入的是重入的entry的话, putIfAbsent返回的就是旧的oldEntry

这样做是为了保证同一个锁拿到的永远是同一个entry

下面是更新有效期的方法renewExpectation

internalLockLeaseTime是这样来的
在这里插入图片描述
在这里插入图片描述
这个方法主要开启一段定时任务, 不断的去更新有效期, 定时任务的的时间就是 看门狗时间/3, 也就是10s后刷新有效期

10s后做这样一件事
在这里插入图片描述

刷新有效期
在这里插入图片描述
这段lua脚本重置有效期, 满血复活
在这里插入图片描述
这里实现了递归, 一直调用自己, 这就是锁永不过期的原因

那么问题来了,什么时候释放锁呢?

当然是在释放锁的时候

在这里插入图片描述
在这里插入图片描述

先从map中取出任务, 先移除任务的线程Id, 再取消这个任务, 最后再移除entry
到这里看门狗的流程就已经结束了

总结

执行流程

在这里插入图片描述

Redisson分布式锁原理:

  • 可重入:利用hash结构记录线程id和重入次数
  • 可重试:利用信号量和PubSub功能实现等待、唤醒,获取锁失败的重试机制
  • 超时续约:利用watchDog,每隔一段时间(releaseTime), 重置超时时间

在这里插入图片描述

如果这篇【文章】有帮助到你💖,希望可以给我点个赞👍,创作不易,如果有对Java后端或者对redis感兴趣的朋友,请多多关注💖💖💖
👨‍🔧 个人主页 : 阿千弟

这篇关于锁重试和续约? Redisson: 不错, 正是在下 (源码解读)的文章就介绍到这儿,希望我们推荐的文章对编程师们有所帮助!



http://www.chinasem.cn/article/573796

相关文章

Java序列化之serialVersionUID的用法解读

《Java序列化之serialVersionUID的用法解读》Java序列化之serialVersionUID:本文介绍了Java对象的序列化和反序列化过程,强调了serialVersionUID的作... 目录JavChina编程a序列化之serialVersionUID什么是序列化为什么要序列化serialV

Java中Redisson 的原理深度解析

《Java中Redisson的原理深度解析》Redisson是一个高性能的Redis客户端,它通过将Redis数据结构映射为Java对象和分布式对象,实现了在Java应用中方便地使用Redis,本文... 目录前言一、核心设计理念二、核心架构与通信层1. 基于 Netty 的异步非阻塞通信2. 编解码器三、

Linux jq命令的使用解读

《Linuxjq命令的使用解读》jq是一个强大的命令行工具,用于处理JSON数据,它可以用来查看、过滤、修改、格式化JSON数据,通过使用各种选项和过滤器,可以实现复杂的JSON处理任务... 目录一. 简介二. 选项2.1.2.2-c2.3-r2.4-R三. 字段提取3.1 普通字段3.2 数组字段四.

MySQL之搜索引擎使用解读

《MySQL之搜索引擎使用解读》MySQL存储引擎是数据存储和管理的核心组件,不同引擎(如InnoDB、MyISAM)采用不同机制,InnoDB支持事务与行锁,适合高并发场景;MyISAM不支持事务,... 目录mysql的存储引擎是什么MySQL存储引擎的功能MySQL的存储引擎的分类查看存储引擎1.命令

Spring的基础事务注解@Transactional作用解读

《Spring的基础事务注解@Transactional作用解读》文章介绍了Spring框架中的事务管理,核心注解@Transactional用于声明事务,支持传播机制、隔离级别等配置,结合@Tran... 目录一、事务管理基础1.1 Spring事务的核心注解1.2 注解属性详解1.3 实现原理二、事务事

Linux五种IO模型的使用解读

《Linux五种IO模型的使用解读》文章系统解析了Linux的五种IO模型(阻塞、非阻塞、IO复用、信号驱动、异步),重点区分同步与异步IO的本质差异,强调同步由用户发起,异步由内核触发,通过对比各模... 目录1.IO模型简介2.五种IO模型2.1 IO模型分析方法2.2 阻塞IO2.3 非阻塞IO2.4

MySQL8.0临时表空间的使用及解读

《MySQL8.0临时表空间的使用及解读》MySQL8.0+引入会话级(temp_N.ibt)和全局(ibtmp1)InnoDB临时表空间,用于存储临时数据及事务日志,自动创建与回收,重启释放,管理高... 目录一、核心概念:为什么需要“临时表空间”?二、InnoDB 临时表空间的两种类型1. 会话级临时表

java 恺撒加密/解密实现原理(附带源码)

《java恺撒加密/解密实现原理(附带源码)》本文介绍Java实现恺撒加密与解密,通过固定位移量对字母进行循环替换,保留大小写及非字母字符,由于其实现简单、易于理解,恺撒加密常被用作学习加密算法的入... 目录Java 恺撒加密/解密实现1. 项目背景与介绍2. 相关知识2.1 恺撒加密算法原理2.2 Ja

Nginx屏蔽服务器名称与版本信息方式(源码级修改)

《Nginx屏蔽服务器名称与版本信息方式(源码级修改)》本文详解如何通过源码修改Nginx1.25.4,移除Server响应头中的服务类型和版本信息,以增强安全性,需重新配置、编译、安装,升级时需重复... 目录一、背景与目的二、适用版本三、操作步骤修改源码文件四、后续操作提示五、注意事项六、总结一、背景与

Android实现图片浏览功能的示例详解(附带源码)

《Android实现图片浏览功能的示例详解(附带源码)》在许多应用中,都需要展示图片并支持用户进行浏览,本文主要为大家介绍了如何通过Android实现图片浏览功能,感兴趣的小伙伴可以跟随小编一起学习一... 目录一、项目背景详细介绍二、项目需求详细介绍三、相关技术详细介绍四、实现思路详细介绍五、完整实现代码