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

Redis(2):Redis + Lua为什么可以实现原子性

Redis 作为一款高性能的键值对存储数据库,与 Lua 脚本相结合,为实现原子性操作提供了强大的解决方案本文将深入探讨 Redis + Lua 实现原子性的相关知识

原子性概念的厘清

在探讨 Redis + Lua 的原子性之前,我们需要明确原子性的概念。通常我们提及的原子性,多是指关系型数据库(如 MySQL)ACID 特性中的 Atomicity(原子性)。在 ACID 语境下,原子性要求事务中的所有操作要么全部成功执行,要么全部失败回滚。

以常见的银行转账为例,当账户 A 向账户 B 转账 100 元时,原子性确保账户 A 减去 100 元的同时,账户 B 必须增加 100 元。若账户 A 减少了 100 元,但账户 B 未增加 100 元,该操作就不具备原子性,需要回滚,将账户 A 减少的 100 元加回去。这一概念是我们理解数据操作完整性的基础。

Lua 原子性在 Redis 中的体现

Lua 本身只是一种脚本语言,它并未直接提供原子性支持,通常被嵌入到像 Redis 这样的宿主程序中运行。在 Redis 环境里,执行 Lua 脚本的原子性意味着整个 Lua 脚本在执行期间,不会被其他客户端的命令打断。这就保证了在执行 Lua 脚本时,Redis 会将其视为一个不可分割的整体来处理,不会受到其他并发操作的干扰。

Redis 的事务机制

Redis 的事务由 MULTI/EXEC 两个核心命令完成,同时 WATCH/DISCARD 两个命令为其增添了 CAS(Compare - And - Swap)乐观锁机制。不过需要注意的是,Redis 的事务与关系型数据库(如 MySQL)遵循的 ACID 事务不同,它并不支持回滚。

Redis 执行 Lua 的方式

Redis 通过原生命令(如 EVAL/EVALSHA 命令)来执行 Lua 脚本。在编写 Lua 脚本时,开发者需要特别留意 redis.call () 和 redis.pcall () 这两个命令的区别。

  • redis.call():用于执行 Redis 的命令。一旦命令执行出错,它会阻断整个脚本的执行,并将错误信息返回给客户端。这种特性适合在需要严格保证命令执行成功的场景中使用,若某个关键命令失败,整个脚本不应继续执行。
  • redis.pcall():同样用于执行 Redis 的命令,但当命令执行出错时,它不会阻断脚本的执行,而是在内部捕获错误,并继续执行后续的命令。这种方式适用于一些对部分命令失败有一定容忍度,希望脚本尽可能完整执行的场景。

Redis 部署方式对事务结果的影响

Redis 的部署方式在一定程度上影响着 Lua 脚本执行的原子性结果。

  • 单机部署:无论 Lua 脚本中操作的 key 是否为同一个,单机部署的 Redis 都能保证原子性。因为在单机环境下,所有操作都是在同一个进程中顺序执行,不存在并发干扰的问题。
  • 主从部署:Redis 的主从复制旨在将主节点的数据同步到从节点,以维持数据一致性。由于所有写操作都在主节点进行,所以无论 Lua 脚本操作的 key 是否相同,都能保证原子性。主节点按顺序执行 Lua 脚本,从节点则通过复制机制保持数据同步。
  • Cluster 部署:情况相对复杂。如果 Lua 脚本操作的是同一个 key,能保证原子性;但如果操作的 key 不同,这些 key 可能被 hash 到不同的 slot,也可能 hash 到相同的 slot,因此不一定能保证原子性。所以,在 Cluster 集群部署环境下使用 Lua 脚本时,务必确保 Lua 脚本操作的是同一个 key,以保障原子性。

为何选择用 Lua 实现原子性

在 Redis 事务中,事务队列中的所有命令需在 EXEC 命令执行时才会被执行。这就导致对于多个命令之间存在依赖关系(如后面的命令需要依赖上一个命令结果)的场景,Redis 事务显得力不从心。

Lua 脚本由于其能够顺序执行一系列命令,并且在执行过程中不会被其他客户端命令打断,更适合处理这种复杂场景,从而弥补了 Redis 事务的不足。

需要重点关注的是,ACID 中的原子性强调命令要么全部执行,要么全部不执行;而 Redis 执行 Lua 脚本的原子性是指 Lua 脚本会当作一个整体被执行且不被其他事务打断,但 Lua 脚本里面的命令并不能保证 “要么全部执行,要么全部不执行”。

通过深入了解 Redis + Lua 实现原子性的原理、Redis 的事务机制以及不同部署方式的影响,可以更加精准地运用这一技术,为分布式系统开发提供坚实的数据操作保障。

相关文章:

  • Spark--RDD中的转换算子
  • 【hadoop】Kafka 安装部署
  • VSTO(C#)Excel开发进阶2:操作图片 改变大小 滚动到可视区
  • 安卓A15系统实现修改锁屏界面默认壁纸功能
  • Excel在每行下面插入数量不等的空行
  • React Native简介
  • 单片机 | 基于STM32的智能马桶设计
  • Windows平台OpenManus部署及WebUI远程访问实现
  • .NET 8 kestrel 配置PEM,实现内网https
  • 前端学习:align-items 和 justify-content 概念和区别
  • JAVA:ResponseBodyEmitter 实现异步流式推送的技术指南
  • 【抽丝剥茧知识讲解】引入mybtis-plus后,mapper实现方式
  • (面试)Handler消息处理机制原理
  • Linux进程通讯和原子性
  • Ubuntu shell指定conda的python环境启动脚本
  • python使用matplotlib无法显示中文字体报错
  • Spring Cloud探索之旅:从零搭建微服务雏形 (Eureka, LoadBalancer 与 OpenFeign实战)
  • 【鸿蒙开发】性能优化
  • 【hadoop】Flume日志采集系统的安装部署
  • ollama 升级换源
  • 国税总局上海市税务局回应刘晓庆被举报涉嫌偷漏税:正依法依规办理
  • “养胃骗局”大公开,真正有用的方法究竟是?
  • 美将解除对叙利亚制裁,外交部:中方一贯反对非法单边制裁
  • 中东睿评|特朗普中东三国行:喧嚣的形式与空洞的实质
  • 中国科学院院士徐春明不再担任山东石油化工学院校长
  • 外交部:愿同拉美国家共同维护多边贸易体制