百度360必应搜狗淘宝本站头条
当前位置:网站首页 > 技术分类 > 正文

Redisson 分布式锁源码 01:可重入锁加锁

ztj100 2024-11-04 15:16 42 浏览 0 评论


前言

相信小伙伴都是使用分布式服务,那一定绕不开分布式服务中数据并发更新问题!

单系统很容易想到 Java 的各种锁,像 synchronize、ReentrantLock 等等等,那分布式系统如何处理?

当然是使用分布式锁。

如果小伙伴不知道什么是分布式锁,那推荐看看石杉老师的突击课或者在网上搜一搜相关资料。

当使用 Redis 作为分布式锁时,当前使用较多的框架就是 Redisson。

当然 Redisson 也不仅仅只能当做锁来使用,也有很多其他的功能,小伙伴们可以看一看官方文档,自己多动手实践一下。

下面就开始记录 Redisson 的相关笔记!错误之处,欢迎指正。

环境配置

  • 本地环境搭建的伪集群:
  • redisson 3.15.6

不同版本可能会有所不同,但是核心思想不会发生太大变化,如果变化很大,希望可以留言。

<dependency>
    <groupId>org.redisson</groupId>
    <artifactId>redisson</artifactId>
    <version>3.15.6</version>
</dependency>
  • 项目准备

一个简单的 maven 项目,只需要一个 Main 方法即可。

可重入锁加锁

在 lock.lock() 断点,作为源码入口。

默认加锁,什么参数也没有传递。但是这里会设置 leaseTime = -1。这个 leaseTime 的含义是加锁的时间

剩下的一路挺进即可。

在调用 tryAcquire 方法之前,多了一个参数 threadId,是当前线程的 id,long 型正数。

异步加锁

直接来到 tryAcquireAsync 异步加锁方法。

tryAcquireAsync

前面已经说了 leaseTime 是 -1,所以这里会走到下面的方法中。

至此几个参数已经清楚:

  1. waitTime:-1;
  2. internalLockLeaseTime:使用默认时间 30000 毫秒;
  3. TimeUnit.MILLISECONDS:单位毫秒;
  4. threadId:线程 id;
  5. RedisCommands.EVAL_LONG:eval。

Redis eval 命令的相关文档可以阅读:https://redis.io/commands/eval

加锁逻辑

真正的加锁,其实就是这么一段 lua 脚本。

先说明一下 lua 脚本的参数信息:

  1. KEYS[1]:getRawName(),加锁的 key ,比如 anyLock;
  2. ARGV[1]:unit.toMillis(leaseTime),锁的毫秒时间,比如 30000;
  3. ARGV[2]:getLockName(threadId),是 UUID 和线程 id 拼接起来的字符串,比如 931573de-903e-42fd-baa7-428ebb7eda80:1。

因为使用的是 lua 脚本,可以保证这一块 lua 脚本的原子性

首次加锁分析:

  1. exists 命令判断 redis anyLock 是否存在;
  2. 不存在,使用 hincrby 命令,创建 anyLock 数据;
  3. 对 anyLock 设置过期时间。

加锁后 Redis 内的数据格式是:

关于 Redis 的 Hash 数据结构可以阅读:https://redis.io/topics/data-types#hashes

抽象一点可以理解为 anyLock 下面挂着一个 K-V 结构的数据:

"anyLock":{
    "f400aad5-4b1f-4246-a81e-80c2717c3afb:1":"1"
}

执行脚本

后续的内容就是进行请求执行 lua 脚本,唯一需要注意的地方就是有个哈希槽路由。

这块代码是在 CommandAsyncService#evalWriteAsync 方法处调用的,是为了获取一个 NodeSource。

当然这个 NodeSource 里面只存放了一个 slot(哈希槽值)。

这个 slot 值是对加锁的 key 使用 CRC16 算法计算出来的。

// MAX_SLOT 默认 16384
int result = CRC16.crc16(key.getBytes()) % MAX_SLOT;

这块计算一个 slot 到底有什么用呢?

继续追踪!

BaseRedisBatchExecutor#addBatchCommandData 在这里会从 source 里面获取到 solt,然后获得 MasterSlaveEntry。

大概可以理解为这里是获取到这个 Redis key 对应的节点。

可重入

既然是可重入锁,这块是支持可重入的,来看下可重入是如何保证的。

  1. exists 命令判断 redis key field 是否存在;
  2. 存在 则通过 hincrby 命令对 key 的 field 对应 value 自增;
  3. 为当前 redis key 设置过期时间。

加锁互斥

上面已经验证了两种情况:

  1. redis key 不存在;
  2. redis key 和 key 的 field 存在。

剩下的情况就是 key 存在的情况下,但是 field 不存在。

要知道 key 的 field 放的是 UUID:ThreadId,说明加锁的不是当前线程。这时候直接返回当前锁的剩余时间。

总结

本文主要介绍了 Redisson 可重入锁的加锁、锁重入、锁互斥逻辑。

核心重点在 lua 脚本。 同时需要理解 Redis 的 Hash 数据结构。

同时需要记住,在未指定加锁时间时,默认使用的是 30s。

最后,一张图介绍本文加锁逻辑。

相关推荐

再说圆的面积-蒙特卡洛(蒙特卡洛方法求圆周率的matlab程序)

在微积分-圆的面积和周长(1)介绍微积分方法求解圆的面积,本文使用蒙特卡洛方法求解圆面积。...

python编程:如何使用python代码绘制出哪些常见的机器学习图像?

专栏推荐...

python创建分类器小结(pytorch分类数据集创建)

简介:分类是指利用数据的特性将其分成若干类型的过程。监督学习分类器就是用带标记的训练数据建立一个模型,然后对未知数据进行分类。...

matplotlib——绘制散点图(matplotlib散点图颜色和图例)

绘制散点图不同条件(维度)之间的内在关联关系观察数据的离散聚合程度...

python实现实时绘制数据(python如何绘制)

方法一importmatplotlib.pyplotaspltimportnumpyasnpimporttimefrommathimport*plt.ion()#...

简单学Python——matplotlib库3——绘制散点图

前面我们学习了用matplotlib绘制折线图,今天我们学习绘制散点图。其实简单的散点图与折线图的语法基本相同,只是作图函数由plot()变成了scatter()。下面就绘制一个散点图:import...

数据分析-相关性分析可视化(相关性分析数据处理)

前面介绍了相关性分析的原理、流程和常用的皮尔逊相关系数和斯皮尔曼相关系数,具体可以参考...

免费Python机器学习课程一:线性回归算法

学习线性回归的概念并从头开始在python中开发完整的线性回归算法最基本的机器学习算法必须是具有单个变量的线性回归算法。如今,可用的高级机器学习算法,库和技术如此之多,以至于线性回归似乎并不重要。但是...

用Python进行机器学习(2)之逻辑回归

前面介绍了线性回归,本次介绍的是逻辑回归。逻辑回归虽然名字里面带有“回归”两个字,但是它是一种分类算法,通常用于解决二分类问题,比如某个邮件是否是广告邮件,比如某个评价是否为正向的评价。逻辑回归也可以...

【Python机器学习系列】拟合和回归傻傻分不清?一文带你彻底搞懂

一、拟合和回归的区别拟合...

推荐2个十分好用的pandas数据探索分析神器

作者:俊欣来源:关于数据分析与可视化...

向量数据库:解锁大模型记忆的关键!选型指南+实战案例全解析

本文较长,建议点赞收藏,以免遗失。更多AI大模型应用开发学习视频及资料,尽在...

用Python进行机器学习(11)-主成分分析PCA

我们在机器学习中有时候需要处理很多个参数,但是这些参数有时候彼此之间是有着各种关系的,这个时候我们就会想:是否可以找到一种方式来降低参数的个数呢?这就是今天我们要介绍的主成分分析,英文是Princip...

神经网络基础深度解析:从感知机到反向传播

本文较长,建议点赞收藏,以免遗失。更多AI大模型应用开发学习视频及资料,尽在...

Python实现基于机器学习的RFM模型

CDA数据分析师出品作者:CDALevelⅠ持证人岗位:数据分析师行业:大数据...

取消回复欢迎 发表评论: