分布式锁之redis锁及实现

2024-06-04 08:32
文章标签 实现 redis 分布式 锁及

本文主要是介绍分布式锁之redis锁及实现,希望对大家解决编程问题提供一定的参考价值,需要的开发者们随着小编来一起学习吧!

分布式锁有几种常用的实现方式:zookeeper、memcached、redis、mysql。这里介绍一下redis的实现方式,并在最后附上了一个Demo小工具:

众所周知,reids锁是通过setnx + expire的方式实现的,setnx保证只有在key不存在时才能set成功,expire保证锁在非正常释放的情况下不会形成死锁。基本原理就是这个,但实际操作中我们需要注意几个问题:

  1. setnx与expire是非原子性的,那么如果setnx执行成功、但expire未执行,那么锁也就无法过期自动删除了。解决方案:redis提供命令set(key,1,30,nx)一步到位设置超时时间。
  2. 如果线程A先获得了锁,但是执行时间超过了锁的过期时间,锁自动释放了,那么线程B获得锁,不仅有可能导致执行结果出现并发不一致问题,如果A执行完了,那么还会删除掉B的锁。解决方案:(1)使用一个请求标识作为锁的value值,在删除前判断一下。(2)使用一个守护线程,不断的更新锁过期时间,保证执行过程中锁不会释放。
  3. 判断value值与删除锁不是原子的。解决方案:使用lua脚本,保证判断与删除原子操作。
  4. redis集群不是强一致的,当redis主服务器接收到加锁后还没来得及同步从节点就发生宕机,此时redis从节点未收到加锁信息,当它升级为主节点时就会出现其他服务也能加锁成功,出现多个服务持有同一个锁的情况。解决方案:redis官方设计了redlock算法,如果客户端向多个独立的redis示例依次申请加锁,如果可以和半数以上的实例成功完成加锁,那我们认为客户端成功获得分布式锁,否则加锁失败。这样即使主服务器宕机,其他服务器上也有锁的存在避免多次加锁。
public class RedisLockUtil {private static final Jedis DEFAULT_CLIENT = RedisClient.getInstance();private static final String LOCK_SUCCESS="OK";private static final Long RELEASE_SUCCESS=1L;private static final Long EXPIRE_SUCCESS=1L;/*** 加锁* @param client  可自己传入redis-client,如果是null,则用默认的client* @param lockId  当前锁的key值* @param requestId 当前加锁的任务的请求标识,可以用线程id,或者分布式唯一id,*                   可以保证全局唯一即可,作为当前锁的value值使用,用作删除或*                   延时是判断是否是持有锁的任务* @param second  过期时间,避免锁未正常释放时形成死锁* @return true:加锁成功,flase:加锁失败*/public static boolean lock(Jedis client, String lockId, String requestId,int second) {if (client == null)client = DEFAULT_CLIENT;
//        client.setnx(lockId,"1");
//        client.expire(lockId,60);//加锁和超时设置分为了两步,没法保证原子性,所以可以直接用下面的命令String rst = client.set(lockId,requestId,"nx","ex",second);if (LOCK_SUCCESS.equals(rst)) {return true;}return false;}/*** 释放锁* @param client  可自己传入redis-client,如果是null,则用默认的client* @param lockId  当前锁的key值* @param requestId 请求标识,删除前判断是否是持有锁的任务* @return true:释放锁成功,flase:释放锁失败*/public static boolean unlock(Jedis client, String lockId, String requestId) {if (client == null)client = DEFAULT_CLIENT;String luaScript = "if redis.call('get', KEYS[1]) == ARGV[1] " +"then return redis.call('del', KEYS[1]) " +"else return 0 end";Object rst = client.eval(luaScript, Collections.singletonList(lockId), Collections.singletonList(requestId));if (RELEASE_SUCCESS.equals(rst)) {return true;}return false;}/*** 延迟加锁时间* @param client 可自己传入redis-client,如果是null,则用默认的client* @param lockId  当前锁的key值* @param requestId 请求标识,延时前判断是否是持有锁的任务* @param second 申请延迟的时间* @return true:延时成功,flase:延时失败*/public static boolean expired(Jedis client, String lockId, String requestId, int second) {if (client == null)client = DEFAULT_CLIENT;String luaScript = "if redis.call('get', KEYS[1]) == ARGV[1] " +"then return redis.call('expire',KEYS[1],ARGV[2]) " +"else return 0 end";Object rst = client.eval(luaScript,Collections.singletonList(lockId), Arrays.asList(requestId,String.valueOf(second)));if (EXPIRE_SUCCESS.equals(rst)) {return true;}return false;}
}class RedisClient{private static volatile Jedis client = null;static Jedis getInstance(){String host = "127.0.0.1";int port = 6379;synchronized (RedisClient.class) {if (client == null) {client = new Jedis(host,port);}}return  client;}
}

这篇关于分布式锁之redis锁及实现的文章就介绍到这儿,希望我们推荐的文章对编程师们有所帮助!



http://www.chinasem.cn/article/1029571

相关文章

Java实现字节字符转bcd编码

《Java实现字节字符转bcd编码》BCD是一种将十进制数字编码为二进制的表示方式,常用于数字显示和存储,本文将介绍如何在Java中实现字节字符转BCD码的过程,需要的小伙伴可以了解下... 目录前言BCD码是什么Java实现字节转bcd编码方法补充总结前言BCD码(Binary-Coded Decima

Redis 的 SUBSCRIBE命令详解

《Redis的SUBSCRIBE命令详解》Redis的SUBSCRIBE命令用于订阅一个或多个频道,以便接收发送到这些频道的消息,本文给大家介绍Redis的SUBSCRIBE命令,感兴趣的朋友跟随... 目录基本语法工作原理示例消息格式相关命令python 示例Redis 的 SUBSCRIBE 命令用于订

SpringBoot全局域名替换的实现

《SpringBoot全局域名替换的实现》本文主要介绍了SpringBoot全局域名替换的实现,文中通过示例代码介绍的非常详细,对大家的学习或者工作具有一定的参考学习价值,需要的朋友们下面随着小编来一... 目录 项目结构⚙️ 配置文件application.yml️ 配置类AppProperties.Ja

Python实现批量CSV转Excel的高性能处理方案

《Python实现批量CSV转Excel的高性能处理方案》在日常办公中,我们经常需要将CSV格式的数据转换为Excel文件,本文将介绍一个基于Python的高性能解决方案,感兴趣的小伙伴可以跟随小编一... 目录一、场景需求二、技术方案三、核心代码四、批量处理方案五、性能优化六、使用示例完整代码七、小结一、

Java实现将HTML文件与字符串转换为图片

《Java实现将HTML文件与字符串转换为图片》在Java开发中,我们经常会遇到将HTML内容转换为图片的需求,本文小编就来和大家详细讲讲如何使用FreeSpire.DocforJava库来实现这一功... 目录前言核心实现:html 转图片完整代码场景 1:转换本地 HTML 文件为图片场景 2:转换 H

C#使用Spire.Doc for .NET实现HTML转Word的高效方案

《C#使用Spire.Docfor.NET实现HTML转Word的高效方案》在Web开发中,HTML内容的生成与处理是高频需求,然而,当用户需要将HTML页面或动态生成的HTML字符串转换为Wor... 目录引言一、html转Word的典型场景与挑战二、用 Spire.Doc 实现 HTML 转 Word1

C#实现一键批量合并PDF文档

《C#实现一键批量合并PDF文档》这篇文章主要为大家详细介绍了如何使用C#实现一键批量合并PDF文档功能,文中的示例代码简洁易懂,感兴趣的小伙伴可以跟随小编一起学习一下... 目录前言效果展示功能实现1、添加文件2、文件分组(书签)3、定义页码范围4、自定义显示5、定义页面尺寸6、PDF批量合并7、其他方法

SpringBoot实现不同接口指定上传文件大小的具体步骤

《SpringBoot实现不同接口指定上传文件大小的具体步骤》:本文主要介绍在SpringBoot中通过自定义注解、AOP拦截和配置文件实现不同接口上传文件大小限制的方法,强调需设置全局阈值远大于... 目录一  springboot实现不同接口指定文件大小1.1 思路说明1.2 工程启动说明二 具体实施2

Python实现精确小数计算的完全指南

《Python实现精确小数计算的完全指南》在金融计算、科学实验和工程领域,浮点数精度问题一直是开发者面临的重大挑战,本文将深入解析Python精确小数计算技术体系,感兴趣的小伙伴可以了解一下... 目录引言:小数精度问题的核心挑战一、浮点数精度问题分析1.1 浮点数精度陷阱1.2 浮点数误差来源二、基础解决

Java实现在Word文档中添加文本水印和图片水印的操作指南

《Java实现在Word文档中添加文本水印和图片水印的操作指南》在当今数字时代,文档的自动化处理与安全防护变得尤为重要,无论是为了保护版权、推广品牌,还是为了在文档中加入特定的标识,为Word文档添加... 目录引言Spire.Doc for Java:高效Word文档处理的利器代码实战:使用Java为Wo