Redis学习路线(6)—— Redis的分布式锁
一、分布式锁的模型
(一)悲观锁: 认为线程安全问题一定会发生,因此在操作数据之前先获取锁,确保线程串行执行。例如Synchronized、Lock都属于悲观锁。
- 优点: 简单粗暴
- 缺点: 性能略低
(二)乐观锁: 认为线程安全问题不一定会发生,因此不加锁,只有在更新数据时判断有没有其他线程对数据做了修改,如果没有修改则认为是安全的,自己才能更新数据;如果已经被其它线程修改,说明发生了安全问题,此时可以重试或异常。
- 优点: 性能好
- 缺点: 存在成功率低的问题
(三)常见的实现方式:
- 版本号法: 通过 id-stock-version结构,通过查询的version与本次是否相同来判断是否被修改。
- CAS法: 是版本号法的改良版,是用 old-query-new的结构,通过第一次query出来的stock,与第二次提交的stock是否一致,若一致则 old = new;
二、Redis的分布式锁
(一)分布式锁的作用: 作为公用JVM锁监视器,集群中的每台JVM都能获取锁监视器监测的线程,多个JVM内部同步了线程执行。
(二)分布式锁的需求: 多进程可见、互斥、高可用、 高性能、安全性…
(三)常见分布式锁的差异:
| MySQL | Redis | Zookeeper | |
|---|---|---|---|
| 互斥 | 利用mysql本身的互斥锁机制 | 利用setnx这样的互斥命令 | 利用节点的唯一性和有序性实现互斥 |
| 高可用 | 好 | 好 | 好 |
| 高性能 | 一般 | 好 | 一般 |
| 安全性 | 断开连接,自动释放锁 | 利用锁超时时间,到期释放 | 临时节点,断开连接自动释放 |
(四)Redis实现分布式锁
1、获取锁:
- 互斥: 确保只有一个线程获取锁。
SETNX lock thread1
2、释放锁
- 手动释放:
DEL lock - 过期释放:
EXPIRE lock 5
(1)通过 SET 操作 实现原子性操作: SET lock thread1 EX 10 NX,意思是创建一个lock缓存,值为thread1,保持10s时间,NX为互斥操作
(2)当锁获取失败时的方法:
- 阻塞式获取锁: 一直等待到有线程释放锁。(对CPU资源消耗高)
- 非阻塞式获取锁: 失败就不再尝试获取锁。
3、代码实现分布式锁
(1)需求: 定义一个类,实现Redis分布式锁功能。
public class SimpleRedisLock implements ILockService {private static final String LOCK = "lock:";private String threadName;private StringRedisTemplate redisTemplate;public SimpleRedisLock() {}public SimpleRedisLock(String threadName, StringRedisTemplate redisTemplate) {this.threadName = threadName;this.redisTemplate = redisTemplate;}@Overridepublic boolean tryLock(long timeoutSec) {//1、获取锁Boolean absent = redisTemplate.opsForValue().setIfAbsent(LOCK + threadName, String.valueOf(Thread.currentThread().getId()), timeoutSec, TimeUnit.SECONDS);return Boolean.TRUE.equals(absent);}@Overridepublic void unlock() {//2、解锁redisTemplate.delete(LOCK + threadName);}
}
四、基于Redis的分布式锁优化——Redisson对象
(一)基于setnx实现的分布式锁存在的问题
- 不可重入: 同一个线程无法多次获得同一把锁
- 不可重试: 获取锁只尝试一次就返回false,没有重试机制
- 超时释放锁: 锁超时释放,虽然可以避免死锁,但在业务耗时过长,也会导致锁释放,存在安全隐患。
- 主从一致性: 如果Redis提供了主从集群,主从同步存在延迟,当主宕机时,如果从同步主中的所数据,则会出现锁实现。
(二)实现分布式锁的常用对象——Redisson
1、概念: Redisson是一个Redis的基础上实现的Java驻内存数据网络(In-Memory Data Grid)。提供了一系列分布式的Jav常用对象,还提供了许多分布式服务,其中包含了各种分布式锁的实现。
2、分布式锁的种类 官网地址: https://redisson.org
- 分布式锁(Lock)和同步器(Synchronizer)
- 可重入锁(Reentrant Lock)
- 公平锁(Fair Lock)
- 联锁(Multi Lock)
- 红锁(Red Lock)
- 读写锁(ReadWrite Lock)
- 信号量(Semaphore)
- 可过期性信号量(PermitExpirableSemaphore)
- 闭锁(CountDownLatch)
3、Redisson的基本使用
<dependency><groupId>org.redisson</groupId><artifactId>redisson</artifactId><version>3.13.6</version>
</dependency>
@Configuration
public class RedisConfig {@Beanpublic RedissonClient redissonClient() {//配置类Config config = new Config();//连接redisconfig.useSingleServer().setAddress("redis://192.168.92.131:6379").setPassword("123321");//创建客户端return Redisson.create(config);}
}
@Resource
private RedissonClient redissonClient;@Test
void testRedisson() throws InterruptedException {// 获取锁(可重入),指定锁名称RLock lock = redissonClient.getLock("anyLock");// 尝试获取锁,参数分别是: 获取锁的最大等待时间(期间会重试),锁自动释放时间,时间单位boolean isLock = lock.tryLock(1, 10, TimeUnit.SECONDS);// 判断释放获取成功if(isLock){try{System.out.println("执行业务");}finally{//释放锁lock.unlock();}}
}
4、Redisson可重入锁原理
(1)可重入锁是什么?
可重入锁是指一个线程可以多次获取一把锁的锁获取机制。
(2)ReentrantLock可重入原理
当线程获取锁时,如果有线程占用锁,就检查该线程是否是自己本身,若是自己则再一次尝试获取锁,每执行一次尝试获取锁,就会有个重入计数器记录线程重入的次数,在本次方法执行结束后释放锁,重入计数器相应减一,直到整个方法执行完,才能完整的将锁释放掉。
(3)基于Redis的可重入锁的实现方式
流程: 判断锁是否存在(若不存在,则获取锁并添加线程标识,设置锁有效期,执行业务,执行完毕后依旧需要判断锁的归属以及锁计数状态) 》判断锁标识是否是自己(若是,则锁计数+1) 》 若不是,获取锁失败 》
lua脚本
local key = KEYS[1];
local threadId = ARGV[1];
local releaseTime = ARGV[2];--1、判断当前锁是否是自己
if (redis.call("HEXISTS", key, threadId) == 0) then-- 不是,则直接返回return nil;
end
-- 如果是,则计数器-1
local count = redis.call("HINCRBY", key, threadId, -1);--2、判断统计数是否为0
if (count > 0) then-- 统计数不为零,则重置计时器redis.call("expire", key, releaseTime);
else--统计数为零,则释放锁redis.call("del", key);return nil;
end
5、multiLock,主从一致性
(1)产生原因: 多台Redis,主节点主要存储最新的数据,从节点需要同步数据,在数据同步过程中,会产生延时,因为某些异常导致了主节点宕机了,从节点的数据就不一致并且因为锁对象锁定的redis宕机了,所以锁就失效了,产生了之前所提到的所有分布式安全问题。
(2)解决方法: 联锁机制。
(3)联锁机制的主从一致性的解决方式: 通过获取Redis集群的所有锁,只有获取了Redis集群的所有锁才能进行数据更新。
(4)Redssion的联锁: MultiLock
6、Redisson的锁重试以及WatchDog机制
(1)Redisson的锁重试机制的基本流程: 可自行查看RedissonLock类的重试锁机制和释放锁机制
- 将等待时间,释放时间,统一转换为毫秒级
- 第一次尝试获取锁(若返回的TTL为null,说明获取到了)
- 判断是否获取锁(阻塞等待结果返回)
- 判断锁释放时间是否为默认(传参了-1,表示默认),若为默认则使用WatchDog监控时间(30s),否则以传入的参数为准
- 使用异步释放函数,函数里包含了可重入锁实现的脚本(结果返回到一个Future类)
- 判断是否获取锁(阻塞等待结果返回)
- 若未获取到锁,则将等待时间减去获取锁的那段时间,并且加以判断等待时间是否不足(若不足,则放弃重试返回错误信息)
- 订阅当前尝试获取锁的线程标识(阻塞等待剩余等待时间,若还是没有释放锁的信号,则取消订阅并返回错误信息),当释放锁脚本中
publish命令执行后,开始进行锁获取 - 订阅到锁信号
- 判断等待时间是否充足(等待时间先被减去等待信号的时间,计算结果若小于零,则返回错误信息)
- 若充足,则循环尝试获取锁,直至锁成功获取,或等待时间不足返回错误(循环尝试并不是一直循环,只有在获取到锁信号的时候才会尝试获取)

三、分布式锁使用过程中的相关问题
(一)数据超量修改
1、产生原因: 由于多线程的参与,功能模块的方法之间执行顺序就会有差异,那么当多个线程由于操作顺序不同可能都查询到了库存还有剩余,都会去执行扣减库存的操作,这样原本库存数 < 请求线程数,就造成了库存直接变负的情况。
2、解决方案: 加锁,保持用户访问时持有锁才能修改操作。
3、加乐观锁和加悲观锁对问题解决效果
(1)加乐观锁: 由于是通过对更新前后数据变化进行判断是否能够更新数据,同时访问的线程,在线程 a 访问更新后,线程 b 由于更新前后访问的数据不一致,导致线程更新失败,同时在同一时期访问的线程全部失败,所以它的效率会极差,但依旧可以完成业务。
(2)加悲观锁: 由于线程 a 获得了锁,进入了访问更新阶段,但线程 b 并未获取锁而阻塞,若因为没有锁重试机制,可能会导致大量线程失败,相较于乐观锁的方式,成功率显然有所提升,并且其安全性也获得了提升,不会因为同一个用户的多次相同请求而多次更新。
(二)集群状态下,锁功能失效
1、产生原因: JVM内部维护了一个锁监视器,在同一个userid下,认为这个线程是同一个线程,但是当有两个或更多的JVM集群出来,而锁监视器并没有锁定同一个线程,所以才会有并发安全问题。
2、解决方案: 采用分布式锁
(三)业务阻塞导致锁超时释放
1、原因: 线程被阻塞,分布式锁超时被释放,导致线程运行混乱。
2、解决方法: 在业务完成后,先检查锁的标识是否一致,再判断是否释放锁。
(四)超时释放锁
1、产生原因: 由于JVM的垃圾回收机制,线程在释放锁之前可能会遭遇阻塞,造成超时释放锁
2、解决方法: 将判断表示与释放锁形成原子性。
3、实现方法: 使用Lua脚本,编写多条Redis,保证Redis命令的原子性。
3、Lua脚本的使用方法: Redis提供了一个回调函数,可以调用脚本。
EVAL "return redis.call('set', KEYS[1], ARGV[1])" 1 name Rose
4、释放锁的业务流程
- 获取锁中的线程标识
- 判断是否与指定标识(当前线程标识)一致
- 如果一致则释放锁(删除)
- 如果不一致则什么都不做
相关文章:
Redis学习路线(6)—— Redis的分布式锁
一、分布式锁的模型 (一)悲观锁: 认为线程安全问题一定会发生,因此在操作数据之前先获取锁,确保线程串行执行。例如Synchronized、Lock都属于悲观锁。 优点: 简单粗暴缺点: 性能略低 &#x…...
一、创建自己的docker python容器环境;支持新增python包并更新容器;离线打包、加载image
1、创建自己的docker python容器环境 参考:https://blog.csdn.net/weixin_42357472/article/details/118991485 首先写Dockfile,注意不要有txt等后缀 Dockfile # 使用 Python 3.9 镜像作为基础 FROM python:3.9# 设置工作目录 WORKDIR /app# 复制当前…...
【Git】git企业开发命令整理,以及注意点
1.git企业开发过程 业务的分支大概有以下几个: master:代码随时可能上线 develop:代码最新 feature/xxx:实际业务开发分支 release/xxx:预发布分支 fix:修复bug分支 过程大概是这样的: 首…...
使用Django自带的后台管理系统进行数据库管理的实例
Django自带的后台管理系统主要用来对数据库进行操作和管理。它是Django框架的一个强大功能,可以让你快速创建一个管理界面,用于管理你的应用程序的数据模型。 使用Django后台管理系统,你可以轻松地进行以下操作: 数据库管理&…...
leetcode解题思路分析(一百四十五)1254 - 1266 题
统计封闭岛屿的数目 二维矩阵 grid 由 0 (土地)和 1 (水)组成。岛是由最大的4个方向连通的 0 组成的群,封闭岛是一个 完全 由1包围(左、上、右、下)的岛。请返回 封闭岛屿 的数目。 BFS或者DFS…...
使用 GORM 连接数据库并实现增删改查操作
步骤 1:安装 GORM 首先,我们需要安装 GORM 包。在终端中运行以下命令: shell go get -u gorm.io/gorm 步骤 2:导入所需的包 在 Go 代码的开头导入以下包: import ("gorm.io/driver/mysql" // 如果你使用…...
kafka集群搭建(Linux环境)
zookeeper搭建,可以搭建集群,也可以单机(本地学习,没必要搭建zookeeper集群,单机完全够用了,主要学习的是kafka) 1. 首先官网下载zookeeper:Apache ZooKeeper 2. 下载好之后上传到…...
树莓派本地快速搭建web服务器,并发布公网访问
文章目录 树莓派本地快速搭建web服务器,并发布公网访问 树莓派本地快速搭建web服务器,并发布公网访问 随着科技的发展,电子工业也在不断进步,我们身边的电子设备也在朝着小型化和多功能化演进,以往体积庞大的电脑也在…...
集合中的数据结构
栈 先进后出入口跟出口在同一侧 队列 先进先出入口跟出口在不同的一层 数组 查询快、增删慢查询快是因为数组的地址是连续的,我们通过数组的首地址就可以找到数组,之后通过数组的下标就可以访问数组的每一个元素。增删慢是因为数组的长度是固定的&…...
CentOS 8 错误: Error setting up base repository
配置ip、掩码、网关、DNS VMware网关可通过如下查看 打开网络连接 配置镜像的地址 vault.centos.org/8.5.2111/BaseOS/x86_64/os/...
java外观模式
在Java中,外观模式(Facade Design Pattern)用于为复杂的子系统提供一个简单的接口,以方便客户端的使用。外观模式是一种结构型设计模式,它隐藏了系统的复杂性,将多个类的复杂操作封装在一个外观类中&#x…...
3秒快速打开 jupyter notebook
利用 bat 脚本,实现一键打开 minconda 特点: 1、可指定 python 环境 2、可指定 jupyter 目录 一、配置环境 minconda 可以搭建不同的 python 环境,所以我们需要找到 minconda 安装目录,把对应目录添加到电脑环境 PATH 中&#…...
数据安全
数据的备份与恢复 1. 数据备份技术 任何数据在长期使用过程中,都存在一定的安全隐患。由于认为操作失误或系统故障,例如认为错误、程序出错、计算机失效、灾难和偷窃,经常造成数据丢失,给个人和企业造成灾难性的影响。在这种情况…...
华为nat64配置
1.前期环境准备 环境拓扑 拓扑分为两个区域,左边为trust区域,使用IPv4地址互访,右边为untrust区域,使用IPv6地址互访 2.接口地址配置 pc1地址配置 pc2地址配置 FW接口配置 (1)首先进入防火墙配置界面 注:防火墙初始账号密码为user:admin,pwd:Admin@123,进入之后…...
从分片传输到并行传输之大文件传输加速技术
随着大文件的传输需求越来越多,传输过程中也会遇到很多困难,比如传输速度慢、文件安全性低等。为了克服这些困难,探讨各种大文件传输加速技术。其中,分片传输和并行传输是两种比较常见的技术,下面将对它们进行详细说明…...
mybatisPlus入门篇
文章目录 初窥门径1.1 初识MybatisPlus1.2 MybatisPlus的特性1.3 MybatisPlus的架构模型 入门案例2.1 准备相关开发环境2.2 搭建springboot工程2.3 创建数据库2.4 引入相关依赖2.5 创建实体类2.6 集成MybatisPlus2.7 单元测试2.8 springboot日志优化 初窥门径 1.1 初识Mybatis…...
NineData支持最受欢迎数据库PostgreSQL
根据在 Stack Overflow 发布的 2023 开发者调研报告中显示,PostgreSQL 以 45% vs 41% 的受欢迎比率战胜 MySQL,成为新的最受欢迎的数据库。NineData 也在近期支持了 PostgreSQL,用户可以在 NineData 平台上进行创建数据库/Schema、管理用户与…...
Redis配置类
天行健,君子以自强不息;地势坤,君子以厚德载物。 每个人都有惰性,但不断学习是好好生活的根本,共勉! 文章均为学习整理笔记,分享记录为主,如有错误请指正,共同学习进步。…...
【前端知识】React 基础巩固(三十六)——RTK中的异步操作
React 基础巩固(三十六)——RTK中的异步操作 一、RTK中使用异步操作 引入RTK中的createAsyncThunk,在extraReducers中监听执行状态 import { createSlice, createAsyncThunk } from "reduxjs/toolkit"; import axios from "axios";export cons…...
33. 本地记事本
本地记事本 html部分 <button class"add"><i class"iconfont icon-jiahao"></i> </button>css部分 *{margin: 0;padding: 0; } body{background-color: #7bdaf3;display: flex;padding-top: 3rem;flex-wrap: wrap; } .add{pos…...
React Native在HarmonyOS 5.0阅读类应用开发中的实践
一、技术选型背景 随着HarmonyOS 5.0对Web兼容层的增强,React Native作为跨平台框架可通过重新编译ArkTS组件实现85%以上的代码复用率。阅读类应用具有UI复杂度低、数据流清晰的特点。 二、核心实现方案 1. 环境配置 (1)使用React Native…...
【CSS position 属性】static、relative、fixed、absolute 、sticky详细介绍,多层嵌套定位示例
文章目录 ★ position 的五种类型及基本用法 ★ 一、position 属性概述 二、position 的五种类型详解(初学者版) 1. static(默认值) 2. relative(相对定位) 3. absolute(绝对定位) 4. fixed(固定定位) 5. sticky(粘性定位) 三、定位元素的层级关系(z-i…...
cf2117E
原题链接:https://codeforces.com/contest/2117/problem/E 题目背景: 给定两个数组a,b,可以执行多次以下操作:选择 i (1 < i < n - 1),并设置 或,也可以在执行上述操作前执行一次删除任意 和 。求…...
苍穹外卖--缓存菜品
1.问题说明 用户端小程序展示的菜品数据都是通过查询数据库获得,如果用户端访问量比较大,数据库访问压力随之增大 2.实现思路 通过Redis来缓存菜品数据,减少数据库查询操作。 缓存逻辑分析: ①每个分类下的菜品保持一份缓存数据…...
前端开发面试题总结-JavaScript篇(一)
文章目录 JavaScript高频问答一、作用域与闭包1.什么是闭包(Closure)?闭包有什么应用场景和潜在问题?2.解释 JavaScript 的作用域链(Scope Chain) 二、原型与继承3.原型链是什么?如何实现继承&a…...
IoT/HCIP实验-3/LiteOS操作系统内核实验(任务、内存、信号量、CMSIS..)
文章目录 概述HelloWorld 工程C/C配置编译器主配置Makefile脚本烧录器主配置运行结果程序调用栈 任务管理实验实验结果osal 系统适配层osal_task_create 其他实验实验源码内存管理实验互斥锁实验信号量实验 CMISIS接口实验还是得JlINKCMSIS 简介LiteOS->CMSIS任务间消息交互…...
用机器学习破解新能源领域的“弃风”难题
音乐发烧友深有体会,玩音乐的本质就是玩电网。火电声音偏暖,水电偏冷,风电偏空旷。至于太阳能发的电,则略显朦胧和单薄。 不知你是否有感觉,近两年家里的音响声音越来越冷,听起来越来越单薄? —…...
Mysql中select查询语句的执行过程
目录 1、介绍 1.1、组件介绍 1.2、Sql执行顺序 2、执行流程 2.1. 连接与认证 2.2. 查询缓存 2.3. 语法解析(Parser) 2.4、执行sql 1. 预处理(Preprocessor) 2. 查询优化器(Optimizer) 3. 执行器…...
RSS 2025|从说明书学习复杂机器人操作任务:NUS邵林团队提出全新机器人装配技能学习框架Manual2Skill
视觉语言模型(Vision-Language Models, VLMs),为真实环境中的机器人操作任务提供了极具潜力的解决方案。 尽管 VLMs 取得了显著进展,机器人仍难以胜任复杂的长时程任务(如家具装配),主要受限于人…...
Caliper 配置文件解析:fisco-bcos.json
config.yaml 文件 config.yaml 是 Caliper 的主配置文件,通常包含以下内容: test:name: fisco-bcos-test # 测试名称description: Performance test of FISCO-BCOS # 测试描述workers:type: local # 工作进程类型number: 5 # 工作进程数量monitor:type: - docker- pro…...
