Redis魔法:点燃分布式锁的奇妙实现
分布式锁是一种用于在分布式系统中控制对共享资源的访问的锁。它与传统的单机锁不同,因为它需要在多个节点之间协调以确保互斥访问。
本文将介绍什么是分布式锁,以及使用Redis实现分布式锁的几种方案。
一、前言
了解分布式锁之前,需要先了解一下
- 线程锁
- 进程锁
- CAP理论
线程锁
线程锁主要用来给方法、代码块加锁。
当某个方法或代码使用锁,在同一时刻仅有一个线程执行该方法或该代码段。
线程锁只在同一JVM中有效果,因为线程锁的实现,是通过线程之间共享内存实现的,
一般实现方法:
- Synchronized
- Lock
进程锁
进程锁是控制同一操作系统中多个进程访问某个共享资源
进程具有独立性,各个进程无法访问其他进程的资源,因此无法通过synchronized等线程锁实现进程锁。
CAP理论
任何一个分布式系统都无法同时满足
- 一致性(Consistency)
- 可用性(Availability)
- 分区容错性(Partition tolerance)
最多只能同时满足两项。
二、分布式锁
概念
如果不同的系统或同一个系统的不同主机之间共享了某个临界资源,往往需要互斥来防止彼此干扰,以保证一致性,就产生了分布式锁。包含三个要素:
- 分布式系统
- 不同进程
- 共同访问共享资源
分布式锁,实现的是CA,即一致性
和可用性
特性
- 互斥性: 任意时刻,只有一个客户端能持有锁。
- 锁超时释放:持有锁超时,可以释放,防止不必要的资源浪费,也可以防止死锁。
- 可重入性:一个线程如果获取了锁之后,可以再次对其请求加锁。
- 高性能和高可用:加锁和解锁需要开销尽可能低,同时也要保证高可用,避免分布式锁失效。
- 安全性:锁只能被持有的客户端删除,不能被其他客户端删除。
三、实现方案
Redisson框架
框架介绍
Redisson是一款基于Java的Redis客户端,它封装了Redis的Java客户端Jedis、Lettuce等,并且提供了许多额外的功能,例如分布式锁、分布式集合、分布式对象、布隆过滤器等。
框架特点
- 提供了丰富的API,简单易用。
- 提供了多种数据结构的实现,如分布式锁、分布式集合、分布式Map、分布式Queue等。
- 支持多种Redis部署方式,如单节点、主从、哨兵、集群等。
- 提供了基于Netty的高性能的Redis连接池。
- 提供了基于Ramp模型的分布式远程调用框架,可以方便的进行分布式服务调用。
简单示例
1.引入Redisson的依赖
<dependency><groupId>org.redisson</groupId><artifactId>redisson</artifactId><version>3.16.0</version>
</dependency>
2.创建RedissonClient对象
Config config = new Config();
config.useSingleServer().setAddress("redis://127.0.0.1:6379");
RedissonClient redissonClient = Redisson.create(config);
3.使用RedissonClient对象进行数据操作
// 获取字符串对象
RBucket<String> bucket = redissonClient.getBucket("myKey");
bucket.set("myValue");// 获取Map对象
RMap<String, String> map = redissonClient.getMap("myMap");
map.put("key1", "value1");// 获取分布式锁对象
RLock lock = redissonClient.getLock("myLock");
lock.lock();
try {// do something
} finally {lock.unlock();
}
基于SETNX命令实现
通过使用Redis中的SETNX命令(即SET if Not eXists),可以实现一个简单的分布式锁。
SETNX命令是Redis中的一种原子性操作,用于将一个键值对(key-value)设置到Redis中,仅在键不存在时才会设置成功,否则设置失败。利用SETNX命令的特性,可以实现分布式锁的机制,具体步骤如下:
- 设置锁:在Redis中设置一个键值对,键为锁名称,值为一个随机生成的字符串,同时设置过期时间(防止锁一直存在,导致死锁)。可以使用以下Redis命令:
SETNX lock_name random_value
EXPIRE lock_name expire_time
- 获取锁:如果SETNX命令返回1,则说明锁设置成功,此时获取到了锁;如果返回0,则说明锁已经被其他节点持有,此时需要等待一段时间后重试获取锁。
- 释放锁:释放锁时,需要先判断当前线程持有的锁是否与之前设置的锁名称和值相同,如果相同,则通过DEL命令删除该键值对,释放锁。
if redis.call('get', KEYS[1]) == ARGV[1] thenreturn redis.call('del', KEYS[1])
elsereturn 0
end
基于RedLock实现
RedLock是一个多节点分布式锁算法,它基于Redis和一些简单的算法来实现高可用的分布式锁。
与传统的Redis分布式锁方案相比,RedLock可以更好地应对网络故障和硬件故障等异常情况,提高系统的可用性和稳定性。
RedLock算法的基本思想是:将锁的持有和释放过程转化为一个竞争资源的问题,通过多节点协作的方式来实现锁的分配和释放。
具体步骤如下:
- 对于要加锁的资源,计算出一个唯一的标识(比如使用hash函数将资源名称转化为一个32位整数),作为锁的名称。
- 获取多个Redis节点的当前时间戳,并计算出一个时钟偏差(clock drift)。时钟偏差可以通过取多个Redis节点的时间戳的平均值来计算。这样可以避免不同Redis节点之间的时间不同步而导致的锁冲突问题。
- 获取锁:对于每个Redis节点,尝试通过SET命令获取锁。如果获取锁成功,则记录锁的名称、锁的值(一个随机字符串)、过期时间以及Redis节点的标识信息(比如IP地址和端口号)。如果获取锁失败,则记录失败的节点信息。
- 判断获取锁的结果:统计获取锁成功的节点数,并根据Quorum算法(投票算法)来判断是否获取锁成功。如果获取锁成功的节点数大于等于N/2+1(其中N为Redis节点数),则表示锁获取成功;否则,表示锁获取失败。
- 执行结果:如果锁获取成功,则执行相应的业务逻辑;如果锁获取失败,则需要尝试在所有失败的节点中找到一个最新的锁并释放它,以避免死锁问题。
- 释放锁:释放锁时,需要根据锁的名称和值来判断当前节点是否持有该锁。如果当前节点持有该锁,则通过DEL命令删除该键值对,释放锁。
需要注意的是,RedLock算法并不能保证绝对的可用性和正确性,仍然可能存在某些特殊情况下的锁冲突问题。
因此,在实际应用中,需要根据具体业务场景和需求来选择适合的分布式锁方案,并进行充分的测试和优化。
基于Lua脚本实现
在Redis中可以使用Lua脚本来实现分布式锁,其基本思想是通过原子操作将锁的获取和释放过程合并为一个操作,保证锁的原子性和一致性。
使用Lua脚本可以在Redis中实现一个基于SET命令的分布式锁,具体实现步骤如下:
- 生成一个随机字符串作为锁的值,以确保不同的客户端使用的锁值不同。
- 使用SET命令将锁名作为key,锁值作为value,过期时间作为expire参数来设置锁,加上NX(Not eXist)选项,只有当key不存在时才设置成功。
- 在Lua脚本中使用eval命令执行以下脚本:
if redis.call('set', KEYS[1], ARGV[1], 'NX', 'PX', ARGV[2]) thenreturn 1
elsereturn 0
end
其中,KEYS[1]表示锁的名称,ARGV[1]表示锁的值,ARGV[2]表示锁的过期时间。
- 结果:如果eval命令返回1,则表示获取锁成功;如果返回0,则表示获取锁失败。
- 释放锁时,可以使用DEL命令删除锁的名称即可。
下面是一个完整的Lua例子:
if redis.call('setnx', KEYS[1], ARGV[1]) == 1 thenredis.call('expire', KEYS[1], ARGV[2])return 1
elsereturn 0
end-- 释放锁
if redis.call('get', KEYS[1]) == ARGV[1] thenreturn redis.call('del', KEYS[1])
elsereturn 0
end
上面的代码包括两个部分:获取锁和释放锁。
- 获取锁:使用setnx命令来尝试获取锁。如果获取成功,则设置锁的过期时间,并返回1表示获取锁成功;否则,返回0表示获取锁失败。
- 释放锁:先通过get命令获取锁的值,判断当前节点是否持有该锁。如果持有,则使用del命令删除该键值对并返回1表示释放锁成功;否则,返回0表示释放锁失败。
四、总结
上面提到的通过Redis实现的分布式锁几种方案,在高并发的情况下,可能存在锁冲突的问题,因此需要根据实际业务场景来选择适合的锁方案,并进行充分的测试和优化。
最后,推荐一款应用开发神器
扯个嗓子!关于目前低代码在技术领域很活跃!
低代码是什么?一组数字技术工具平台,能基于图形化拖拽、参数化配置等更为高效的方式,实现快速构建、数据编排、连接生态、中台服务等。通过少量代码或不用代码实现数字化转型中的场景应用创新。它能缓解甚至解决庞大的市场需求与传统的开发生产力引发的供需关系矛盾问题,是数字化转型过程中降本增效趋势下的产物。
这边介绍一款好用的低代码平台——JNPF快速开发平台。近年在市场表现和产品竞争力方面表现较为突出,采用的是最新主流前后分离框架(SpringBoot+Mybatis-plus+Ant-Design+Vue3)。代码生成器依赖性低,灵活的扩展能力,可灵活实现二次开发。
以JNPF为代表的企业级低代码平台为了支撑更高技术要求的应用开发,从数据库建模、Web API构建到页面设计,与传统软件开发几乎没有差异,只是通过低代码可视化模式,减少了构建“增删改查”功能的重复劳动,还没有了解过低代码的伙伴可以尝试了解一下。
应用:https://www.jnpfsoft.com/?csdn
有了它,开发人员在开发过程中就可以轻松上手,充分利用传统开发模式下积累的经验。所以低代码平台对于程序员来说,有着很大帮助。
相关文章:

Redis魔法:点燃分布式锁的奇妙实现
分布式锁是一种用于在分布式系统中控制对共享资源的访问的锁。它与传统的单机锁不同,因为它需要在多个节点之间协调以确保互斥访问。 本文将介绍什么是分布式锁,以及使用Redis实现分布式锁的几种方案。 一、前言 了解分布式锁之前,需要先了…...
iOS 项目避坑:多个分类中方法重复实现检测
#前言 在项目中,我们经常会使用分类 -> category。category在实际项目中一般有两个左右:1.给已有class增加方法,扩充起能力、2.将代码打散到多个文件中,避免因为一个类过于复杂而导致代码篇幅过长(应用于viewController中很好用) 但是 category 也有很多弊端~ **首…...

【003】EIS数据分析_#LIB
EIS数据分析 1. EIS测试及数据获取2. EIS数据分析2.1 EIS曲线划分 1. EIS测试及数据获取 点击查看往期介绍 2. EIS数据分析 2.1 EIS曲线划分 一般来说,实轴处的截获表示体电阻(Rb),它反映了电解质,隔膜和电极的电导率。高频区的半圆对应于…...

Sprint framework Day07:注解结合 xml 配置
前言 Spring注解结合XML配置是指在Spring应用中,使用注解和XML配置的方式来进行Bean的定义、依赖注入和其他配置。这种方式可以充分利用Spring框架的注解和XML配置两种不同的配置方式的特点。 在Spring框架中,我们可以使用注解来定义Bean,如…...

LiveGBS流媒体平台GB/T28181功能-国标流媒体服务同时兼容内网收流外网收流多网段设备收流
LiveGBS流媒体平台GB/T28181功能-国标流媒体服务同时兼容内网收流外网收流多网段设备收流 1、背景2、设备接入播放2.1、查看通道2.2、直播播放 3、默认收流地址配置4、其它网络设备收流配置5、搭建GB28181视频直播平台 1、背景 服务器部署的时候,可能有多个网卡多个…...
js题解(四)
文章目录 批量改变对象的属性判断是否包含数字判断是否符合指定格式 批量改变对象的属性 给定一个构造函数 constructor,请完成 alterObjects 方法,将 constructor 的所有实例的 greeting 属性指向给定的 greeting 变量。 function alterObjects(const…...
如何进行大数运算和高精度计算?
大数运算和高精度计算是在计算机编程中常见的需求,尤其是当处理大整数、分数、复数、浮点数等需要更多位数的数据时。在C语言中,由于原生的数据类型有限,您需要使用自定义的数据结构和算法来执行大数运算和高精度计算。在本文中,我…...

身份证读卡器跟OCR有何区别?哪个好?
二代身份证读卡器(以下简称读卡器)和OCR(光学字符识别)是两种常见的身份证信息获取技术,它们在原理、功能和应用方面存在一些区别。下面将详细介绍二者的区别并探讨哪个更好。 1. 原理: - 读卡器ÿ…...

华为云云耀云服务器L实例评测 | 实例评测使用之硬件参数评测:华为云云耀云服务器下的 Linux 网络监控神器 bmon
华为云云耀云服务器L实例评测 | 实例评测使用之硬件参数评测:华为云云耀云服务器下的 Linux 网络监控神器 bmon 介绍华为云云耀云服务器 华为云云耀云服务器 (目前已经全新升级为 华为云云耀云服务器L实例) 华为云云耀云服务器是什…...

C++ 设计模式 —— 组合模式
C 设计模式 —— 组合模式 0. 引用连接 本文主要的思路和代码,来自于对以下连接的学习和实现: 组合模式 1. 引言 1.1 什么是组合模式? 组合模式的定义组合模式的作用 组合模式是一种行为型设计模式,它将对象组合成树形结构以…...

华为云Stack的学习(九)
十、华为云Stack灾备服务介绍 1.云硬盘备份VBS 云硬盘备份服务(VBS,Volume Backup Service)可为云硬盘(EVS,Elastic Volume Service)创建备份,利用备份数据恢复云硬盘,最大限度保障…...
Flink中jobmanager、taskmanager、slot、task、subtask、Parallelism的概念
场景 一个工厂有三个车间每个车间两条生产线 生产流程如下 原料->加工->过滤->分类->美化->包装->下线 JobManager:工厂 在上述场景中,工厂就是jobManager,负责协调、调度和监控整个生产过程 TaskManager:车间…...

OpenHarmony docker环境搭建
OpenHarmony docker环境搭建 要求一台安装ubuntu的虚拟机,vscode软件 安装docker 在 Ubuntu 上安装 Docker 非常直接。我们将会启用 Docker 软件源,导入 GPG key,并且安装软件包。 首先,更新软件包索引,并且安装必要的依赖软件…...
【计算机网络】网络编程接口 Socket API 解读(11)
Socket 是网络协议栈暴露给编程人员的 API,相比复杂的计算机网络协议,API 对关键操作和配置数据进行了抽象,简化了程序编程。 本文讲述的 socket 内容源自 Linux man。本文主要对各 API 进行详细介绍,从而更好的理解 socket 编程。…...

Qt工具开发,该不该跳槽?
Qt工具开发,该不该跳槽? 就这样吧,我怕你跳不动。 嵌入式UI,目前趋势是向着LVGL发展。QT已经在淘汰期了。很多项目还在用,但技术上已经落后。QT短期内不会全面淘汰,但退位让贤的大趋势已经很清楚了。 最近很多小伙伴…...

【深度学习】DDPM,Diffusion,概率扩散去噪生成模型,原理解读
看过来看过去,唯有此up主,非常牛: Video Explaination(Chinese) 1. DDPM Introduction q q q - 一个固定(或预定义)的正向扩散过程,逐渐向图像添加高斯噪声,直到最终得到纯噪声。 p θ p_θ p…...

HT8699:内置 BOOST 升Y双声道音频功率放大器
HT8699是一款内置BOOST升Y模块的立体声音频功率放大器。HT8699具有AB类和D类切换功能,在受到D类功放EMI干扰困扰时,可切换至AB类音频功放模式。 在D类模式下,内置的BOOST升Y模块可通过外置电阻调节升Y值,即使是锂电池供电…...

利达卓越:关注环保事业,持续赋能科技
随着全球环境问题的日益突出,绿色金融作为一种新兴的金融模式逐渐受到各国的重视。绿色金融是指在金融活动中,通过资金、信贷和风险管理等手段,支持环境友好和可持续发展的项目和产业。绿色金融的出现是为了应对气候变化、资源短缺、污染问题等现实挑战,促进经济的绿色转型和可…...
Spring MVC中通过配置文件配置定时任务
Spring MVC中配置定时任务(配置文件方式) 1.步骤 1.步骤 1-1 在springmvc.xml(配置文件)的beans中添加 xmlns:task"http://www.springframework.org/schema/task" http://www.springframework.org/schema/task http…...

AI项目十六:YOLOP 训练+测试+模型评估
若该文为原创文章,转载请注明原文出处。 通过正点原子的ATK-3568了解到了YOLOP,这里记录下训练及测试及在onnxruntime部署的过程。 步骤:训练->测试->转成onnx->onnxruntime部署测试 一、前言 YOLOP是华中科技大学研究团队在2021年…...

UDP(Echoserver)
网络命令 Ping 命令 检测网络是否连通 使用方法: ping -c 次数 网址ping -c 3 www.baidu.comnetstat 命令 netstat 是一个用来查看网络状态的重要工具. 语法:netstat [选项] 功能:查看网络状态 常用选项: n 拒绝显示别名&#…...

SpringBoot+uniapp 的 Champion 俱乐部微信小程序设计与实现,论文初版实现
摘要 本论文旨在设计并实现基于 SpringBoot 和 uniapp 的 Champion 俱乐部微信小程序,以满足俱乐部线上活动推广、会员管理、社交互动等需求。通过 SpringBoot 搭建后端服务,提供稳定高效的数据处理与业务逻辑支持;利用 uniapp 实现跨平台前…...

uniapp微信小程序视频实时流+pc端预览方案
方案类型技术实现是否免费优点缺点适用场景延迟范围开发复杂度WebSocket图片帧定时拍照Base64传输✅ 完全免费无需服务器 纯前端实现高延迟高流量 帧率极低个人demo测试 超低频监控500ms-2s⭐⭐RTMP推流TRTC/即构SDK推流❌ 付费方案 (部分有免费额度&#x…...

前端开发面试题总结-JavaScript篇(一)
文章目录 JavaScript高频问答一、作用域与闭包1.什么是闭包(Closure)?闭包有什么应用场景和潜在问题?2.解释 JavaScript 的作用域链(Scope Chain) 二、原型与继承3.原型链是什么?如何实现继承&a…...

vue3+vite项目中使用.env文件环境变量方法
vue3vite项目中使用.env文件环境变量方法 .env文件作用命名规则常用的配置项示例使用方法注意事项在vite.config.js文件中读取环境变量方法 .env文件作用 .env 文件用于定义环境变量,这些变量可以在项目中通过 import.meta.env 进行访问。Vite 会自动加载这些环境变…...
scikit-learn机器学习
# 同时添加如下代码, 这样每次环境(kernel)启动的时候只要运行下方代码即可: # Also add the following code, # so that every time the environment (kernel) starts, # just run the following code: import sys sys.path.append(/home/aistudio/external-libraries)机…...
OD 算法题 B卷【正整数到Excel编号之间的转换】
文章目录 正整数到Excel编号之间的转换 正整数到Excel编号之间的转换 excel的列编号是这样的:a b c … z aa ab ac… az ba bb bc…yz za zb zc …zz aaa aab aac…; 分别代表以下的编号1 2 3 … 26 27 28 29… 52 53 54 55… 676 677 678 679 … 702 703 704 705;…...
Spring Security 认证流程——补充
一、认证流程概述 Spring Security 的认证流程基于 过滤器链(Filter Chain),核心组件包括 UsernamePasswordAuthenticationFilter、AuthenticationManager、UserDetailsService 等。整个流程可分为以下步骤: 用户提交登录请求拦…...
6个月Python学习计划 Day 16 - 面向对象编程(OOP)基础
第三周 Day 3 🎯 今日目标 理解类(class)和对象(object)的关系学会定义类的属性、方法和构造函数(init)掌握对象的创建与使用初识封装、继承和多态的基本概念(预告) &a…...

C++_哈希表
本篇文章是对C学习的哈希表部分的学习分享 相信一定会对你有所帮助~ 那咱们废话不多说,直接开始吧! 一、基础概念 1. 哈希核心思想: 哈希函数的作用:通过此函数建立一个Key与存储位置之间的映射关系。理想目标:实现…...