浅谈用Redis实现分布式锁的方案及细节

news2024/9/20 15:07:29

前言

我们都知道,在面对并发问题时,有加锁操作保证原子操作两种解决方案。当我们采用加锁操作的时候,因为Redis多采用集群的方式部署,因此我们就需要考虑到锁在分布式系统中使用的注意事项。接下来就看看Redis的分布式锁问题。

单机锁

说到分布式锁,首先我们得了解【单机锁】。单机锁比较简单,不用考虑分布式系统中各个服务的资源、网络等差异。

单机锁使用起来也很简单,用一个变量就能实现锁必备的互斥功能。比如设置一个锁变量lock,当lock=0时,说明锁空闲着;当lock=1时,说明此时锁被某个线程占用了。在进行互斥操作时先获取lock的值,只有lock=0才能继续,当操作完成后,再将锁释放出来。

对分布式锁的要求

既然单机锁这么简单,为什么分布式锁就很复杂呢?

上面将单机锁的时候也有提到,分布式锁用于分布式系统中,系统中每台服务器的资源、网络状况都不同,我们需要在不同的服务器存储锁变量。锁的操作(加锁、释放锁)在不同的情况下,就会衍生出相应的问题。

我们对分布式锁的要求很简单,总结就是:

  • 锁操作(加锁、释放锁),需要保证锁操作的原子性。
  • 分布式系统,要考虑到系统故障的场景。当某些服务器实例发生故障时,要保证分布式锁能正常使用。

如图,多个进程同时请求对mysql某个数据操作,首先要去获取分布式锁。图例中只有进程1获取到锁,因此加锁后进行下一步的操作;而其他2个进程因为没有获取到锁不能往下操作,这样就做到了互斥。

分布式锁,实现的方式有很多,也就是需要在一个系统中维护锁变量lock。而基于性能的考量,选择Redis作为分布式锁的场景很常见。

Redis单个节点分布式锁的实现

要实现分布式锁,首要的就是保证操作的互斥性。在Redis中有SETNX命令,这个命令的含义是:若key不存在,才去设置它的值;key存在的话就不操作。

这样一来,分布式系统的多个客户端可通过该命令达到互斥的要求。

如上面图例:

  1. 客户端a在要更新mysql资源时,先向Redis分布式锁申请加锁,也就是执行SETNX lock 1,加锁成功。
  2. 客户端b也申请加锁,但被客户端a已经加锁了,因此加锁失败,不往下执行。
  3. 客户端a加锁成功后,更新MySQL操作。操作完成后,再删除lock变量DEL lock

整个过程就是这样,但是我们再仔细想想就会发现这种方式有个很大的漏洞。那就是当客户端a加锁成功后,如果在操作mysql的过程中发生异常了,锁就不会释放。这样也就死锁了,其他的客户端都别想拿到锁了。


这个死锁的问题,你可能会说解决起来也不麻烦,给锁加个过期时间不就行了。于是乎,操作命令变成了这样:

127.0.0.1:6379> SETNX lock 1
(integer) 1
127.0.0.1:6379> EXPIRE lock 5
(integer) 1
复制代码

经过EXPIRE操作后,就不用担心锁不释放的问题了。

但我们仔细想想,这里加锁和给锁设置过期时间是分为2步走的,也就是说不是原子性操作,如果执行完上锁操作后,如果还没来得及给锁设置过期时间客户端就异常了,这样也会造成死锁。

因此,将这2条命令原子化才是关键。庆幸的是,SET命令支持将这2步一次性执行了(Redis版本要>=2.6.12)。命令示例:

127.0.0.1:6379> SET lock 1 EX 5 NX
OK
复制代码

这样一来,死锁的问题解决了。但你认为这样就万事大吉了吗?显然不是,有一个场景还需要考虑到,那就是:锁过期时间到了被自动释放后,等客户端正常操作完成后,又会去释放锁。具体来说如下:

  1. 客户端a申请锁lock成功,然后更新MySQL去了;
  2. 因为mysql连接问题,客户端a更新操作,超过了设定的过期时间,于是lock被自动释放了;
  3. 客户端b这时申请lock成功,也开始更新MySQL了;
  4. MySQL连接正常了,客户端a更新MySQL完成,然后释放锁lock。(此时lock正在被客户端b用着呢)。

这种场景下,锁过期了被释放会被其他的客户端加锁成功,然后客户端a成功更新MySQL后又会去释放客户端b的锁。

总结来说这种场景存在2个问题:

  • 设置的过期时间不合理:我还没操作完你就让锁过期了。导致这种情况的原因有很多,单单增加锁的过期时间并不能完全解决问题。因为网络状况、代码操作逻辑异常都影响到过期时间。
  • 释放了别的进程锁:最后一步客户端a释放了别的客户端的锁,这种情况是不应该发生的。解决方法如下。

如何避免释放了别的进程锁

解决方法简单,在获取到锁时,写入唯一标识就可以了。比如说线程ID。

127.0.0.1:6379> set lock {thread_id} ex 5 nx
OK
复制代码

当要释放锁的时候,先判断一下锁的唯一标识,这样就可以避免释放别的进程锁。

redis_client.del('lock') if redis_client.get('lock') == {thread_id}
复制代码

但上述命令是分2步走的(查询+删除),为了保证原子性,我们可以用Lua脚本来执行上述命令。脚本可以这样写:

if redis.call("GET", KEYS[1]) == ARGV[1]
then
	return redis.call("DEL", KEYS[1])
else
	return 0
end
复制代码

调用脚本命令就是:redis-cli --eval lua.script lock, {thread_id}

备注:Redis使用lua脚本的语法是:

redis-cli --eval {lua_path} KEYS[1] KEYS[2]... , ARGV[1] ARGV[2]...

--eval:  		执行lua脚本的命令
{lua_path}: 		lua脚本的路径
KEYS[1] KEYS[2]:       lua脚本中要操作的redis键,我们可以在lua脚本中用KEYS[1],KEYS[2],KEYS[3]指定多个
ARGV[1] ARGV[2]:	传入到lua脚本的参数,在脚本中用ARGV[1],ARGV[2]...来获取。
复制代码

这样一来,Redis分布式锁的实现,除了上述过期时间不好把握外,基本能满足要求。

我们使用Redis做分布式锁的步骤可总结为:

  1. 获取锁: SET lock {唯一标识} EX {过期时间} NX
  2. 更新操作:比如说更新mysql资源。
  3. 释放锁资源:用lua脚本判断锁是不是自己加的,是的话再释放锁( DEL lock

锁过期时间怎么设定才好

锁的过期时间,如果设置的不合理,自动过期的可能性就会大大增加。

在解决这个问题上,Java中有个SDK叫做Redisson。 它在使用分布式锁时,加锁的同时有开启一个看门狗线程。这个线程会定时去检查锁的过期时间,若锁快过期了,而更新操作还没完成,看门狗会延长锁的过期时间,也就是重新设置过期时间。

如果不使用Java语言,我们也可借鉴Redisson的做法,在加锁的同时开启一个守护线程。

Redis单个节点的分布式锁实现就说到这,接下来看看Redis多个节点该图和实现分布式锁。

Redis多个节点的分布式锁(Redlock方案

Redis的使用,往往不是单机用,用主从集群的模式部署最多。而在该模式下,分布式锁的使用会带来新的问题。比如下面场景:

  1. 客户端a在主库上执行加锁命令(SET)成功。
  2. 主库发生故障,而步骤1的SET命令还没来得及同步到从库上。
  3. 主从切换后,原从库被推举为主库,锁就在节点上丢失了。

为解决这个问题,Redis提供了Redlock方案。要使用Redlock方案,要有2个前提:

  • 只部署主库,不部署从库及哨兵。
  • 主库部署多个,官方推荐>=5个。

Redlock的使用流程大致如下:

  1. 客户端获取到当前的时间戳。
  2. 客户端按顺序向部署的N个Redis实例执行加锁操作。在设定时间内,不管加锁成功还是失败,都会继续向下一个实例申请加锁操作。
  3. 若加锁成功的实例个数>= (N/2) + 1,并且加锁的总耗时要<锁设定的过期时间,Redlock就判断加锁成功,反之就是加锁失败。
  4. 加锁成功了,就继续往下操作,比如操作MySQL资源;若加锁失败,则会向所有节点发起锁释放的操作请求。

由上面流程可见,Redlock的设计规则就是:

  • 客户端要在所有实例上申请加锁,只有保证大多数节点加锁成功了才判定为加锁成功。
  • 加锁的总耗时要 < 锁设定的过期时间。
  • 释放锁的时候,要向所有节点发起锁释放的请求,不管之前加锁是否成功。

Redlock的应用,可以提升Redis分布式锁的可靠性。但是,Redlock并非没有缺陷和漏洞。

业界的分布式系统专家Martin就曾质疑过Redlock的设计方案,主要是提到了Redlock的效率和正确性。效率不用多说,给全部节点发起加锁的规则就会影响效率。

正确性方面,因为分布式系统中,时钟偏移的情况无法避免,运维成本很高。

总的来说,Redlock设计繁杂,还得部署多个节点,运维难度大。我们在实现Redis分布式锁的时候,用主从+哨兵的集群方案就基本够用了。

小结

本文讲了Redis是如何实现分布式锁的,单个Redis节点和多节点的实现和问题是不一样的。

在使用的时候,如果追求效率,单节点的分布式锁就够用了,缺点就是过期时间不好把握,因为网络情况不好预估;如果要保证正确性,Redlock也是可以考虑的,但运维方面的问题需要提前考虑好。

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

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

相关文章

【檀越剑指大厂—Spring】Spring高阶篇

一.基础概念 1.模块 2.Spring 框架概述。 Spring 是轻量级的开源的 JavaEE 框架 Spring 可以解决企业应用开发的复杂性 Spring 有两个核心部分: IOC 和 AOP IOC:控制反转&#xff0c;把创建对象过程交给 Spring 进行管理 Aop:面向切面&#xff0c;不修改源代码进行功能增强…

SpringBoot办公管理系统oa人力人事办公(含源码+论文+答辩PPT等)

项目功能简介: 本项目含代码详细讲解视频&#xff0c;手把手带同学们敲代码从0到1完成项目 该项目采用技术SpringBoot、SpringMvc(接入层框架)Spring&#xff08;中间层框架&#xff09;Hibernate(持久层框架)JPAMD5加密、Tomcat服务器、MySQL数据库 项目含有源码、配套开发软件…

R语言多元动态条件相关DCC-MVGARCH、常相关CCC-MVGARCH模型进行多变量波动率预测...

全文下载链接&#xff1a;http://tecdat.cn/?p23287在本文中&#xff0c;当从单变量波动率预测跳到多变量波动率预测时&#xff0c;我们需要明白&#xff0c;现在我们不仅要预测单变量波动率元素&#xff0c;还要预测协方差元素&#xff08;点击文末“阅读原文”获取完整代码数…

web安全之通过sqlmap工具进行靶场练习

目录 基础语法 get类型的注入 post类型的注入 基础语法 -u:用于get提交方式&#xff0c;后面跟注入的url网址 --dbs&#xff1a;获取所有数据库 --tables&#xff1a;获取所有数据表 --columns&#xff1a;获取所有字段 --dump&#xff1a;打印数据 -D&#xff1a;查询选择某…

火到爆的扩散模型(Diffusion Model)帮你具象化幻想世界

Diffusion Model 如果你对人工智能有所了解&#xff0c;想必已经听说过Diffusion Model了。如果还没有&#xff0c;那就一起来了解一下吧—— 扩散&#xff08;Diffusion&#xff09;对于人能智能而言&#xff0c;是一个借用的概念。在热力学中&#xff0c;它指细小颗粒从高密度…

调节盘的三维建模及加工工艺规程设计

目录 1 调节盘分析 - 1 - 1.1 调节盘结构特点 - 1 - 1.2 调节盘的工艺分析 - 2 - 1.3 调节盘的技术要求 - 3 - 2 毛坯的选择 - 4 - 2.1 毛坯的类型 - 4 - 2.2 毛坯余量的确定 - 4 - 2.3 毛坯草图 - 5 - 3 工艺规程设计 - 6 - 3.1 定位基准的选择 - 6 - 3.1.1 粗基准的选择 - 6 …

2022系统分析师下午卷(案例分析)

试题一&#xff08;共 25 分&#xff09; 阅读以下关于软件系统分析与建模的叙述&#xff0c;在答题纸上回答问题 1 至问题 3。 【说明】 某软件公司拟开发一套博客系统&#xff0c;要求能够向用户提供一个便捷发布自已心得&#xff0c;及时有效的与他人进行交流的平台。新用户…

新手学习3D建模,弯道超车攻略!

你做三四月的事&#xff0c;在八九月自有答案。​ – 余世存 &#x1f4dd;学建模最重要的是每天抽时间练习 &#x1f33b;给大家准备了200天建模打卡攻略练习素材 &#x1f4d4;人体解剖雕塑学&#xff08;骨骼、肌肉等电子版&#x1f4af;&#xff09; &#x1f4d2;3dmax…

第4季6:图像sensor的寄存器操作

以下内容源于朱有鹏嵌入式课程的学习与整理&#xff0c;如有侵权请告知删除。 一、sensor_write_register函数的解析 在第4季4&#xff1a;图像sensor的驱动源码解析中写到&#xff0c;sensor_register_callback函数的调用关系如下&#xff1a; sensor_register_callback …

英文Paper写作怎么确实合适的介词?

Paper写作中&#xff0c;介词是非常常见的&#xff0c;介词虽是小词&#xff0c;数量也不多&#xff0c;但灵活多变&#xff0c;随处可见&#xff0c;功能强大而且难于掌握。我们不可小看这个角色&#xff0c;不可忽视它在不同句子中的作用&#xff0c;Paper写作过程中应该如何…

读取HDFS数据写入MySQL_大数据培训

读取HDFS数据写入MySQL 1&#xff09;将上个案例上传的文件改名 [atguiguhadoop102 datax]$ hadoop fs -mv /student.txt* /student.txt 2&#xff09;查看官方模板 [atguiguhadoop102 datax]$ python bin/datax.py -r hdfsreader -w mysqlwriter { “job”: { “content”…

高阶测试开发必备技能: k8s入门

现在稍微有点规模公司都是基于docker容器化部署技巧&#xff0c;K8s现在主流&#xff0c;应用最广的容器集群管理技术。 k8s全称kubernetes&#xff08;首字母为 k、首字母与尾字母之间有 8 个字符、尾字母为 s&#xff0c;所以简称 k8s&#xff09;&#xff0c;基于Docker容器…

微服务架构10个最重要的设计模式,带你了解,完全熟悉

自从软件开发的早期(1960年代)以来&#xff0c;解决大型软件系统中的复杂性一直是一项艰巨的任务。多年来&#xff0c;软件工程师和架构师为解决软件系统的复杂性进行了许多尝试&#xff1a;David Parnas的模块化和信息隐藏(1972)&#xff0c;Edsger W. Dijkstra的关注分离(197…

关于ElasticSearch日期格式不一致的异常,可以这么解决

最近壹哥的一个学生&#xff0c;在利用spring-data-elasticsearch访问ElasticSearch(ES)时&#xff0c;遇到了一个关于日期类型的BUG&#xff0c;困扰了很久。然后他就找壹哥给他解决&#xff0c;接下来壹哥就把解决的过程给大家复现一下&#xff0c;希望本文可以给遇到同样问题…

构建灵活订单系统,B2B撮合管理系统提升光伏企业订单管理效率

光伏系统是利用半导体光生伏特效应将太阳能转化为电能的发电系统。过去20年&#xff0c;我国光伏制造业快速发展&#xff0c;由弱变强。经过20年高速发展&#xff0c;我国在硅片、电池片、组件制造等多领域处于世界领先水平&#xff0c;我国已经成为全球第一大光伏生产国、消费…

深度学习Week9-YOLOv5-C3模块实现(Pytorch)

&#x1f368; 本文为&#x1f517;365天深度学习训练营 中的学习记录博客&#x1f366; 参考文章&#xff1a;Pytorch实战 | 第P8天&#xff1a;YOLOv5-C3模块实现(训练营内部成员可读)&#x1f356; 原作者&#xff1a;K同学啊|接辅导、项目定制了解C3的结构&#xff0c;方便…

前端Gitee + Jenkins自动化实战(转)

# 前端Gitee Jenkins自动化实战 当我们熟悉了Jenkins 的使用后&#xff0c;接下来我们来配置一个基于 vue-element-admin 的实战项目&#xff0c;来感受一下自动化流程带给我们的优势。 首先我们需要创建一个 git 项目&#xff0c;至于代码仓库可以自选&#xff0c;这里为了…

RocketMq: Windows环境-单机部署和多种主从集群场景部署

关于默认端口 broker的默认端口有3个,10911, 10912, 10909。 10911是remotingServer使用的监听端口,remotingServer主要处理以下三类消息: producer发送的消息 conumser在消费失败或者消费超时发送的消息 consumer拉取消息10912是主broker用于监听从broker请求…

HTML学生个人网站作业设计:公益专题扫黑除恶(HTML+CSS)

&#x1f389;精彩专栏推荐 &#x1f4ad;文末获取联系 ✍️ 作者简介: 一个热爱把逻辑思维转变为代码的技术博主 &#x1f482; 作者主页: 【主页——&#x1f680;获取更多优质源码】 &#x1f393; web前端期末大作业&#xff1a; 【&#x1f4da;毕设项目精品实战案例 (10…

扩散模型Diffusion轻松入门

如果要问最近模型领域什么东西最火&#xff0c;应该非扩散模型莫属&#xff0c;火得我觉得不系统学习一下都不行&#xff01; 本文是我的学习笔记&#xff0c;只能叫入门文章&#xff0c;因为扩散模型的严谨数学推导公式很多&#xff0c;还没有研究透彻&#xff0c;不敢说一文…