Redis核心技术与实战【学习笔记】 - 22.浅谈Redis的ACID相关知识

news2024/12/23 10:06:43

概述

事务是数据库的一个重要功能。所谓的事务,就是指对数据进行读写的一系列操作。事务在执行时,会提供专门的属性保证,包括原子性(Atomicity)、一致性(Consistency)、隔离性(Isolation)和持久性(Durability),也就是 ACID 属性。这些属性既包括了对事务执行结果的
要求,也有对数据库在执行前后的数据状态变化的要求。

我们先了解下 ACID 属性对事务执行的具体要求,有了这个知识基础后,我们才能准确地判断 Redis 的事务机制能够保证 ACID 属性。


1.事务 ACID 属性的要求

首先来看原子性。原子性的要求很明确,就是一个事务中的多个操作必须都完成,或者二都不完成。业务应用使用事务时,原子性也是被看重的一个属性。

假如用户在一个订单中购买了商品 A 和 B,那么数据库就需要把这两个商品的库存都进行扣减。如果只扣减了一个商品的库存,那么这个订单完成后,另一个商品的库存肯定就放错了。

第二个属性是一致性。这个很容易理解,就是指数据库中的事务执行前后是一致的。

第三个属性是隔离性。它要求数据库在执行一个事务时,其他操作无法存取到正在执行事务访问的数据。

还是用户下单的例子。假设商品 A 和 B 的现有库存分别是 5 和 10,用户 X 对 A、B 下单的数量分别是 3、6。如果事务不具备隔离性,在用户 X 下单事务执行的过程中,用户 Y 一下子购买了 5 件 B,这和 X 购买的 6 件 B 累加后,就超过 B 的总库存值了,这就不符合业务要求了。

最后一个属性是持久性。数据库执行事务后,数据的修改要被持久化保存下来。当数据重启后,数据的值需要是被修改后的值。

了解了 ACID 属性的具体要求后,我们看下 Redis 是如何实现事务机制的。

2. Redis 如何实现事务?

Redis 提供了 MULTI、EXEC 两个命令来完成这三个步骤。我们来分析下:

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

下面的代码显示了使用 MULTI、EXEC 执行一个事务的过程。

# 开启事务
127.0.0.1:6379> MULTI 
OK
#将a:stock减1, 
127.0.0.1:6379> DECR a:stock 
QUEUED 
#将b:stock减1 
127.0.0.1:6379> DECR b:stock 
QUEUED 
#实际执行事务 
127.0.0.1:6379> EXEC 
1) (integer) 4 
2) (integer) 9

假设 a:stockb:stock 两个键的初始值是 5 和 10.在 MULTI 命令后执行的两个 DECR 命令,是把 a:stockb:stock 两个键的值分别减 1,他们执行后的返回结果都是 QUEUED,这就表示这些操作都被暂存到了命令队列,还没有实际执行。等到执行了 EXEC 命令后,可以看到返回了 4、9,这就表明,两个 DECR 命令以及成功地执行了。

好了,通过使用 MULTI 和 EXEC 命令,我们可以实现多个操作的共同执行,但是这符合 ACID 属性吗? 我们来分析下。

3. Redis 的事务机制能保证哪些属性?

3.1原子性

如果事务正常执行,没有发生任何错误,那么 MULTI 和 EXEC 配合使用,就可以保证多个操作都完成。

但是,如果事务执行发生错误了,原子性是否还能保证?我们分三种情况来分析。

第一种情况

在执行 EXEC 命令前,客户端发送的操作命令本身有错误(比如语法错,使用了不存在的命令),在命令入队时就被 Redis 实例判断出来了。

对于这种情况,在命令入队时,Redis 就会报错,并且记录下这个错误。此时,还能继续提交命令。等到执行 EXEC 命令之后,Redis 就会拒绝执行所有提交的命令,返回事务失败的结果。这样一来,事务中的所有命令都不会再执行了,保证了原子性

#开启事务
127.0.0.1:6379> MULTI
OK
#发送事务中的第一个操作,但是Redis不支持该命令,返回报错信息
127.0.0.1:6379(TX)> PUT a:stock 5
(error) ERR unknown command `PUT`, with args beginning with: `a:stock`, `5`,
#发送事务中的第二个操作,这个操作是正确的命令,Redis把该命令入队
127.0.0.1:6379(TX)> DECR b:stock
QUEUED
#实际执行事务,但是之前命令有错误,所以Redis拒绝执行
127.0.0.1:6379(TX)> EXEC
(error) EXECABORT Transaction discarded because of previous errors.
127.0.0.1:6379>

在这个例子中,事务里包含了一个 Redis 本身不支持的 PUT 命令,所以在 PUT 命令入队时,Redis 就报错了。虽然,事务里还有一个正确的 DECR 命令,但是,在最后执行 EXEC 后,整个事务就放弃执行了。

第二种情况

和第一种情况不同,事务操作入队时,命令和操作的数据类型不匹配,但 Redis 实例没有检查出错误。在执行完 EXEC 命令以后,Redis 实际执行这些事务操作时,就会报错。不过,需要注意的是,虽然 Redis 会对命令报错,但是还会把正确的命令执行完。在这种情况下,事务的原子性就无法得到保证了

举个例子。事务中的 LPOP 命令对 String 类型数据进行操作,入队时没有报错,但是在 EXEC 执行时报错了。LPOP 命令本身没有执行成功,但是事务中的 DECR 命令却执行成功了。

#开启事务
127.0.0.1:6379> MULTI
OK
#发送事务中的第一个操作,LPOP命令操作的数据类型不匹配,此时并不报错
127.0.0.1:6379(TX)> LPOP a:stock
QUEUED
#发送事务中的第二个操作
127.0.0.1:6379(TX)> DECR b:stock
QUEUED
#实际执行事务,事务第一个操作执行报错,第二个操作成功执行
127.0.0.1:6379(TX)> EXEC
1) (error) WRONGTYPE Operation against a key holding the wrong kind of value
2) (integer) 8

你可能会有疑问? 刚才的例子中,如果命令执行时报错了,是不是可以用回滚机制回复原来的数据呢?

其实 Redis 中并没有提供回滚机制。虽然提供了 DISCARD 命令,但是这个命令只能用来主动放弃事务执行,把暂存的命令队列清空,起不到回滚的效果。

DISCARD 命令的具体例子,我们来看下

#读取a:stock的值4
127.0.0.1:6379> GET a:stock
"4"
#开启事务
127.0.0.1:6379> MULTI
OK
#发送事务的第一个操作,对a:stock减1
127.0.0.1:6379(TX)> DECR a:stock
QUEUED
#执行DISCARD命令,主动放弃事务。执行完DISCARD放弃事务后,就不需要再执行EXEC了。
127.0.0.1:6379(TX)> DISCARD
OK
#再次读取a:stock的值,值没有被修改
127.0.0.1:6379> GET a:stock
"4"

这个例子中,a:stock 键的值一开始为 4,然后,我们执行一个事务,想对 a:stock 的值减 1。但是,在事务的最后,我们执行的是 DISCARD 命令,所以事务就被放弃了。我们再看 a:stock 的值,会发现仍为 4。

第三种情况

在执行事务的 EXEC 命令时,Redis 实例发生了故障,导致事务执行失败

在这种情况下,如果 Redis 开启了 AOF 日志,那么,只会有部分的事务操作被记录到 AOF 日志中。我们需要使用 redis-check-aof 工具检查 AOF 日志文件,这个工具可以把未完成的事务操作从 AOF 文件中去除。这样一来,我们使用 AOF 恢复实例后,事务操作不会再被执行,从而保证了原子性。

当然,如果 AOF 日志并没有开启,那么实例重启后,数据也都没法恢复,此时,也就谈不上原子性了。

简单小结下

  • 命令入队时报错,会放弃事务执行,保证了原子性
  • 命令入队未报错,实际执行时报错,不保证原子性
  • EXEC 命令执行时实例故障,如果开启了 AOF 日志,可以通过 redis-check-aof 去除 AOF 日志中的未完成事务,保证原子性。

3.2 一致性

我们按照命令出错和实例故障的发生时机,分成三种情况来看。

  • 情况一:命令入队时就报错。这种情况下,事务不会被执行,所以保证数据库的一致性。

  • 情况二:命令入队时没报错,实际执行时报错。在这种情况下,有错误的命令不会被执行,正确的命令正常执行,也不会改变数据库的一致性。

  • 情况三:EXEC 命令执行时实例发生故障。在这种情况下,实例故障后会进行重启,这就和数据恢复方式有关了。我们要根据 AOF 和 RDB 来分情况讨论。

    如果没有开启 AOF 和 RDB,那么实例故障重启后,数据都没有了,数据库是一致的。

    如果我们使用了 RDB 快照,因为 RDB 快照不会在事务执行时执行,所以事务命令操作的结果不会被保存到 RDB 快照中,使用 RDB 快照进行恢复时,数据库例的数据也是一致的。

    如果使用了 AOF 日志,而事务操作还没有被记录到 AOF 日志时,实例就发送了故障,那么使用 AOF 日志恢复的数据库数据是一致的。如果只有部分操作被记录到了 AOF 日志,我们可以使用 redis-check-aof 清除事务中已经完成的操作,数据库恢复后也是一致的。

所以总结来说,在命令执行错误或 Redis 发生故障的情况下,Redis 事务机制对一致性属性是有保证的。

3.3 隔离性

事务的隔离性保证,会受到和事务一起执行的并发操作的影响。而事务又可以分成命令入队和命令实际执行两个阶段。

  1. 并发操作在 EXEC 命令执行前,此时隔离性的保证要使用 WATCH 机制来实现,否则,隔离性无法保证。
  2. 并发操作在 EXEC 命令后执行,此时隔离性可以保证。

第一种情况:一个事务的 EXEC 命令还没有执行时,事务的命令操作是暂存在命令队列中的

此时,如果有其他的并发操作,就需要看看事务是否使用了 WATCH 机制了。

WATCH 机制的作用是,在事情执行前,监控一个或多个键值变化情况,当事务调用 EXEC 命令执行时,WATCH 机制会先检查监控的键是否被其他客户端修改了。如果修改了,就放弃执行事务,避免事务的隔离性被破坏。然后,客户端可以再次执行事务,此时,如果没有并发修改是无数据的操作了,事务就能正常执行,隔离性也得到了保证。

下图的例子,有助于进一步理解 WATCH 命令的使用。
在这里插入图片描述

  1. 在 t1 时刻,客户端 X 项实例发送了 WATCH 命令。实例收到 WATCH 命令后,开始检测 a:stock 的值变化情况。
  2. 在 t2 时,客户端 X 把 MULTI 命令 和 DECR 命令发送给实例,实例把 DECR 命令暂存如命令队列。
  3. 在 t3 时,客户端 Y 也给实例发送了一个 DECR 命令,修改 a:stock 的值,实例收到命令后就执行了。
  4. t4 时刻,实例收到客户端 X 发送的 EXEC 命令,但是,实例的 WATCH 机制发现 a:stcok 已经被修改了,就会放弃执行事务。这样一来,隔离性就得到了保证。

客户端 X 在 EXEC 前分别执行了 WATCH、MULTI、DECR 命令

127.0.0.1:6379> WATCH a:stock
OK
127.0.0.1:6379> MULTI
OK
127.0.0.1:6379(TX)> DECR a:stock
QUEUED

此时 客户端 Y 执行了 DECR

127.0.0.1:6379> decr a:stock
(integer) 5

最后,客户端 X 执行 EXEC 命令,返回 nil

127.0.0.1:6379(TX)> EXEC
(nil)

当然,如果没有使用 WATCH 机制,在 EXEC 命令前执行的并发操作是会对数据进行读写的。而且,在执行 EXEC 的命令时,事务要操作的数据已经改变了,在这种情况下 Redis 并没有做到让事务对其他操作隔离,隔离性也就没有得到保障。

在这里插入图片描述
在 t2 时刻,客户端 X 发送的 EXEC 还没有执行,但是 客户端 Y 的 DECR 命令就执行了,此时,a:stock 的值被修改了,这样就无法保证 X 发起的事务的隔离性了。

第二种情况:并发操作在 EXEC 命令之后被服务器端接收并执行

因为 Redis 是用单线程执行命令,而且, EXEC 命令执行后,Redis 会保证先把命令队列中的所有命令执行完。所以,在这种情况下,并发操作不会破坏事务的隔离性。

在这里插入图片描述

3.4 持久性

因为 Redis 是内存数据库,所以,数据是否持久化保存完全取决于 Redis 的持久化配置模式。

如果 Redis 没有配置 RDB 或 AOF,那么事务的持久化属性肯定得不到保证。如果 Redis 使用了 RDB 模式,那么,在一个事务执行后,而下一次的 RDB 快照还未执行前,如果发生了实例宕机,这种情况下,事务修改的数据也是不能保证持久化的。

如果 Redis 采用了 AOF 模式,因为 AOF 模式的三种配置选项 no、everysec 和 always 都会存在数据丢失的情况,所以,事务的持久性属性也还是得不到保证。

所以,不管 Redis 采用什么持久化模式,事务的持久性属性是得不到保证的。

4.小结

本节,学习 Redis 中的事务实现。Redis 通过 MULTI、EXEC、DISCARD 和 WATCH 四个命令来支持事务。

命令作用
MULTI开启一个事务
EXEC提交事务,从命令队列中取出提交的命令,进行实际执行
DISCARD放弃一个事务,清空命令队列
WATCH检查一个或多个键的值在事务执行期间是否发生变化,如果发生变化,那么当前事务放弃执行

Redis 事务机制可以保证一致性和隔离性,但是无法保证持久性。不过因为 Redis 本身就是内存数据库,持久性并不是一个必须的属性,我们更加关注的还是原子性、一致性和隔离性。

原子性比较复杂,只有当事务中使用的语法有误时,原子性得不到保证,在其他情况下,事务都可以原子性的执行。

所以,给你一个小建议:严格按照 Redis 命令规范进行程序开发,并且通过 code review 确保命令的正确性

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

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

相关文章

python脚本将照片按时间线整理

说明:有一次自己瞎折腾,然后把服务器相册搞崩了,后来做了备份同步给找了回来,但是相册的时间线全乱了,看起来非常难受。所以就想通过文件夹的形式把照片重新分类,分类后的结构如下(红色字体为文件夹)&#…

西瓜书学习笔记——核化线性降维(公式推导+举例应用)

文章目录 算法介绍实验分析 算法介绍 核化线性降维是一种使用核方法(Kernel Methods)来进行降维的技术。在传统的线性降维方法中,例如主成分分析(PCA)和线性判别分析(LDA),数据被映…

React实例之完善布局菜单(三)

接着上篇的内容继续。规划界面布局。界面分为三个部分,左边为菜单部分,右边上部有个 80 px 高度左右的功能区,下面是主内容区。 依据这个设计,我们进行下面的步骤: 在 SMenu项目中创建一个目录: SLayout, …

解放网工双手-SNMP如何做好运维辅助?

1. SNMP为什么被誉为“网管神器”? 2. SNMP不同版本有何区别? 3. SNMP有哪些问题及Telemetry有何优势? ---- SNMP ----- 简单网络管理协议 U2000:传输设备管理 企业,银行 esight:华为 iMaster NCE-Camp…

【webpack】技巧使用

webpack和TypeScript 安装webpack相关内容安装TS相关内容配置初始化数据初始化运行展示和目录展示报错解决(缺失文件配置) 安装前端必备神奇lodash测试一下entry配置index.html模板配置修改打包出来的index.html的titleinject注入chunks 属性多页面配置 …

从 20 多套 MySQL 到 1 套 TiDB丨骏伯网络综合运营管理平台应用实践

原文来源: https://tidb.net/blog/a38c72a4 本文作者:骏伯网络 唐帆,PingCAP 贺美存 骏伯网络简介 广州骏伯网络是一家以数据驱动的科技公司,聚焦移动互联网营销服务,坚持以客户为中心,深耕 APP、运营…

大数据学习之Redis,十大数据类型的具体应用(四)

3.8 Redis基数统计(HyperLogLog) 需求 统计某个网站的UV、统计某个文章的UV 什么是UV unique Visitor ,独立访客,一般理解为客户端IP 大规模的防止作弊,需要去重复统计独立访客 比如IP同样就认为是同一个客户 需要去…

sqli.labs靶场(29到40关)

29、第二十九关 id1 id1 尝试发现是单引号闭合, -1 union select 1,2,3-- -1 union select 1,2,database()-- -1 union select 1,2,(select group_concat(table_name) from information_schema.tables where table_schemasecurity)-- -1 union select 1,2,(select…

国内最全的Spring Boot系列之七

• 阿里巴巴前高级研发工程师 • 三家千万级互联网企业技术顾问 • MBTI/盖洛普技术专家 • 厦门某高校外聘教师 • 51CTO特约合作讲师 • 网易云课堂签约讲师 •《深入理解设计模式》作者 一转眼马上要过年了,回首2023年,感觉自己无所事事、碌碌无…

python爬虫5

1.selenium交互 无页面浏览器速度更快 #配置好的自己不用管 from selenium import webdriverfrom selenium.webdriver.chrome.options import Optionschrome_options Options()chrome_options.add_argument(‐‐headless)chrome_options.add_argument(‐‐disable‐gpu)# path…

编程效率的跃升之路

编程是一门需要大量的时间和精力投入的技能,提高编程效率则是一个需要不断学习和实践的过程。结合笔者写bug多年的经验,一些学习建议和资源和大家share下。 一、编程如何提效: 熟悉开发工具:掌握常用的开发工具,如集…

flutter抓包绕过

lutter的证书校验 起因: 最近工作上让做个app的复测,把apk发我后,开始尝试挂代理抓包,结果发现抓不到 为是证书没弄好,想着前几天不是刚导入了吗(雾)。又重新导入了下还是不行。然后各种lsp模…

OJ_找位置

题干 代码 #define _CRT_SECURE_NO_WARNINGS #include<stdio.h> #include<vector> #include<algorithm> #include<map> using namespace std;int main() {char str[200] { 0 };scanf("%s", str);map<char, vector<int>> times…

ROS入门之通信机制及常用API

文章目录 前言一、话题通信1.话题通信理论2.话题通信常用API&#x1f357;发布者advertisepublish &#x1f356;订阅者subscribe 3.自定义msg 二、服务通信1.服务通信理论2.服务通信常用API&#x1f386;服务端advertiseService &#x1f387;客户端serviceClientros::service…

[大厂实践] Pinterest通用计算平台实践

Pinterest平台团队开发实现了名为PinCompute的高性能通用计算平台&#xff0c;支持Pinterest的大量异构用例和服务。本文介绍了团队在开发这一平台过程中的经验和实践&#xff0c;对于其他平台团队来说&#xff0c;具有很好的参考意义。原文: PinCompute: A Kubernetes Backed …

RabbitMQ面试必备:基本概念、组件原理、消息传递模型,一网打尽。解密高可用性、负载均衡,深入了解安全性配置和性能优化

一、RabbitMQ的基本概念&#xff1a; 1.什么是消息队列&#xff1f; 消息队列是一种在分布式系统中用于在不同组件之间传递消息的通信机制。它允许应用程序和服务通过异步方式进行通信&#xff0c;提高了系统的可伸缩性和松耦合性。消息队列通常包括生产者&#xff08;Produc…

node-sass版本与NodeJS版本不匹配的问题

npm install 报错如下 npm ERR! code 1 npm ERR! path D:\Project\git_Product\YYYY\user\node_modules\node-sass npm ERR! command failed npm ERR! command C:\WINDOWS\system32\cmd.exe /d /s /c node scripts/build.js 问题原因 node-sass 与 node 版本不匹配 卸载Node…

PM圆桌派:同事不愿意告诉你的职场套路有哪些?

职场是社会的缩影&#xff0c;想要崭露头角&#xff0c;获得更多升职加薪的机会&#xff0c;就不要做着和多数人一样的事情&#xff0c;却期待着不一样的结果。 职场上有很多潜在的规则&#xff0c;要会做事&#xff0c;也要会说话&#xff0c;更要会做人。如果不懂规则&#…

day43_jdbc

今日内容 0 复习昨日 1 SQL注入问题 2 PreparedStatement 3 完成CRUD练习 4 ORM 5 DBUtil (properties) 6 事务操作 0 复习昨日 已经找人提问… 1 SQL注入 1.1 什么是SQL注入 用户输入的数据中有SQL关键词,导致在执行SQL语句时出现一些不正常的情况.这就是SQL注入! 出现SQL注入…

springcloud-gateway升级版本allowedOrigins要改allowedOriginPatterns

前言 报错: java.lang.IllegalArgumentException: When allowCredentials is true,allowedOrigins cannot contain the special value "*"since that cannot be set on the "Access-Control-Allow-Origin"response header. To allow credentials to a se…