Redis分布式锁

SETNX命令

将 key 的值设为 value,当且仅当 key 不存在。

若给定的 key 已经存在,则 SETNX 不做任何动作。
SETNX 是SET if Not eXists的简写。

返回值

返回整数,具体为
– 1,当 key 的值被设置
– 0,当 key 的值没被设置

使用SETNX实现分布式锁

多个进程执行以下Redis命令:

SETNX lock.foo

如果 SETNX 返回1,说明该进程获得锁,SETNX将键 lock.foo 的值设置为锁的超时时间(当前时间 + 锁的有效时间)。
如果 SETNX 返回0,说明其他进程已经获得了锁,进程不能进入临界区。进程可以在一个循环中不断地尝试 SETNX 操作,以获得锁。

死锁问题

考虑一种情况,如果进程获得锁后,断开了与 Redis 的连接(可能是进程挂掉,或者网络中断),如果没有有效的释放锁的机制,那么其他进程都会处于一直等待的状态,即出现”死锁”。

上面在使用 SETNX 获得锁时,我们将键 lock.foo 的值设置为锁的有效时间,进程获得锁后,其他进程还会不断的检测锁是否已超时,如果超时,那么等待的进程也将有机会获得锁。

然而,锁超时时,我们不能简单地使用 DEL 命令删除键 lock.foo 以释放锁。考虑以下情况,进程P1已经首先获得了锁 lock.foo,然后进程P1挂掉了。进程P2,P3正在不断地检测锁是否已释放或者已超时,执行流程如下:

  • P2和P3进程读取键 lock.foo 的值,检测锁是否已超时(通过比较当前时间和键 lock.foo 的值来判断是否超时)
  • P2和P3进程发现锁 lock.foo 已超时
  • P2执行 DEL lock.foo命令
  • P2执行 SETNX lock.foo命令,并返回1,即P2获得锁
  • P3执行 DEL lock.foo命令将P2刚刚设置的键 lock.foo 删除(这步是由于P3刚才已检测到锁已超时)
  • P3执行 SETNX lock.foo命令,并返回1,即P3获得锁
  • P2和P3同时获得了锁

从上面的情况可以得知,在检测到锁超时后,进程不能直接简单地执行 DEL 删除键的操作以获得锁。

解决死锁

为了解决上述算法可能出现的多个进程同时获得锁的问题,我们再来看以下的算法。
我们同样假设进程P1已经首先获得了锁 lock.foo,然后进程P1挂掉了。接下来的情况:

  • 进程P4执行 SETNX lock.foo 以尝试获取锁
  • 由于进程P1已获得了锁,所以P4执行 SETNX lock.foo 返回0,即获取锁失败
  • P4执行 GET lock.foo 来检测锁是否已超时,如果没超时,则等待一段时间,再次检测
  • 如果P4检测到锁已超时,即当前的时间大于键 lock.foo 的值,P4会执行以下操作

GETSET lock.foo

  • 由于 GETSET 操作在设置键的值的同时,还会返回键的旧值,通过比较键 lock.foo 的旧值是否小于当前时间,可以判断进程是否已获得锁
  • 假如另一个进程P5也检测到锁已超时,并在P4之前执行了 GETSET 操作,那么P4的 GETSET 操作返回的是一个大于当前时间的时间戳,这样P4就不会获得锁而继续等待。注意到,即使P4接下来将键 lock.foo 的值设置了比P5设置的更大的值也没影响。

另外,值得注意的是,在进程释放锁,即执行 DEL lock.foo 操作前,需要先判断锁是否已超时。如果锁已超时,那么锁可能已由其他进程获得,这时直接执行 DEL lock.foo 操作会导致把其他进程已获得的锁释放掉。

代码示例

Original: https://www.cnblogs.com/ylty/p/9111992.html
Author: 风小雅
Title: Redis分布式锁

原创文章受到原创版权保护。转载请注明出处:https://www.johngo689.com/575172/

转载文章受原作者版权保护。转载请注明原作者出处!

(0)

大家都在看

  • 局域网无法访问vmware虚拟机WEB服务器解决办法

    具体情况如下 : 环境:虚拟机服务器是centos,apache+php+mysql环境,但是局域网无法访问 1.本机能ping通虚拟机 2.虚拟机也能ping通本机 3.虚拟机能…

    Java 2023年5月30日
    056
  • CodeSmith Template Model Output

    背景:上学那会儿就接触CodeSmith,是一款非常优秀的代码自动生成工具。以前写过好些基本模版,可惜早不知道扔到哪儿去了,如今只能重新开始,把它捡回来,加油。 效果:将数据库 D…

    Java 2023年6月9日
    060
  • PHP自定义日期英文格式 Feb 11,2015

    背景:[PHP小工具]项目中,经常会要求多版本语言支持,而日期也是必不可少的组成元素。 英文日期书写顺序分英式和美式,举例如。 美国:月日年(January 8th,2014 或 …

    Java 2023年6月9日
    063
  • Java如何实现定时任务?

    我是3y,一年 CRUD经验用十年的 markdown程序员👨🏻‍💻常年被誉为优质八股文选手 挺早就规划了要引入分布式定时任务框架了,在年前austin就已经接入了,但代码过年一直…

    Java 2023年6月9日
    078
  • java AOP(面向切面)

    一:反射 public class Reflect{ public static void main(String [] args){ Class c = Class.fornam…

    Java 2023年6月5日
    066
  • Mybatis系列全解(五):全网最全!详解Mybatis的Mapper映射文件

    Mybatis系列全解(五):全网最全!详解Mybatis的Mapper映射文件 Mybatis系列全解(五):全网最全!详解Mybatis的Mapper映射文件 – …

    Java 2023年6月7日
    086
  • java用URL下载内容

    package Kuang; import java.io.FileOutputStream; import java.io.IOException; import java.io…

    Java 2023年6月5日
    077
  • Xshell工具使用–连接VMware虚拟机

    假设有这样的场景,开发者用的是Windows系统,且系统的存储资源和内存有限,在运行VMware虚拟机中做一些测试时,通常会碍于电脑的VMWare客户端图形界面的响应速度太慢。而在…

    Java 2023年6月14日
    049
  • Java8新特性-Stream API

    Java8中有两大最为重要的改变。第一个是 Lambda 表达式;另外一 个则是 Stream API(java.util.stream.*)。 Stream 是 Java8 中处…

    Java 2023年6月8日
    067
  • Mybatis 分页:Pagehelper + 拦截器实现

    一、分页插件 Pagehelper PageHelper是 Mybatis的一个分页插件,非常好用! com.github.pagehelper pagehelper-spring…

    Java 2023年6月5日
    086
  • Python3 virtual environment 在 vscode 的实践

    1、虚拟环境实际上就是将 python 解释器 + 项目中可能用的的modules,统一放在虚拟环境对应的目录 2、activate 虚拟环境,只是保证相关module下载到对应文…

    Java 2023年6月7日
    072
  • 面试题详解:如何用Redis实现分布式锁?

    说一道常见面试题: 使用Redis分布式锁的详细方案是什么? 一个很简单的答案就是去使用 Redission 客户端。Redission 中的锁方案就是 Redis 分布式锁的比较…

    Java 2023年6月7日
    083
  • java重试

    重试 重试,就是多试几次。一次不成功,多试几次说不定就成功了。 什么时候重试? 要执行的逻辑比较重要,或者是服务不稳定,或者是Rpc远程调服务有时不成功,都可以使用重试。 示例代码…

    Java 2023年5月29日
    059
  • 开机启动VM WARE 某台虚拟机

    新建一个批处理,内容如下: -T 是类型, ws 是 vm ware workstation ,其它类型如:vm ware player. 开始,运行”shell:st…

    Java 2023年5月30日
    059
  • logback的配置文件加载顺序

    logback的配置文件加载过程还是很简单的,这里做一下简单记录 logback-classic已经包含了 logback-core和 slf4j的依赖,不需要额外引入了 ch.q…

    Java 2023年6月13日
    082
  • Google支付和服务端验证

    因为公司业务需求,需要使用google的登录和支付。google支付分为订阅和应用内购买两种,笔者使用的是应用内购买这种方式,这里将整个google支付和支付验证的流程记录下来。 …

    Java 2023年5月30日
    070
亲爱的 Coder【最近整理,可免费获取】👉 最新必读书单  | 👏 面试题下载  | 🌎 免费的AI知识星球