当前位置: 首页 > news >正文

Redis 分布式锁与 Redlock 算法实现

Redis 分布式锁与 Redlock 算法实现

  • 一、简介
    • 1. Redis的分布式锁
    • 2. 分布式锁的实现原理
  • 二、Redis 分布式锁使用场景
    • 1. 分布式系统中数据资源的互斥访问
    • 2. 分布式环境中多个节点之间的协作
    • 3. 常见场景及应用
  • 三、Redlock算法的原理与实现
    • 1. Redlock算法的背景
    • 2. Redlock算法的原理
    • 3. Redlock算法的缺陷
  • 四、Redis Redlock算法的应用
    • 1. 实现分布式锁
    • 2. 保证锁的可重入性
    • 3. 避免死锁
  • 五、Redlock算法的优化措施
    • 1. 客户端标识
    • 2. 指定多个Redis节点
    • 3. 加入时钟偏移量

一、简介

1. Redis的分布式锁

Redis是一款基于内存的高性能键值对数据库,通过提供多种数据类型支持,满足了大部分的应用场景,常用的数据类型有字符串、哈希表、列表、集合和有序集合等。在Redis中,可以使用多种方式实现分布式锁,如使用SETNX命令或RedLock算法。

2. 分布式锁的实现原理

分布式锁的实现主要依靠分布式协调服务,如Zookeeper、Etcd和Consul等,实现多个进程之间通过共享资源进行资源访问的协同工作。

二、Redis 分布式锁使用场景

1. 分布式系统中数据资源的互斥访问

当多个进程需要同时访问共享资源时,需要通过加锁机制保证在同一时间只有一个进程能够访问资源,从而避免了竞态条件。

2. 分布式环境中多个节点之间的协作

在分布式环境中,不同的节点可能需要进行协调工作,如分配任务、执行任务等,通过加锁机制保证每个节点领取任务后都能够成功执行任务。

3. 常见场景及应用

订单系统、秒杀系统、分布式任务调度等。

以下是一个使用Java语言实现的Redis分布式锁示例:

import redis.clients.jedis.Jedis;public class RedisDistributedLock {// Redis客户端private Jedis jedis;// 锁的路径private String lockKey;// 锁的持有者private String lockHolder;// 锁的过期时间(单位:毫秒)private int expireTime;// 循环获取锁的时间间隔(单位:毫秒)private int acquireInterval;// 获取锁的最大等待时间(单位:毫秒)private int acquireTimeout;/*** 构造函数* @param jedis Redis客户端* @param lockKey 锁的路径* @param expireTime 锁的过期时间(单位:毫秒)* @param acquireInterval 循环获取锁的时间间隔(单位:毫秒)* @param acquireTimeout 获取锁的最大等待时间(单位:毫秒)*/public RedisDistributedLock(Jedis jedis, String lockKey, int expireTime, int acquireInterval, int acquireTimeout) {this.jedis = jedis;this.lockKey = lockKey;this.expireTime = expireTime;this.acquireInterval = acquireInterval;this.acquireTimeout = acquireTimeout;this.lockHolder = null;}/*** 获取锁* @return 是否获取成功*/public boolean acquire() {// 获取当前时间戳long now = System.currentTimeMillis();// 计算获取锁的最后截止时间long acquireDeadline = now + acquireTimeout;// 循环尝试获取锁while (System.currentTimeMillis() < acquireDeadline) {// 生成随机的锁持有者IDString holder = Long.toString(now) + "|" + Thread.currentThread().getId();// 将锁持有者ID设置到锁的值中,如果设置成功则表示获取锁成功if (jedis.set(lockKey, holder, "NX", "PX", expireTime) != null) {this.lockHolder = holder;return true;}// 如果获取锁失败,则等待一段时间后再次尝试获取try {Thread.sleep(acquireInterval);} catch (InterruptedException e) {e.printStackTrace();}}return false;}/*** 释放锁* @return 是否释放成功*/public boolean release() {// 判断当前锁是否是该线程持有的,如果不是则不能释放if (this.lockHolder != null && this.lockHolder.equals(jedis.get(lockKey))) {jedis.del(lockKey);return true;}return false;}
}

三、Redlock算法的原理与实现

1. Redlock算法的背景

在分布式系统中经常要用到分布式锁,以保证某些操作的原子性,同时避免多个节点同时操作同一个资源。然而传统的分布式锁存在多种问题,例如死锁、宕机等,激发了人们寻求更加安全可靠的分布式锁算法。

2. Redlock算法的原理

Redlock是一个由Redis的创始人开发的分布式锁算法,其思想基于Paxos算法。Redlock算法的流程如下:

  1. 客户端获取当前时间戳t1。
  2. 客户端依次向N个Redis节点请求锁,每个请求的锁过期时间为t1+TTL(time to live)。
  3. 如果客户端在大多数节点上都获得了锁,则客户端获得了锁。
  4. 如果客户端在少数节点上未能获得锁,则客户端将在所有已获得锁的节点上释放已经获得的锁。
  5. 如果客户端在所有节点上都未能获得锁,则重复步骤1。

其中N为Redis节点数量,TTL指过期时间。

3. Redlock算法的缺陷

Redlock算法并不完美,存在以下缺陷:

  1. 时间同步的问题:如果Redis节点系统时间发生偏移,可能会导致锁竞争的严重性问题。
  2. 网络分区问题:如果出现了网络分区情况,则可能导致多个客户端同时获取了锁,而无法做到原子性。

四、Redis Redlock算法的应用

1. 实现分布式锁

在分布式系统中,实现分布式锁是一项非常关键的任务。基于Redlock算法可以很容易地实现分布式锁。下面是java代码实现过程:

public class RedisDistributedLock {private static final long DEFAULT_EXPIRY_TIME = 30000;private static final int DEFAULT_RETRIES = 3;private static final long DEFAULT_RETRY_TIME = 500;private final JedisPool jedisPool;public RedisDistributedLock(JedisPool jedisPool) {this.jedisPool = jedisPool;}/*** 获取分布式锁* @param lockKey 锁key* @param clientId 客户端标识* @return 是否获取到锁*/public boolean acquire(String lockKey, String clientId) {return acquire(lockKey, clientId, DEFAULT_EXPIRY_TIME, DEFAULT_RETRIES, DEFAULT_RETRY_TIME);}/*** 获取分布式锁* @param lockKey 锁key* @param clientId 客户端标识* @param expiryTime 锁超时时间,单位毫秒* @param retryTimes 尝试获取锁的次数* @param retryInterval 每次尝试获取锁的间隔时间,单位毫秒* @return 是否获取到锁*/public boolean acquire(String lockKey, String clientId, long expiryTime, int retryTimes, long retryInterval) {try (Jedis jedis = jedisPool.getResource()) {int count = 0;while (count++ < retryTimes) {// 生成随机字符串作为value,保证每个客户端的锁值是唯一的String lockValue = UUID.randomUUID().toString();// 尝试获取锁,成功返回1,失败返回0String result = jedis.set(lockKey, lockValue, "NX", "PX", expiryTime);if ("OK".equals(result)) {// 将锁标识与客户端匹配,便于解锁时判断锁是否属于当前客户端jedis.hset("lockClientIdMap", lockKey, clientId);return true;}try {Thread.sleep(retryInterval);} catch (InterruptedException e) {Thread.currentThread().interrupt();return false;}}}return false;}/*** 释放分布式锁* @param lockKey 锁key* @param clientId 客户端标识* @return 是否成功释放锁*/public boolean release(String lockKey, String clientId) {try (Jedis jedis = jedisPool.getResource()) {// 获取锁标识对应的客户端标识,判断锁是否属于当前客户端String storedClientId = jedis.hget("lockClientIdMap", lockKey);if (clientId.equals(storedClientId)) {// 删除锁keyjedis.del(lockKey);// 删除锁标识对应的客户端标识jedis.hdel("lockClientIdMap", lockKey);return true;}}return false;}}

2. 保证锁的可重入性

为了保证锁的可重入性,可以在Redis中存储一个计数器,用于记录当前客户端已获取锁的次数。在释放锁时,判断计数器是否为0,如果不为0,则表示锁仍是当前客户端持有的。

3. 避免死锁

为了避免死锁,需要严格控制锁超时时间和尝试获取锁的次数。在获取锁失败后,需要等待一段时间再尝试获取,避免出现大量客户端同时请求获取锁的情况。

五、Redlock算法的优化措施

1. 客户端标识

在分布式锁的实现中,加入客户端标识可以避免一个客户端误解锁其他客户端持有的锁。

2. 指定多个Redis节点

为了提高系统的可用性,可以指定多个Redis节点,当一个Redis节点出现故障时,系统可以切换到其他可用的节点继续工作。

3. 加入时钟偏移量

为了避免时钟不同步导致的锁失效问题,可以加入时钟偏移量,即在获取锁时获取多个Redis节点的时间,并取其最小值作为锁的过期时间。这样可以保证所有节点使用的是同一个时间作为锁的过期时间,从而避免时钟不同步导致的问题。

相关文章:

Redis 分布式锁与 Redlock 算法实现

Redis 分布式锁与 Redlock 算法实现 一、简介1. Redis的分布式锁2. 分布式锁的实现原理 二、Redis 分布式锁使用场景1. 分布式系统中数据资源的互斥访问2. 分布式环境中多个节点之间的协作3. 常见场景及应用 三、Redlock算法的原理与实现1. Redlock算法的背景2. Redlock算法的原…...

【附安装包】Inventor2024安装教程 机械制图|三维制图

软件下载 软件&#xff1a;Inventor版本&#xff1a;2024语言&#xff1a;简体中文大小&#xff1a;5.61G安装环境&#xff1a;Win11/Win10/Win8/Win7硬件要求&#xff1a;CPU2.5GHz 内存8G(或更高&#xff09;下载通道①百度网盘丨64位下载链接&#xff1a;https://pan.baidu…...

c++ 判断基类指针指向的真实对象类型

在 c 面向对象使用中&#xff0c;我们常常会定义一个基类类型的指针&#xff0c;在运行过程中&#xff0c;这个指针可能指向一个基类类型的对象&#xff0c;也可能指向的是其子类类型的对象&#xff0c;那现在问题来了&#xff0c;我们如何去判断这个指针到底执行了一个什么类型…...

退出屏保前玩一把游戏吧!webBrowser中网页如何调用.NET方法

本文主要以 HackerScreenSaver 新功能的开发经历介绍 webBrowser中网页如何调用.NET方法的过程。 1. 背景 之前开源了一款名为 HackerScreenSaver 的 Windows 屏保程序。该程序具有模拟黑客炫酷界面的特点&#xff0c;用户可以将自定义的网页作为锁屏界面。不久前&#xff0c;…...

hive-列转行

转成 select customer_code,product_type from temp.temp_xx LATERAL VIEW explode(SPLIT(product_types,,)) table_tmp AS product_type where customer_code K100515182...

【网络】IP网络层和数据链路层

IP协议详解 1.概念 1.1 四层模型 应用层&#xff1a;解决如何传输数据&#xff08;依照什么格式/协议处理数据&#xff09;的问题传输层&#xff1a;解决可靠性问题网络层&#xff1a;数据往哪里传&#xff0c;怎么找到目标主机数据链路层&#xff08;物理层&#xff09;&…...

基于Spring Gateway路由判断器实现各种灰度发布场景

文章目录 1、灰度发布实现1.1 按随机用户的流量百分比实现灰度1.2 按人群划分实现的灰度1.2.1 通过Header信息实现灰度1.2.2 通过Query信息实现灰度1.2.3 通过RemoteAdd判断来源IP实现灰度 2、路由判断器2.1. After2.2. Before2.3. Between2.4. Cookie2.5. Header2.6. Host2.7.…...

mysql57、mysql80 目录结构 之 Windows

查看mysql 数据存储的位置 /bin&#xff1a;存储可执行文件&#xff0c;主要包含客户端和服务端启动程序&#xff0c;如mysql.exe、mysqld.exe等 /docs&#xff1a;存放一些文档 /include&#xff1a;用于放置一些头文件&#xff0c;如&#xff1a;mysql.h、mysqld_error.h 等 …...

Mac操作系统Safari 17全新升级:秋季推出全部特性

苹果的内置浏览器可能是Mac上最常用的应用程序&#xff08;是的&#xff0c;甚至比Finder、超级Mac Geeks还要多&#xff09;。因此&#xff0c;苹果总是为其浏览器Safari添加有用的新功能。在今年秋天与macOS Sonoma一起推出的第17版中&#xff0c;Safari可以帮助你提高工作效…...

UDP通信、本地套接字

#include <sys/types.h> #include <sys/socket > ssize_t sendto(int sockfd, const void *buf, size_t len, int flags,const struct sockaddr *dest_addr, socklen_t addrlen);- 参数&#xff1a;- sockfd : 通信的fd- buf : 要发送的数据- len : 发送数据的长度…...

ChatGPT提示与技巧分享:如何作出更好的提示2023年8月

​对ChatGPT的一些酷炫技巧感兴趣吗?这里提供了一些可以帮助你充分利用ChatGPT&#xff0c;成为AI工具专家的技巧。 毫无疑问&#xff0c;ChatGPT是目前最广泛使用的人工智能工具之一。它不仅毫不留情地取代了一些特定领域常用的软件小工具&#xff08;如智能对联、经典语录生…...

网络安全(自学黑客)一文全解

目录 特别声明&#xff1a;&#xff08;文末附资料笔记工具&#xff09; 一、前言 二、定义 三、分类 1.白帽黑客&#xff08;White Hat Hacker&#xff09; 2.黑帽黑客&#xff08;Black Hat Hacker&#xff09; 3.灰帽黑客&#xff08;Gray Hat Hacker&#xff09; 四…...

Vue中ElementUI结合transform使用时,发现弹框定位不准确问题

在近期开发中&#xff0c;需要将1920*1080放到更大像素大屏上演示&#xff0c;所以需要使用到transform来对页面进行缩放&#xff0c;但是此时发现弹框定位出错问题&#xff0c;无法准备定位到实际位置。 查看element-ui官方文档无果后&#xff0c;打算更换新的框架进行开发&am…...

(一)连续随机量的生成-基于分布函数

连续随机量的生成-基于分布函数 1. 概率积分变换方法&#xff08;分布函数&#xff09;2. Python编程实现指数分布的采样 1. 概率积分变换方法&#xff08;分布函数&#xff09; Consider drawing a random quantity X X X from a continuous probability distribution with …...

【springboot】Spring Cache缓存:

文章目录 一、导入Maven依赖&#xff1a;二、实现思路&#xff1a;三、代码开发&#xff1a; 一、导入Maven依赖&#xff1a; <dependency><groupId>org.springframework.boot</groupId><artifactId>spring-boot-starter-cache</artifactId><…...

数学建模-建模算法(4)

python虽然不是完全为数学建模而生的&#xff0c;但是它完整的库让它越来越适合建模了。 - 线性规划&#xff1a;使用scipy.optimize.linprog()函数 python from scipy.optimize import linprogc [-1, 4] A [[-3, 1], [1, 2]] b [6, 4] x0_bounds (None, None) x1_bound…...

python之函数返回数据框

1.原始文件 ##gff-version 3 Chr1A IWGSC_v2.1 gene 40098 70338 33 - . IDTraesCS1A03G0000200;previous_idTraesCS1A02G000100;primconfHC;NameTraesCS1A03G0000200;cdsCDS_OK;mappingfullMatchWithMissmatches Chr1A IWGSC_v2.1 mRN…...

电子商务安全体系架构技术方面

技术方面是本文所要阐述的主要方面&#xff0c;因为它能够依靠企业自 身的努力来达到令人满意的安全保障效果。目前&#xff0c;关于电子商务安全体系的研究比 较多&#xff0c;有基于层次的体系&#xff0c;也有基于对象的体系&#xff0c;还有基于风险管理的体系&#xff0…...

新安装IDEA 常用插件、设置

新安装IDEA 常用插件、设置 mybatiscodeHelperProRestfulToolkit-fixJrebelmybatis log freepojo to jsonGrep ConsoleMaven HelperCamelCaseCamelCase常用设置 mybatiscodeHelperPro mapper.xml 编码校验 sql 生成&#xff0c;代码生成 RestfulToolkit-fix URI 跳转到对应的…...

ChromeOS 的 Linux 操作系统和 Chrome 浏览器分离

导读科技媒体 Ars Technica 报道称&#xff0c;谷歌正在将 ChromeOS 的浏览器从操作系统中分离出来 —— 让它变得更像 Linux。虽然目前还没有任何官方消息&#xff0c;但这项变化可能会在本月的版本更新中推出。 据介绍&#xff0c;谷歌将该项目命名为 "Lacros"——…...

Neo4j 集群管理:原理、技术与最佳实践深度解析

Neo4j 的集群技术是其企业级高可用性、可扩展性和容错能力的核心。通过深入分析官方文档,本文将系统阐述其集群管理的核心原理、关键技术、实用技巧和行业最佳实践。 Neo4j 的 Causal Clustering 架构提供了一个强大而灵活的基石,用于构建高可用、可扩展且一致的图数据库服务…...

pikachu靶场通关笔记22-1 SQL注入05-1-insert注入(报错法)

目录 一、SQL注入 二、insert注入 三、报错型注入 四、updatexml函数 五、源码审计 六、insert渗透实战 1、渗透准备 2、获取数据库名database 3、获取表名table 4、获取列名column 5、获取字段 本系列为通过《pikachu靶场通关笔记》的SQL注入关卡(共10关&#xff0…...

【开发技术】.Net使用FFmpeg视频特定帧上绘制内容

目录 一、目的 二、解决方案 2.1 什么是FFmpeg 2.2 FFmpeg主要功能 2.3 使用Xabe.FFmpeg调用FFmpeg功能 2.4 使用 FFmpeg 的 drawbox 滤镜来绘制 ROI 三、总结 一、目的 当前市场上有很多目标检测智能识别的相关算法&#xff0c;当前调用一个医疗行业的AI识别算法后返回…...

Redis的发布订阅模式与专业的 MQ(如 Kafka, RabbitMQ)相比,优缺点是什么?适用于哪些场景?

Redis 的发布订阅&#xff08;Pub/Sub&#xff09;模式与专业的 MQ&#xff08;Message Queue&#xff09;如 Kafka、RabbitMQ 进行比较&#xff0c;核心的权衡点在于&#xff1a;简单与速度 vs. 可靠与功能。 下面我们详细展开对比。 Redis Pub/Sub 的核心特点 它是一个发后…...

【VLNs篇】07:NavRL—在动态环境中学习安全飞行

项目内容论文标题NavRL: 在动态环境中学习安全飞行 (NavRL: Learning Safe Flight in Dynamic Environments)核心问题解决无人机在包含静态和动态障碍物的复杂环境中进行安全、高效自主导航的挑战&#xff0c;克服传统方法和现有强化学习方法的局限性。核心算法基于近端策略优化…...

动态 Web 开发技术入门篇

一、HTTP 协议核心 1.1 HTTP 基础 协议全称 &#xff1a;HyperText Transfer Protocol&#xff08;超文本传输协议&#xff09; 默认端口 &#xff1a;HTTP 使用 80 端口&#xff0c;HTTPS 使用 443 端口。 请求方法 &#xff1a; GET &#xff1a;用于获取资源&#xff0c;…...

C#中的CLR属性、依赖属性与附加属性

CLR属性的主要特征 封装性&#xff1a; 隐藏字段的实现细节 提供对字段的受控访问 访问控制&#xff1a; 可单独设置get/set访问器的可见性 可创建只读或只写属性 计算属性&#xff1a; 可以在getter中执行计算逻辑 不需要直接对应一个字段 验证逻辑&#xff1a; 可以…...

push [特殊字符] present

push &#x1f19a; present 前言present和dismiss特点代码演示 push和pop特点代码演示 前言 在 iOS 开发中&#xff0c;push 和 present 是两种不同的视图控制器切换方式&#xff0c;它们有着显著的区别。 present和dismiss 特点 在当前控制器上方新建视图层级需要手动调用…...

省略号和可变参数模板

本文主要介绍如何展开可变参数的参数包 1.C语言的va_list展开可变参数 #include <iostream> #include <cstdarg>void printNumbers(int count, ...) {// 声明va_list类型的变量va_list args;// 使用va_start将可变参数写入变量argsva_start(args, count);for (in…...

深入理解Optional:处理空指针异常

1. 使用Optional处理可能为空的集合 在Java开发中&#xff0c;集合判空是一个常见但容易出错的场景。传统方式虽然可行&#xff0c;但存在一些潜在问题&#xff1a; // 传统判空方式 if (!CollectionUtils.isEmpty(userInfoList)) {for (UserInfo userInfo : userInfoList) {…...