【Redis实战专题】「技术提升系列」彻底分析探究Redission实现分布式锁的点点滴滴

news2025/2/6 18:10:03

Redission的简介

Redission 为 Redis 官网分布式解决方案

  • 官网: Redisson: Redis Java client with features of In-Memory Data Grid

  • 快速入门: https://github.com/redisson/redisson#quick-start

  • github的Redission系列:https://github.com/orgs/redisson/repositories

Redission的功能分布

Maven配置

<!--Maven-->
<dependency>
   <groupId>org.redisson</groupId>
   <artifactId>redisson</artifactId>
   <version>3.10.4</version>
</dependency> 

基本使用

// 1. Create config object
Config = ...
// 2. Create Redisson instance
RedissonClient redisson = Redisson.create(config);
// 3. Get Redis based object or service you need
RMap<MyKey, MyValue> map = redisson.getMap("myMap");
RLock lock = redisson.getLock("myLock")
lock.lock();
//业务代码
lock.unlock();

官方源码API

RedissionLock类

RLock红锁类

Redission采用Lua脚本执行枷锁逻辑

Redission是通过lua脚本来访问Redis来确保业务逻辑执行的原子性的。

以下就是Redission中lua加锁的代码

if (redis.call('exists', KEYS[1]) == 0) then 
        redis.call('hset', KEYS[1], ARGV[2], 1);
         redis.call('pexpire', KEYS[1], ARGV[1]); 
         return nil;
         end;
if (redis.call('hexists', KEYS[1], ARGV[2]) == 1) then
        redis.call('hincrby', KEYS[1], ARGV[2], 1);
        redis.call('pexpire', KEYS[1], ARGV[1]); 
        return nil;
        end;
return redis.call('pttl', KEYS[1]);
  • KEYS[1]:就代表加的那把锁的key,我只需要判断这个key值是否存在就能知道锁是否被线程持有。

  • ARGV[1]:表示锁的有效期,默认30s

  • ARGV[2]:表示表示加锁的客户端ID

  • 首先先判断这把锁的key值是否存在,如果不存在,那就可以直接加锁。如果已存在,就要判断一下持有锁的线程是不是当前线程。所以用hexist来判断这个hash中是否存在当前线程的ID,如果存在就说持有锁的就是当前线程,则可以再次进入。

  • 将value值加1并延长锁的有效时间。如果不是当前线程的ID,那么就会返回剩余的生存时间,当前线程就会进入一个循环,不断的去尝试获取锁。

以下是Redisson释放锁的lua代码

if (redis.call('exists', KEYS[1]) == 0) then
       redis.call('publish', KEYS[2], ARGV[1]);
        return 1; 
        end;
if (redis.call('hexists', KEYS[1], ARGV[3]) == 0) then 
     return nil;
     end;
local counter = redis.call('hincrby', KEYS[1], ARGV[3], -1); 
if (counter > 0) then
     redis.call('pexpire', KEYS[1], ARGV[2]); 
     return 0; 
else redis.call('del', KEYS[1]); 
     redis.call('publish', KEYS[2], ARGV[1]); 
     return 1;
     end;
return nil;
  • key 不存在,说明锁已释放,直接执行 publish 命令发布释放锁消息并返回 1。
  • key 存在,但是 field 在 Hash 中不存在,说明自己不是锁持有者,无权释放锁,返回 nil。
  • 因为锁可重入,所以释放锁时不能把所有已获取的锁全都释放掉,一次只能释放一把锁,因此执行 hincrby 对锁的值减一。
  • 释放一把锁后,如果还有剩余的锁,则刷新锁的失效时间并返回 0;如果刚才释放的已经是最后一把锁,则执行 del 命令删除锁的 key,并发布锁释放消息,返回 1。

分布式锁的基本特点

互斥性

互斥性是所有悲观锁或者同步锁一个非常普遍的特性,它的意思是说在同一时刻,只有一个线程可以获得锁,这是最基本也是最重要的一点。

自动释放锁(防死锁)

在分布式高并发的情况下,假设有一个线程获取了锁,但是因为系统故障或者其他的原因,使它无法去执行释放锁的命令。那么它就会一直持有这一把锁,其他线程就会一直等待,产生死锁。所以我们需要给它设置过期时间,即使发生了这样的情况也能在锁过期后自动释放锁。

高性能

分布式锁的颗粒度要尽量小,比如要锁库存,那么锁的名称就可以是商品ID,而不是任意名称,这样只有在操作这件商品的时候才会加锁,锁的

颗粒度小。

锁的范围要尽量小:比如说我们可以只锁二行代码,那么就不要锁十行。所以在用Redission实现分布式锁的时候,常规加锁要优于自定义注解加锁。因为自定义注解加锁只能加在方法上,锁的颗粒度较大。

可重入

就像ReentrantLock一样,Redission也可以实现这一点,有利于资源的高效利用。

Redission的分布式锁执行流程

  • 争抢竞争分布式锁

    • 线程一去获取锁,获取成功,执行lua脚本,保存数据到redis数据库。
    • 线程二去获取锁,获取失败, 一直通过while循环尝试获取锁。获取成功后,执行lua脚本,保存数据到redis数据库。
  • Watch dog所起到的作用就是当锁的有效时间要到了当业务逻辑却还没有执行完成时,延长锁的有效时间。

  • 正常这个Watch dog线程是不启动的,还有就是这个Watch dog启动后对整体性能也会有一定影响,所以不建议开启看门狗。

  • 将复杂的业务逻辑封装在lua脚本中发送给redis,且redis是原子性的,这样就保证了这段逻辑的原子性。

Redisson可以实现可重入加锁机制

线程二在已经持有锁的情况下再进去,就不需要改线程ID,只需改一下value值即可。这里有点像偏向锁的加锁过程:当检查锁标志位成功的时候,会通过CAS的操作,将Mark Word中的线程ID改为自己的线程ID,并将偏向锁位置为1。如果下一次还是线程二进入同步区,就不需要执行这一步。

Redission的缺点(引入了红锁)

在Redis哨兵模式下,当线程一给master节点写入redission锁,会异步复制给slave节点。如果此时master节点发生故障宕机,就会发生主备切换,slave节点变成了master节点。此时线程二也可以给新的master节点写入redission锁。这样就会产生在同一时刻能有多个客户端对同一个分布式锁加锁,这样就可能会导致脏数据的产生。

Redission的源码分析介绍

加锁机制

//org.redisson.RedissonLock#tryLockInnerAsync
return this.commandExecutor.evalWriteAsync(this.getName(), LongCodec.INSTANCE, command, 
    "if (redis.call('exists', KEYS[1]) == 0) then 
        redis.call('hset', KEYS[1], ARGV[2], 1); 
        redis.call('pexpire', KEYS[1], ARGV[1]); 
            return nil; 
    end; 
    if (redis.call('hexists', KEYS[1], ARGV[2]) == 1) then 
        redis.call('hincrby', KEYS[1], ARGV[2], 1); 
        redis.call('pexpire', KEYS[1], ARGV[1]); 
        return nil; 
    end; 
return redis.call('pttl', KEYS[1]);"
Collections.singletonList(this.getName()), new Object[]{this.internalLockLeaseTime, this.getLockName(threadId)});

为何要使用lua语言?

因为一大堆复杂的业务逻辑,可以通过封装在lua脚本中发送给redis,保证这段复杂业务逻辑执行的原子性。

lua字段解释:
  • KEYS[1]代表的是你加锁的那个key,比如说:
RLock lock = redisson.getLock("myLock");

这里你自己设置了加锁的那个锁key就是“myLock”。

  • ARGV[1]代表的就是锁key的默认生存时间,默认30秒。

  • ARGV[2]代表的是加锁的客户端的ID,类似于下面这样:

第一段if判断语句,就是用“exists myLock”命令判断一下,如果你要加锁的那个锁key不存在的话,你就进行加锁。

hset myLock
8743c9c0-0795-4907-87fd-6c719a6b4586:1 1

通过这个命令设置一个hash数据结构,这行命令执行后,会出现一个类似下面的数据结构:

myLock:
 {
        8743c9c0-0795-4907-87fd-6c719a6b4586:1 1
}

接着会执行“pexpire myLock 30000”命令,设置myLock这个锁key的生存时间是30秒(默认)

锁互斥机制

  • 那么在这个时候,如果客户端2来尝试加锁,执行了同样的一段lua脚本,会咋样呢?

  • 很简单,第一个if判断会执行“exists myLock”,发现myLock这个锁key已经存在了。

  • 接着第二个if判断,判断一下,myLock锁key的hash数据结构中,是否包含客户端2的ID,但是明显不是的,因为那里包含的是客户端1的ID。

  • 所以,客户端2会获取到pttl myLock返回的一个数字,这个数字代表了myLock这个锁key的剩余生存时间。比如还剩15000毫秒的生存时间。

  • 此时客户端2会进入一个while循环,不停的尝试加锁。

watch dog自动延期机制

  • 客户端1加锁的锁key默认生存时间才30秒,如果超过了30秒,客户端1还想一直持有这把锁,怎么办呢?

  • 简单!只要客户端1一旦加锁成功,就会启动一个watch dog看门狗,他是一个后台线程,会每隔10秒检查一下,如果客户端1还持有锁key,那么就会不断的延长锁key的生存时间。

可重入加锁机制

如果客户端1都已经持有了这把锁了,结果可重入的加锁会怎么样呢?

RLock lock = redisson.getLock("myLock")
lock.lock();
//业务代码
lock.lock();
//业务代码
lock.unlock();
lock.unlock();

分析上面那段lua脚本。

  • 第一个if判断肯定不成立,“exists myLock”会显示锁key已经存在了。

  • 第二个if判断会成立,因为myLock的hash数据结构中包含的那个ID,就是客户端1的那个ID,也就是“8743c9c0-0795-4907-87fd-6c719a6b4586:1”

此时就会执行可重入加锁的逻辑,他会用:

incrby myLock

8743c9c0-0795-4907-87fd-6c71a6b4586:1 1

通过这个命令,对客户端1的加锁次数,累加1。

此时myLock数据结构变为下面这样:

myLock:
    {
        8743c9c0-0795-4907-87fd-6c719a6b4586:1 2
    }

释放锁机制

if (redis.call('exists', KEYS[1]) == 0) then
       redis.call('publish', KEYS[2], ARGV[1]);
        return 1; 
        end;
if (redis.call('hexists', KEYS[1], ARGV[3]) == 0) then 
     return nil;
     end;
local counter = redis.call('hincrby', KEYS[1], ARGV[3], -1); 
if (counter > 0) then
     redis.call('pexpire', KEYS[1], ARGV[2]); 
     return 0; 
else redis.call('del', KEYS[1]); 
     redis.call('publish', KEYS[2], ARGV[1]); 
     return 1;
     end;
return nil;
  • 如果执行lock.unlock(),就可以释放分布式锁,此时的业务逻辑也是非常简单的。

  • 其实说白了,就是每次都对myLock数据结构中的那个加锁次数减1。

  • 如果发现加锁次数是0了,说明这个客户端已经不再持有锁了,此时就会用:

  • “del myLock”命令,从redis里删除这个key。

  • 然后呢,另外的客户端2就可以尝试完成加锁了。

  • 这就是所谓的分布式锁的开源Redisson框架的实现机制。

Redission的优点

支持redis单实例、redis哨兵、redis cluster、redis master-slave等各种部署架构,基于Redis 所以具有Redis 功能使用的封装,功能齐全。许多公司试用后可以用到企业级项目中,社区活跃度高。

Redission的缺点

  • 最大的问题,就是如果你对某个redis master实例,写入了myLock这种锁key的value,此时会异步复制给对应的master slave实例。

  • 但是这个过程中一旦发生redis master宕机,主备切换,redis slave变为了redis master。

  • 接着就会导致,客户端2来尝试加锁的时候,在新的redis master上完成了加锁,而客户端1也以为自己成功加了锁。

  • 此时就会导致多个客户端对一个分布式锁完成了加锁。

  • 这时系统在业务语义上一定会出现问题,导致脏数据的产生。

  • 所以这个就是redis cluster,或者是redis master-slave架构的主从异步复制导致的redis分布式锁的最大缺陷:在redis master实例宕机的时候,可能导致多个客户端同时完成加锁。

Redission 还支持了RedLock 算法实现,但是目前存在争议,可自行查询及谨慎使用

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

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

相关文章

SpringCloud学习笔记——Eureka 和 Nacos注册

SpringCloud01 1.认识微服务 随着互联网行业的发展&#xff0c;对服务的要求也越来越高&#xff0c;服务架构也从单体架构逐渐演变为现在流行的微服务架构。这些架构之间有怎样的差别呢&#xff1f; 1.0.学习目标 了解微服务架构的优缺点 1.1.单体架构 单体架构&#xff…

2022年人工智能行业研究报告

第一章 行业概况 人工智能&#xff08;Artificial Intelligence&#xff09;&#xff0c;英文缩写为AI。它是研究、开发用于模拟、延伸和扩展人的智能的理论、方法、技术及应用系统的一门新的技术科学。 人工智能是计算机科学的一个分支&#xff0c;它企图了解智能的实质&…

电脑剪辑视频用什么工具?好用的视频剪辑工具推荐

电脑剪辑视频用什么工具&#xff1f;小编通过搜集&#xff0c;给大家带来了几款比较适合做视频剪辑的工具。 一、Windows自带视频编辑器 win10自带的免费视频编辑器吗&#xff1f;我相信很多人应该不知道吧&#xff01;其实电脑自带的视频编辑器&#xff0c;也是可以进行裁剪视…

计算机毕业设计 SSM与Vue的宿舍后勤管理系统(源码+论文)

文章目录1 项目简介2 实现效果2.1 界面展示3 设计方案3.1 概述3.2 系统流程3.2.1 系统开发流程3.2.2 系统操作流程3.3 系统结构设计4 项目获取1 项目简介 Hi&#xff0c;各位同学好呀&#xff01; 今天向大家分享一个今年(2022)最新完成的毕业设计项目作品&#xff0c;【基于…

BCN基团endo-BCN-SS-NHS ester

【产品描述】 endo-BCN-SS-NHS ester中BCN基团可以发生相应的点击反应&#xff0c;二硫键在化学上是一条从结合硫醇而衍生的单共价键。它又称为二硫键或双硫桥&#xff0c;差不多只用于生物化学的范畴。 【中文名称】endo 丙烷环辛炔-双硫键-活性酯 【英文名称】 endo-BCN-SS-N…

【人脸识别】LBP人脸识别【含GUI Matlab源码 1282期】

⛄一、LBP简介 LBP&#xff08;Local Binary Pattern&#xff0c;局部二值模式&#xff09;是一种用来描述图像局部纹理特征的算子&#xff1b;它具有旋转不变性和灰度不变性等显著的优点。它是首先由T. Ojala, M.Pietikinen, 和D. Harwood 在1994年提出&#xff0c;用于纹理特…

2022注定的不平凡我

这次的时光好像没有追溯了&#xff0c;追溯请看这一篇文章拜拜嘞——老东家 时间很短&#xff0c;变化很快&#xff0c;一时间还有些承受不了&#xff0c;入职的两个月零四天&#xff0c;很突然的我被炒鱿鱼了。 依稀记得那个周五&#xff0c;Hr找我谈话&#xff0c;说目前达…

在3568开发板上开发外设模块——竟如此简单!

针对这些模块&#xff0c;我们编写了9个实验做成了《itop-3568开发板驱动实验手册》&#xff0c;从实验原理、硬件连接、原理图分析、实验平台、实验步骤一步一步教大家如果配置使用这些模块。 后续《itop-3568开发板驱动实验手册》中的实验也会全部录制成视频教程&#xff01;…

【Redis技术探索】「底层架构原理」帮你从底层彻底吃透RDB技术原理(入门第一步)

每日一句 低头是一种能力&#xff0c;它不是自卑&#xff0c;也不是怯弱&#xff0c;它是清醒中的嬗变。有时&#xff0c;稍微低一下头&#xff0c;或者我们的人生路会更精彩。 前提概要 Redis是一个的键-值&#xff08;K-V&#xff09;对的内存数据库服务&#xff0c;通常包含…

读取csv格式的数据--Pandas

1. 函数功能 读取逗号分隔数据的文件comma-separated values (csv) 2. 函数语法 pandas.read_csv(filepath_or_buffer, *, sep_NoDefault.no_default, delimiterNone, headerinfer, names_NoDefault.no_default, index_colNone, usecolsNone, squeezeNone, prefix_NoDefau…

氢燃料电池汽车的前景、主要优势及发展难点

氢燃料电池汽车的前景 氢燃料电池&#xff08;电动&#xff09;汽车的关键所在和奥秘之处&#xff0c;在于它的动力来源—氢燃料电池近乎完美和非常理想的工作原理与机制&#xff0c;它名义上叫“电池”&#xff0c;而实质上是一种基于化学原理&#xff0c;将作为“燃料”&…

java 瑞吉外卖 day5 套餐管理业务 套餐新增,套餐分页查询 套餐修改 套餐停售起售设置 短信服务

新增套餐 准备工作&#xff1a; 套餐信息分页查询 前面已经写了好几个分页查询了&#xff0c;这里查询的关键点&#xff0c;是套餐分类名称&#xff0c;不在套餐表中&#xff0c;我们要到别的表里拿&#xff0c;然后封装进setmealDto GetMapping("/page") public R p…

二维周期光栅结构的配置

摘要 复杂光学光栅结构被广泛用于多种应用&#xff0c;如光谱仪、近眼显示系统等。利用傅里叶模态法(FMM&#xff0c;或称RCWA) VirtualLab Fusion 提供了一种用于任意光栅结构严格分析的简单方法。利用图形用户界面&#xff0c;用户可以设置堆栈的几何形状&#xff0c;从而产生…

【实战】一次简单的log4j漏洞测试

更新时间&#xff1a;2021.12.19 参考文档&#xff1a;https://www.yuque.com/u8021480/crow/dg9xax 在去年log4j漏洞刚爆发的时候&#xff0c;很多平台都存在漏洞&#xff0c;当时也在第一时间在有授权的情况下对某论坛进行了渗透测试&#xff0c;结果发现存在漏洞&#xff0…

gitlabjenkins

使用容器安装gitlab 1.添加容器 docker run --detach \ --hostname 192.168.44.103 \ --publish 443:443 --publish 80:80 \ --name gitlab \ --restart always \ --volume $GITLAB_HOME/config:/etc/gitlab:Z \ --volume $GITLAB_HOME/logs:/var/log/gitlab:Z \ …

用javascript分类刷leetcode9.位运算(图文视频讲解)

位运算基础&#xff1a; 程序中所有的数载计算机内存中都是以二进制存储的&#xff0c;位运算就是直接对整数在内存中的二进制进行操作&#xff0c;由于直接在内存中进行操作&#xff0c;不需要转成十进制&#xff0c;因此处理速度非常快 常见位运算 x & 1 0 //判断奇偶…

领略设计模式的魅力,谈谈组合模式搭配访问者模式

组合模式&#xff08;composite&#xff09; 我们都知道文件和文件夹的概念&#xff0c;并且文件是可以存放在文件夹中&#xff0c;文件夹中也可以存放其他文件夹。需要设计一个简单的程序来实现文件夹和文件的关系。 实现思路 文件夹需要存放文件夹和文件&#xff0c;首先想到…

大恒普信携手昇思推出眼健康AI智能分析系统,为眼科医疗行业数字化转型升级助力

电子屏幕时代&#xff0c;人们的用眼强度不断增加&#xff0c;各种眼底疾病也开始广泛出现&#xff0c;如青光眼、病理性近视、糖尿病视网膜病变等&#xff0c;严重时可致盲。其实&#xff0c;对大多数眼底疾病而言&#xff0c;如果能早发现、早治疗&#xff0c;就可以很好地预…

把d盘的文件删除了,怎么恢复?d盘的文件删除了怎么找回

把d盘的文件删除了,怎么恢复&#xff1f;通常&#xff0c;我们删除d盘文件的情况是不一样的&#xff0c;可能是通过不同的方法删除的&#xff0c;针对不同的删除方式&#xff0c;那么要恢复这些文件的方法也是不同的&#xff0c;小编按删除方式和时间来给大家进行详细的讲解。 …

TensorFlow手动搭建神经网络实现鸢尾花分类

步骤 准备数据 搭建网络 定义神经网络中所有可训练参数 参数优化 嵌套循环迭代&#xff0c;with结构更新参数&#xff0c;显示当前loss 测试效果 计算当前参数前向传播后的准确率&#xff0c;显示当前acc acc/loss可视化 这里使用一个最简单的网络实现鸢尾花分类 完整代码…