对Redis锁延期的一些讨论与思考

上一篇文章提到使用针对不同的业务场景如何合理使用Redis分布式锁,并引入了一个新的问题

若定义锁的过期时间是10s,此时A线程获取了锁然后执行业务代码,但是业务代码消耗时间花费了15s。这就会导致A线程还没有执行完业务代码,A线程却释放了锁(因为10s到了),第11s B线程发现锁已经释放,重新获取锁也开始执行业务代码。
此时多个线程同时执行业务代码,我们使用锁就是为了保证仅有一个线程执行这一块业务代码,说明这个锁是失效的!

本文将尝试探讨如何处理这个问题!

在这里插入图片描述

下面这个图解释了重置超时时间是什么意思,写一个定时任务,并单独使用一个线程每3s去检查一下是否到终点(任务是否执行完毕),第3s时发现没到终点,重置时间。 假设任务执行完毕需要花费11s。那么锁一共会延期3次,第11s之后,锁被手动释放,如果没释放。等到第19s时,会被自动释放。
在这里插入图片描述
如何实现锁的延期

伪代码:定义锁的结构
key:uuid
value:订单服务if key(锁的唯一标识)是否存在存在,if 锁是否被修改未修改,重置超时时间

这部分有一点需要解释:

  1. 为什么判断锁是否被修改?
    A线程获取了锁之后,B线程修改锁的value为 “文件下载服务”,不加一层校验,A线程就会对修改后的锁操作,而不是原始的锁。

此时你会直接写一个定时任务去实现,会有什么问题吗?
锁延期分为2步(第一步:判断锁;第二步:重置锁),这2步之间是存在间隙的,完全可以在判断锁后,重置锁前发生一些事情(例如恰巧在重置时间前锁被其他线程修改了)。如何才能避免这个间隙不发生意外?

使用lua脚本:使用lua语法实现锁的延期,然后执行这个脚本。lua语法将这两个步骤绑定成一个操作。这也就是为什么提到锁延期的实现,基本都是采用lua实现的根本原因。redis分布式锁自身是有局限性的,不能满足我们的需求,所以我们提出了锁延期。

巧在Redis很支持lua语法,我们只需要按照lua语法要求写好命令,调用Redis提供的方法入口传进去,Redis会自动解析这些命令。更巧在lua语法实现锁延期解决了上面的隐患。。。

        /*** 锁续期*/if (redis.call('exists', KEYS[1]) == 1) then // 锁还存在if (redis.call('get', KEYS[1]) == ARGV[1]) then redis.call('pexpire', KEYS[1], ARGV[2]) ");// 重置超时时间return 1endendreturn 0

接下来完整的看一下如何使用Redis锁延期


/*** redis分布式锁* 为了文件拉取加的,可能存在拉取任务耗时很久的情况,增加锁延时操作* @author lixinyu*/
public class RedisDistributeLock {private static final Logger log = LoggerFactory.getLogger(RedisDistributeLock.class);// 默认30秒后自动释放锁private static long defaultExpireTime = 10 * 60 * 1000; // 默认10分钟// 用于锁延时任务的执行private static ScheduledThreadPoolExecutor renewExpirationExecutor;// 加锁和解锁的lua脚本 重入和不可重入两种private static String lockScript;private static String unlockScript;private static String renewScript;// 锁延时脚本private static String lockScript_reentrant;private static String unlockScript_reentrant;private static String renewScript_reentrant;// 锁延时脚本static {/*** 如果指定的锁键(KEYS[1])不存在,则通过set命令设置锁的值(ARGV[1])和超时时间(ARGV[2])。* 如果锁键已存在,则通过pttl命令返回锁的剩余超时时间。*/StringBuilder sb = new StringBuilder();sb.setLength(0);sb.append(" if (redis.call('exists', KEYS[1]) == 0) then ");// 如果不存在这个lockKey锁sb.append("     redis.call('set', KEYS[1], ARGV[1]) ");// 设置锁 ,key-value结构sb.append("     redis.call('pexpire', KEYS[1], ARGV[2]) ");// 设置锁超时时间sb.append("     return nil ");sb.append(" end ");sb.append(" return redis.call('pttl', KEYS[1]) ");// 如果别的线程已经加锁,返回剩余时间lockScript = sb.toString();/*** 如果锁存在,则删除锁*/sb.setLength(0);sb.append(" if (redis.call('get', KEYS[1]) == ARGV[1]) then ");sb.append("      return redis.call('del', KEYS[1]) ");sb.append(" else return 0 ");sb.append(" end");unlockScript = sb.toString();/*** 可重入锁主要解决的是同一个线程能够多次获取锁的问题,而不是防止多个线程同时获取锁* 这通常发生在方法递归调用、嵌套调用或者同一个方法内部多次执行加锁操作的情况下*/sb.setLength(0);sb.append(" if (redis.call('exists', KEYS[1]) == 0) then ");// 如果不存在这个lockKey锁sb.append("     redis.call('hset', KEYS[1], ARGV[1], 1) ");// 设置锁 ,hash结构,hashkey为当前线程id,加锁数为1sb.append("     redis.call('pexpire', KEYS[1], ARGV[2]) ");// 设置锁超时时间sb.append("     return nil ");sb.append(" end ");sb.append(" if (redis.call('hexists', KEYS[1], ARGV[1]) == 1) then ");// 如果当前线程已经加锁sb.append("     redis.call('hincrby', KEYS[1], ARGV[1], 1) ");// 可重入,增加锁计数sb.append("     redis.call('pexpire', KEYS[1], ARGV[2]) ");// 重设置锁超时时间sb.append("     return nil ");sb.append(" end ");sb.append(" return redis.call('pttl', KEYS[1]) ");// 如果别的线程已经加锁,返回剩余时间lockScript_reentrant = sb.toString();/*** 释放锁,通过判断锁的存在、当前线程是否是加锁的线程、以及锁的计数器等条件来实现解锁的操作*/sb.setLength(0);sb.append(" if (redis.call('exists', KEYS[1]) == 0) then ");// 不存在锁,返回1表示解锁成功sb.append("     return 1 ");sb.append(" end ");sb.append(" if (redis.call('hexists', KEYS[1], ARGV[1]) == 0) then ");// 存在锁,不是本人加的,返回0失败sb.append("     return 0 ");sb.append(" end ");sb.append(" local counter = redis.call('hincrby', KEYS[1], ARGV[1], -1) ");// 存在自己加的锁,锁计数减一sb.append(" if (counter > 0) then ");// 判断是否要删除锁,或重置超时时间sb.append("     redis.call('pexpire', KEYS[1], ARGV[2]) ");sb.append("     return 0 ");sb.append(" else ");sb.append("     redis.call('del', KEYS[1]) ");sb.append("     return 1 ");sb.append(" end ");sb.append(" return nil ");unlockScript_reentrant = sb.toString();/*** 锁续期*/sb.setLength(0);sb.append(" if (redis.call('exists', KEYS[1]) == 1) then ");// 锁还存在sb.append("     if (redis.call('get', KEYS[1]) == ARGV[1]) then ");sb.append("        redis.call('pexpire', KEYS[1], ARGV[2]) ");// 重置超时时间sb.append("        return 1");sb.append("     end ");sb.append(" end ");sb.append(" return 0 ");renewScript = sb.toString();/*** 可重入锁续期*/sb.setLength(0);sb.append(" if (redis.call('hexists', KEYS[1], ARGV[1]) == 1) then ");// 锁还存在sb.append("     redis.call('pexpire', KEYS[1], ARGV[2]) ");// 重置超时时间sb.append("     return 1 ");sb.append(" end ");sb.append(" return 0 ");renewScript_reentrant = sb.toString();renewExpirationExecutor = new ScheduledThreadPoolExecutor(2);}private String uuid;// 当前锁对象标识private boolean reentrant;// 当前锁是可重入还是不可重入private RedisUtils redisUtils;public RedisDistributeLock(boolean reentrant) {this.uuid = UUIDUtils.randomUUID8();this.reentrant = reentrant;this.redisUtils = SpringApplicationUtils.getBean(RedisUtils.class);}/*** 尝试对lockKey加锁* @author: lixinyu 2023/4/25**/public boolean tryLock(String lockKey) {String script = lockScript;if (reentrant) {script = lockScript_reentrant;}Object result = redisUtils.evalScript(script, ReturnType.INTEGER, 1, lockKey, uuid, String.valueOf(defaultExpireTime));boolean isSuccess = result == null;if (isSuccess) {// 若成功,增加延时任务scheduleExpirationRenew(lockKey, uuid, reentrant);}return isSuccess;}/*** 解锁* @author: lixinyu 2023/4/25**/public void unlock(String lockKey){if (reentrant) {redisUtils.evalScript(unlockScript_reentrant, ReturnType.INTEGER, 1, lockKey, uuid, String.valueOf(defaultExpireTime));} else {redisUtils.evalScript(unlockScript, ReturnType.INTEGER, 1, lockKey, uuid);}}/*** 锁延时,定时任务队列,定时判断一次是否续期*/private void scheduleExpirationRenew(String lockKey, String lockValue, boolean reentrant) {Runnable renewTask = new Runnable(){@Overridepublic void run() {try {String script = renewScript;if (reentrant) {script = renewScript_reentrant;}// 将lua语法传给redis解析Object result = evalScript(script, ReturnType.INTEGER, 1, lockKey, lockValue, String.valueOf(defaultExpireTime));if (result != null && !result.equals(false) && result.equals(Long.valueOf(1))) {// 延时成功,再定时执行scheduleExpirationRenew(lockKey, lockValue, reentrant);log.info("redis锁【" + lockKey + "】延时成功!");}} catch (Exception e) {log.error("scheduleExpirationRenew run异常", e);}}};renewExpirationExecutor.schedule(renewTask, defaultExpireTime / 3, TimeUnit.MILLISECONDS);}
}
 /***  将lua语法传给redis*/ public Object evalScript(String script, ReturnType returnType, int numKeys,String... keysAndArgs){Object value = false;try{value = redisTemplate.execute((RedisCallback<Object>)conn -> {try{byte[][] keysAndArgsByte = new byte[keysAndArgs.length][];for (int i = 0; i < keysAndArgs.length; i++ ){keysAndArgsByte[i] = redisTemplate.getStringSerializer().serialize(keysAndArgs[i]);}return conn.eval(redisTemplate.getStringSerializer().serialize(script), returnType, numKeys,keysAndArgsByte);}catch (SerializationException e){log.error("异常", e);return false;}});}catch (Exception e){log.error("异常", e);}return value;}

使用锁

 private void demo() {RedisDistributeLock lock = new RedisDistributeLock(false);String lockKey = redisSeqPrefix + "lock:" + seqName;try {if (lock.tryLock(lockKey)) {String redisValue = redisUtils.get(redisSeqPrefix + seqName);// 加锁之后再次判断是否超出规定长度,防止并发时重置多次if (redisValue != null && redisValue.length() > seqLength) {redisUtils.set(redisSeqPrefix + seqName, "1");}}} catch (Exception e) {logger.error("resetSeqValue异常", e);} finally {lock.unlock(lockKey);}}

不仅仅是锁延期需要两步(判断锁是否存在、重置时间),删除锁也需要两步(判断锁是否存在、删除锁)这也需要保证原子性,所以建议使用lua脚本实现。

你干脆想到:要不然我获取锁、解锁、获取可重入锁、解可重入锁,锁延期等等都写成lua脚本吧,但是工作量好像就变多了。

Redisson 提供了高级的分布式对象和服务,使用起来非常简单,不需要手动编写复杂的 Lua 脚本。只需要引入Redisson 的依赖库
Redisson 提供了许多高级功能,如分布式集合、分布式锁、分布式队列等。这些功能是为了解决常见的分布式应用场景而设计的,使用 Redisson 可以更轻松地集成这些功能

如果你只是一些简单的功能,可以自定义lua脚本实现,毕竟引入新的依赖库,就需要维护这个库,看怎么考虑了。

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

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

相关文章

【Redis】基本操作 - 安装与配置

文章目录 1. 安装Redis1.1 Ubuntu / Debian1.2 CentOS / RHEL1.3 macOS1.4 Windows 2. 启动和停止Redis2.1 Ubuntu / Debian2.2 CentOS / RHEL2.3 macOS2.4 Windows 3. 配置文件3.1 常见配置项 4. 修改配置文件5. 重启Redis5.1 Ubuntu / Debian5.2 CentOS / RHEL5.3 macOS5.4 W…

C语言统计成绩

目录 描述 输入描述&#xff1a; 输出描述&#xff1a; 问题描述 解决方案 总结 描述 输入n科成绩&#xff08;浮点数表示&#xff09;&#xff0c;统计其中的最高分&#xff0c;最低分以及平均分。 数据范围&#xff1a;1≤&#xfffd;≤100 1≤n≤100 &#xff0c; …

k8s Pod 进阶(资源限制,健康检查探针详解,启动退出,pod生命周期,)

目录 资源限制 查看资源控制字段 Pod 资源限制方式 Pod 和容器中定义资源请求和限制的具体字段 CPU资源单位 内存资源单位 示例 健康检查&#xff08;探针&#xff09; 探针的三种规则 存活探针&#xff08;Liveness Probe&#xff09; 就绪探针&#xff08;Readines…

thetwo--TO BE BETTER!!!

紧随上一篇&#xff0c;我们已经设置好了一些参数&#xff0c;下面我们来定义模型&#xff1a; 代码如下&#xff1a; import typing import tensorflow as tf import theone def get_vgg19_model(layers):"""初始化并创建vgg19模型:param layers::return:&qu…

vscode与vue/react环境配置

一、下载并安装VScode 安装VScode 官网下载 二、配置node.js环境 安装node.js 官网下载 会自动配置环境变量和安装npm包(npm的作用就是对Node.js依赖的包进行管理)&#xff0c;此时可以执行 node -v 和 npm -v 分别查看node和npm的版本号&#xff1a; 配置系统变量 因为在执…

机器学习:朴素贝叶斯算法(Python)

一、朴素贝叶斯算法的实现 naive_bayes_classifier.py import numpy as np import collections as cc # 集合的计数功能 from scipy.stats import norm # 极大似然估计样本的均值和标准方差 from data_bin_wrapper import DataBinsWrapperclass NaiveBayesClassifier:"…

Python分支和循环结构及其应用(文末送书)

一、分支结构 应用场景 我们写的Python代码都是一条一条语句顺序执行&#xff0c;这种代码结构通常称之为顺序结构。然而仅有顺序结构并不能解决所有的问题。 if语句的使用 在Python中&#xff0c;要构造分支结构可以使用if、elif和else关键字。所谓关键字就是有特殊含义的…

SpringCloud(17)之SpringCloud Stream

一、Spring Cloud Stream介绍 Spring Cloud Stream是一个框架&#xff0c;用于构建与共享消息系统连接的高度可扩展的事件驱动微服务。该框架提供了一个灵活的编程模型&#xff0c;该模型建立在已经建立和熟悉的Spring习惯用法和最佳实践之上&#xff0c;包括对持久发布/子语义…

腾讯云4核8G服务器优惠价格表(轻量+CVM)

腾讯云4核8G服务器多少钱&#xff1f;轻量应用服务器4核8G12M带宽一年446元、646元15个月&#xff0c;云服务器CVM标准型S5实例4核8G配置价格15个月1437.3元&#xff0c;5年6490.44元&#xff0c;标准型SA2服务器1444.8元一年&#xff0c;在txy.wiki可以查询详细配置和精准报价…

ChatGPT带火的HBM是什么?

“ChatGPT是人工智能领域的iPhone时刻&#xff0c;也是计算领域有史以来最伟大的技术之一。” 英伟达创始人兼CEO黄仁勋此前这样盛赞ChatGPT。 ChatGPT突然爆火&#xff0c;对大算力芯片提出了更高更多的要求。近日&#xff0c;据韩国经济日报报道&#xff0c;受惠于ChatGPT&am…

[rust] 10 project, crate, mod, pub, use: 项目目录层级组织, 概念和实战

文章目录 一 项目目录层级组织概念1.1 cargo new 创建同名 的 Project 和 crate1.2 多 crate 的 package1.3 mod 模块1.3.1 创建嵌套 mod1.3.2 mod 树1.3.3 用路径引用 mod1.3.3.1 使用绝对还是相对? 1.3.4 代码可见性1.3.4.1 pub 关键字1.3.4.2 用 super 引用 mod1.3.4.3 用 …

Linux之安装jdk,tomcat,mysql,部署项目

目录 一、操作流程 1.1安装jdk 1.2安装tomcat&#xff08;加创建自启动脚本&#xff09; 1.3 安装mysql 1.4部署项目 一、操作流程 首先把需要用的包放进opt文件下 1.1安装jdk 把jdk解压到/usr/local/java里 在刚刚放解压包的文件夹打开vim /etc/profile编辑器&#xff0c…

普中51单片机学习(8*8LED点阵)

8*8LED点阵 实验代码 #include "reg52.h" #include "intrins.h"typedef unsigned int u16; typedef unsigned char u8; u8 lednum0x80;sbit SHCPP3^6; sbit SERP3^4; sbit STCPP3^5;void HC595SENDBYTE(u8 dat) {u8 a;SHCP1;STCP1;for(a0;a<8;a){SERd…

第十一章——期约与异步函数(上)——异步编程、期约

ECMAScript 6及之后的几个版本逐步加大了对异步编程机制的支持&#xff0c;提供了令人眼前一亮的新特性。ECMAScript 6新增了正式的Promise&#xff08;期约&#xff09;引用类型&#xff0c;支持优雅地定义和组织异步逻辑。接下来几个版本增加了使用async和await关键字定义异步…

[回溯]复原ip地址

有效 IP 地址 正好由四个整数&#xff08;每个整数位于 0 到 255 之间组成&#xff0c;且不能含有前导 0&#xff09;&#xff0c;整数之间用 . 分隔。 例如&#xff1a;"0.1.2.201" 和 "192.168.1.1" 是 有效 IP 地址&#xff0c;但是 "0.011.255.2…

【GameFramework框架内置模块】4、内置模块之调试器(Debugger)

推荐阅读 CSDN主页GitHub开源地址Unity3D插件分享简书地址QQ群&#xff1a;398291828 大家好&#xff0c;我是佛系工程师☆恬静的小魔龙☆&#xff0c;不定时更新Unity开发技巧&#xff0c;觉得有用记得一键三连哦。 一、前言 【GameFramework框架】系列教程目录&#xff1a;…

MATLAB_ESP32有限脉冲响应FIR无限脉冲响应IIR滤波器

要点 ESP32闪烁LED&#xff0c;计时LEDESP32基础控制&#xff1a;温控输出串口监控&#xff0c;LCD事件计数器&#xff0c;SD卡读写&#xff0c;扫描WiFi网络&#xff0c;手机控制LED&#xff0c;经典蓝牙、数字麦克风捕捉音频、使用放大器和喇叭、播放SD卡和闪存MP3文件、立体…

Android通过反射动态挂载/卸载U盘

代码中动态控制U盘挂载和卸载。&#xff08;仅适用于系统应用&#xff09; 反射方式实现。 需要添加android:sharedUserId"android.uid.system" 到AndroidManifest.xml public static void mountDisk() {Log.v(TAG, "mountDisk begin");try {Class<?…

R语言【mclust】——Mclust():基于模型的聚类

Package mclust version 6.0.1 Description 基于参数化有限高斯混合模型的模型聚类。采用基于层次模型的聚类初始化EM算法对模型进行估计。然后根据BIC选择最优模型。 Usage Mclust(data, G = NULL, modelNames = NULL, prior = NULL, control = emControl(), initialization…

如何多环境切换?如何在微服务配置多环境?

问题本质: nacos配置中心的配置是如何被项目读取到的&#xff1f;(nacos的配置中心和项目是如何联系的&#xff1f;) 注意&#xff1a;nacos有配置管理和服务管理&#xff0c;别弄混。自动注册的是服务管理&#xff01;&#xff01;&#xff01; 1. 如何注册到nacos服务管理中心…