Redisson 分布式锁源码 06:公平锁排队加锁
前言#
在上一篇文章中已经分析过公平锁的加锁源码,并得出结论:
- Redis Hash 数据结构:存放当前锁,Redis Key 就是锁,Hash 的 field 是加锁线程,Hash 的 value 是 重入次数;
- Redis List 数据结构:充当线程等待队列,新的等待线程会使用 rpush 命令放在队列右边;
- Redis sorted set 有序集合数据结构:存放等待线程的顺序,分数 score 用来是等待线程的超时时间戳。
现在看一下加锁失败被放到等待队列之后,线程是如何处理的?
排队等锁#
源码入口:org.redisson.RedissonLock#lock(long, java.util.concurrent.TimeUnit, boolean)
。
线程进入排队之后,在 Java 代码中会 while (true)
一直循环调用 tryAcquire
,尝试获取锁。
最终还是来到 RedissonFairLock#tryLockInnerAsync
方法中。
方便起见,重新贴一下 Lua 脚本,以及脚本的参数含义。
- KEYS[1]:加锁的名字,
anyLock
; - KEYS[2]:加锁等待队列,
redisson_lock_queue:{anyLock}
; - KEYS[3]:等待队列中线程锁时间的 set 集合,
redisson_lock_timeout:{anyLock}
,是按照锁的时间戳存放到集合中的; - ARGV[1]:锁超时时间 30000
- ARGV[2]:UUID:ThreadId 组合
a3da2c83-b084-425c-a70f-5d9a08b37f31:1
- ARGV[3]:threadWaitTime 默认 300000
- ARGV[4]:currentTime 当前时间戳
源码分析#
第一部分,while 循环:
- 从等待队列
redisson_lock_queue:{anyLock}
中获取第一个等待线程; - 从等待线程超时集合
redisson_lock_timeout:{anyLock}
中获取第一个等待线程的分数; - 没有超时,直接结束,超时了,则直接移除。
第二部分,当前锁存在,直接跳过。
第三部分,当前锁不是持锁线程,直接跳过。
第四部分,
直接返回当前锁还有多久到期。
当前 Redisson 版本为 3.15.6,不同版本的略有不同。
队列重排#
这里不存在重新排序,因为官方认为这是一个 bug,重新进行了修复。
具体可以阅读:Justin Corpron 2019/5/10, 04:13 Fix timeout drift in RedissonFairLock
最大的变化就是增加了第四部分。
图仅仅代表两个版本的差别,并不是代表这个版本才修改。
总结#
当线程获取锁失败,进入到等待队列时,ttl != null
,在 Java 代码中会不断尝试获取锁。
当锁不存在且当前线程是在等待队列头时,直接获得锁。这个排队的过程就是公平锁的提现。
相关推荐#
作者:程序员小航
出处:https://www.cnblogs.com/liuzhihang/p/14984781.html
版权:本作品采用「署名-非商业性使用-相同方式共享 4.0 国际」许可协议进行许可。
欢迎关注个人公众号:『 程序员小航 』
【推荐】国内首个AI IDE,深度理解中文开发场景,立即下载体验Trae
【推荐】编程新体验,更懂你的AI,立即体验豆包MarsCode编程助手
【推荐】抖音旗下AI助手豆包,你的智能百科全书,全免费不限次数
【推荐】轻量又高性能的 SSH 工具 IShell:AI 加持,快人一步
· go语言实现终端里的倒计时
· 如何编写易于单元测试的代码
· 10年+ .NET Coder 心语,封装的思维:从隐藏、稳定开始理解其本质意义
· .NET Core 中如何实现缓存的预热?
· 从 HTTP 原因短语缺失研究 HTTP/2 和 HTTP/3 的设计差异
· 周边上新:园子的第一款马克杯温暖上架
· 分享 3 个 .NET 开源的文件压缩处理库,助力快速实现文件压缩解压功能!
· Ollama——大语言模型本地部署的极速利器
· 使用C#创建一个MCP客户端
· 分享一个免费、快速、无限量使用的满血 DeepSeek R1 模型,支持深度思考和联网搜索!