redis的并发安全问题:redis的事务VSLua脚本

news2024/12/22 7:35:03

redis为什么会发生并发安全问题?

在redis中,处理的数据都在内存中,数据操作效率极高,单线程的情况下,qps轻松破10w。反而在使用多线程时,为了保证线程安全,采用了一些同步机制,以及多线程的上下文切换,却对性能造成了一定的影响。
如此看来,在单线程模式下,redis的性能比较高,且可以避免多线程情况下的线程安全问题。但是在redis使用过程中,线程安全问题依旧存在,此话怎讲呢?
线程安全,是站在reids的角度来说的,redis使用单线程模型,是不存在线程安全问题的,以为他只有一个线程,不存在多线程间数据的共享,俗话说没有共享就没有伤害。
而线程不安全,是站在客户端的角度说的,redis是只有一个线程在工作,但是客户单端却是有成千上万个的,对于客户端来说,redis是被共享的资源,所以对于客户端来说依旧存在线程安全问题,
举例:
1.商品库存开始为10,此时客户端A和客户端B,同时下单扣减库存。
2.两个客户端从redis获取到当前库存数为10。
3.两个客户端在本地将库存数减1,然后写回redis。
4,此时redis中存库数为9,正常情况下应该是8,造成超卖问题。
在这里插入图片描述
————————————————
版权声明:本文为CSDN博主「wind_huise」的原创文章,遵循CC 4.0 BY-SA版权协议,转载请附上原文出处链接及本声明。
原文链接:https://blog.csdn.net/weixin_45701550/article/details/126324924

读库存和写库存操作,在redis中是单线程执行的,是原子性的,但是整个扣减库存的操作却不是原子性的,这也是出现线程不安全的根本原因

对于解决这个问题,redis提供了一些复合命令,将多个操作合并成一个操作命令,此时这个复合命令就变成一个原子操作,也就不会再出现上述的线程安全问题了。如果需要实现简单的原子性操作,则可以使用Redis的单个指令,例如SET、GET、DEL等来实现;如果需要实现复杂数据结构的操作,则可以考虑使用Redis事务、Lua脚本来实现。

Redis的事务模型

在Redis中,事务是通过MULTI、EXEC、WATCH、UNWATCH等指令来实现的。在MULTI指令开始执行事务之前,客户端发送的每个指令都不会立即执行,而是被缓存到一个队列中,直到EXEC指令被执行时,所有缓存的指令才一起被执行。这种模型被称为乐观锁,因为在执行事务期间,Redis并不会对被监控的数据进行加锁,而是在执行EXEC指令时进行条件检查,如果检查失败,则事务执行失败。这种设计可以减少锁的竞争,提高Redis的并发性能。

流程如下:
1、开启事务:MULTI
客户端要使用一个命令显式地表示一个事务的开启。在Redis中,这个命令就是MULTI。
2、指令入队(暂时不执行)
客户端把事务中本身要执行的具体操作(例如增删改数据)发送给服务器端。这些操作就是Redis本身提供的数据读写命令,例如GET、SET等。不过,这些命令虽然被客户端发送到了服务器端,但Redis实例只是把这些命令暂存到一个命令队列中,并不会立即执行。
3、执行指令:EXEC
客户端向服务器端发送提交事务的命令,让数据库实际执行第二步中发送的具体操作。Redis 提供的EXEC命令就是执行事务提交的。当服务器端收到EXEC命令后,才会实际执行命令队列中的所有命令

Redis对于事务操作的支持比较局限,最大的不足是不支持回滚。执行事务时,Redis将这些命令依次执行,如果有一条命令执行失败,就会导致整个事务的失败,但不能回滚已经执行成功的命令

在Redis的事务模型中,由于不会对被监控的数据进行加锁,因此如果事务执行失败,只能够通过执行一系列的逆操作来恢复数据状态,而无法直接回滚事务。这是因为对于一些操作,例如INCRBY、RPUSH、SUNION、ZUNIONSTORE等,Redis并没有提供对应的逆操作。因此,如果使用Redis来实现复杂的事务操作,可能需要自己实现回滚逻辑,这会增加开发和维护的复杂度。

Lua脚本

基本原理为使脚本相当于一个redis命令,可以结合redis原有命令,自定义脚本逻辑

如何在redis中使用lua脚本,可以参考https://redis.io/commands/eval/

Lua脚本之所以可以保证线程安全,是因为我们可以把多个操作写成一个 lua 脚本,使其具备原子性,作为一个整体执行。再由于 redis 是单线程模型,不同线程的 lua 脚本是依次执行的。也就是说,只有一个线程原子性的多个操作执行完,下一个线程才可以执行。实际上也是保证了在 redis 内部不同线程操作的串行执行,从而能够解决并发安全问题。
【简单来说,就是lua脚本包括业务的多个操作,使得整个业务成为一个整体,执行时相当于把整个lua脚本当成一个redis指令】

Lua脚本的优点

1.lua脚本是作为一个整体执行的,所以中间不会被其他命令插入,无需担心并发;

2.lua脚本把多条命令一次性打包,而代码实现的事务需要向Redis发送多次请求,所以可以有效减少网络开销;

3.lua脚本可以常驻在redis内存中,所以在使用的时候,可以直接拿来复用。

redis事务和Lua两者相同点

很好的实现了一致性、隔离性和持久性,但没有实现原子性,无论是redis事务,还是lua脚本,如果执行期间出现运行错误,之前的执行过的命令是不会回滚的。

lua 脚本实现的原子性是假的原子性

因为当多个指令执行时,lua脚本中的一条指令报错时,后面的指令执行失败了,但是前面的指令已经成功。且不会回滚

其中报错原因包括:
1、指令语法错误
2、语法是正确的,但是类型不对,比如对已经存在的string类型的key,执行hset等
3、服务器挂掉了,比如lua脚本执行了一半,但是服务器挂掉了

前面两者,我们可以通过仔细检查脚本逻辑,确保脚本中的所有命令都是正确的,并且按照预期的顺序执行、使用redis.pcall处理潜在的错误以及适时使用事务,可以编写出高效、可靠的Lua脚本,确保脚本的逻辑正确性和健壮性,以避免潜在的问题。

redis.pcall在命令执行失败时不会引发错误,而是返回一个包含错误信息的表。通过检查redis.pcall的返回值,可以在脚本中处理错误情况,从而避免脚本执行失败

Lua脚本回滚?
在Lua脚本中,我们可以使用Redis的WATCH指令,它允许我们监视一个或多个键的变化。当我们监视的键发生变化时,Redis会立刻中断正在执行的Lua脚本,使得整个Lua脚本操作回滚,这种方式可以实现Redis事务的回滚效果。

Lua脚本相对于Redis事务更实用的原因有以下几点:

1、原子性保证:使用Lua脚本可以将多个命令封装成一个原子操作,确保这些命令在执行期间不会被其他命令插入,从而保证操作的原子性。
2、减少网络开销:在Lua脚本中,多个命令可以一次性发送到Redis服务器,并由Redis执行,减少了网络开销。而Redis事务需要通过MULTI和EXEC命令来开启和提交事务,增加了网络往返的次数。
3、高性能:由于Lua脚本在Redis服务器端执行,避免了客户端与服务器之间的通信。这样可以减少通信延迟,并在服务器端以原生代码的方式执行,提高了执行效率。相比之下,Redis事务在客户端和服务器之间进行多次通信,可能降低执行效率。
4、复杂逻辑支持:Lua脚本提供了强大的编程能力,可以实现复杂的业务逻辑。通过脚本的编写,可以实现数据库操作的灵活性,从而适应更多的场景需求。Redis事务对于复杂逻辑的支持相对较弱,更适合简单的操作序列。

参考文章:
使用redis,怎么解决并发问题?
redis为什么不支持事务(redis不支持的数据结构)
Redis实例发生故障,而Redis使用的RDB机制,事务的原子性还能否得到保证?
Redis不支持事务的解决方案(redis事务为什么不支持回滚)
Redis实例发生故障,而Redis使用的RDB机制,事务的原子性还能否得到保证?

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

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

相关文章

grid map学习笔记1之Ubuntu18.04+ROS-melodic编译安装grid_map栅格地图及示例运行

文章目录 0 引言1 安装依赖和编译1.1 安装依赖1.2 下载编译 2 运行示例2.1 simple_demo2.2 tutorial_demo2.3 iterators_demo2.4 image_to_gridmap_demo2.5 grid_map_to_image_demo2.6 opencv_demo2.7 resolution_change_demo2.8 filters_demo2.9 interpolation_demo 0 引言 苏…

java项目之个人交友网站(ssm+mysql+jsp)

风定落花生,歌声逐流水,大家好我是风歌,混迹在java圈的辛苦码农。今天要和大家聊的是一款基于ssm的个人交友网站。技术交流和部署相关看文章末尾! 开发环境: 后端: 开发语言:Java 框架&…

计算机启动过程uefi+gpt方式

启动过程: 一、通电 按下开关,不用多说 二、uefi阶段 通电后,cpu第一条指令是执行uefi固件代码。 uefi固件代码固化在主板上的rom中。 (一)uefi介绍 UEFI,全称Unified Extensible Firmware Interface&am…

基于C#的无边框窗体动画效果的完美解决方案 - 开源研究系列文章

最近在整理和编写基于C#的WinForm应用程序,然后碰到一个其他读者也可能碰到的问题,就是C#的Borderless无边框窗体的动画效果问题。 在Visual Studio 2022里,C#的WinForm程序提供了Borderless无边框窗体的样式效果,但是它没提供在无…

scrollIntoView()定位元素显示导致页面上移解决方法?

文章目录 项目场景:问题描述原因分析:解决方案:1、使用fixed固定定位父级元素2、控制父元素的scrollTop 项目场景: 在项目中需要根据当前组件的componentId来定位到页面的顶部显示。 问题描述 本来想着使用最传统的方法&#xff0…

MYSQL 练习2

练习2 创建company数据库在数据库中根据以下图示创建表,表结构如下,并插入以下数据,完成下面的sql。 ​ 表结构如下: salgrade表 salrade表数据 完成以下SQL编写: 修改emp表中sal字段为salary查找年薪在20000到3000…

JavaScript布尔逻辑

布尔逻辑是一种逻辑学上的分支,涉及真和假的值。布尔逻辑中使用的运算符仅返回真或假结果,这些运算符包括取反、与、或等。布尔逻辑通常用于电子学、计算机科学和数学等领域,其中真和假的值对于决策和控制流程非常重要。在计算机编程中&#…

60个AIGC专业术语手册;5种大模型微调方法总结;大模型创业潮成败点评;AIGC通用大模型产品测评报告 | ShowMeAI日报

👀日报&周刊合集 | 🎡生产力工具与行业应用大全 | 🧡 点赞关注评论拜托啦! 🤖 ChatGLM 金融大模型挑战赛,冠军送12B模型授权30W算力 GLM大模型联合安硕信息、阿里云、魔搭社区、北京交通大学&#xff0…

【并发专题】线程池ThreadPoolExecutorl底层原理源码分析

目录 前置知识课程内容一、线程池1.基本介绍2.Executor接口3.线程池的重点属性ctl字段RUNNING字段SHUTDOWN字段 二、线程池的创建及参数解读三、核心源码解读 学习总结 前置知识 Q1:终止一个线程的方法有哪些? 答:通常有4个方法。其中前2个是…

机械制造三维虚拟仿真实训的优点

机械制造三维虚拟仿真实训系统是一种基于计算机技术的机械原理仿真软件,它可以模拟各种机械系统的运动和受力情况,帮助用户深入了解机械原理的工作原理和应用。该系统采用三维建模技术,将机械系统的各个部分进行数字化建模,并通过…

科研院所用泛微搭建信创办公平台,统一办公,业务融合,安全便捷

国家全面推动重要领域的信创改造工作,要求到2027年底,对综合办公、经营管理、生产运营等系统实现“应替尽替、能替则替”。 科研机构作为智力、知识密集型机构,承载着大量数据、信息资产,数字化程度高,业务系统多样&a…

阿里云部署 ChatGLM2-6B 与 langchain+ChatGLM

1.ChatGLM2-6B 部署 更新系统 apt-get update 安装git apt-get install git-lfs git init git lfs install 克隆 ChatGLM2-6B 源码 git clone https://github.com/THUDM/ChatGLM2-6B.git 克隆 chatglm2-6b 模型 #进入目录 cd ChatGLM2-6B #创建目录 mkdir model #进入目录 cd m…

MySql增删改查基础

目录 1.基本操作 1.1新增 1.2查询 1.2.1指定查询 1.2.2排序查询 1.2.3分页查询 1.3修改 1.4删除 2.进阶操作 2.1键值约束 2.1.1主键约束 2.1.2唯一键约束 2.1.3非空约束 2.1.4默认值 2.1.5自增属性 ​编辑 2.1.6外键约束 2.1.7check子句 3.表的设计 3.1ER关…

海上港口三维数据可视化展示提升应急救援效率

3D可视化技术可以将复杂数据转化为生动的图形和模型,使得数据的关联和趋势更加明确和易于理解。通过使用3D模型和图形,我们可以更直观地观察数据之间的关系,发现隐藏在数据背后的规律和模式。例如,在工业领域,利用3D可…

jdk,jre和jvm三者的关系和区别

目录 一、三者的关系 二、JDK的概念 三、JRE的概念 四、JVM的概念 五、三者区别 一、三者的关系 从图中可以清楚地看到,他们之间的关系是JDK包含JRE, JRE又包含JVM。 因此,JDK包含JRE和JVM。 JDK JRE Java 开发工具包 [Java,Javac,Javadoc,Javap…

Python实现九宫格数独小游戏

1 问题 有1-9个数字,将他们填入一个3*3的九宫格中,使得他们的每行,每列,以及对角线上的和相等,且要求每个格子的数字不可以重复。使用python列出所有可能的组合。示例如下: 2 方法 每行,列,对角…

#pragma region用法

简介 #pragma region 是VS(Visio Studio)所特有的预处理语法(其他IDE或者Cmake会报错),其可以用来收缩或者展开一段代码。 #pragma region MyRegion// ...Code content #pragma endregion 其中,MyRegion 即给这代码块所定义的名…

【python中级】将字符串按照固定长度分割

【python中级】将字符串按照固定长度分割 1、背景2、代码1、背景 近期有将图片进行base64编码成字符串的工作,参考博客: 【python中级】 base64编码将图片数据转化为成字符串 https://jn10010537.blog.csdn.net/article/details/131894686 我将图片编码成字符串后,再写到p…

地震反演基础知识1

文章目录 地震反演基础知识11. 基础知识1.1 正演反演1.2 地震数据1.3 速度模型1.4 道1.5 FWI的端到端深度学习1.6 传统FWI vs. DL-FWI 2. 数据信息2.1 数据集的层级关系2.2 SEG盐体数据2.3 OpenFWI数据集 地震反演基础知识1 1. 基础知识 1.1 正演反演 正演 根据地下介质的参…

electron的electron-packager打包运行和electron-builder生产安装包过程,学透 Electron 自定义 Dock 图标

electron的electron-packager打包运行和electron-builder生产安装包过程 开发electron客户端程序,打包是绕不开的问题。 macOS 应用构建,看似近在咫尺,实则坑坑致命。 场景:mac笔记本打包,以及生产出可交付的软件安装…