Redis系列1:深刻理解高性能Redis的本质

Redis系列2:数据持久化提高可用性

Redis系列3:高可用之主从架构

Redis系列4:高可用之Sentinel(哨兵模式)

Redis系列5:深入分析Cluster 集群模式

追求性能极致:Redis6.0的多线程模型

追求性能极致:客户端缓存带来的革命

Redis系列8:Bitmap实现亿万级数据计算

Redis系列9:Geo 类型赋能亿级地图位置计算

Redis系列10:HyperLogLog实现海量数据基数统计

Redis系列11:内存淘汰策略

1 复习下何为事务机制?

Transaction(事务)是计算机的特有术语,它一般指单个逻辑工作单位,由一系列的操作组合而成,在这些操作执行的时候,要么都执行成功,要么都不执行,防止数据结果的不一致性。

简而言之,事务是一个不可分割的工作逻辑单位。为了衡量工作单元是否具备事务能力,需要满足四个特征:ACID,即 原子性(Atomicity,或称不可分割性)、一致性(Consistency)、隔离性(Isolation,又称独立性)、持久性(Durability)。

  • 原子性(Atomicity):一个事务(transaction)中的所有操作,要么全部完成,要么全部不完成,不会结束在中间某个环节。事务在执行过程中发生错误,会被回滚(Rollback)到事务开始前的状态,就像这个事务从来没有执行过一样。
  • 一致性(Consistency):在事务开始之前和事务结束以后,数据库的完整性没有被破坏。这表示写入的数据必须完全符合所有的预设规则,这包含资料的精确度、串联性以及后续数据库可以自发性地完成预定的工作。
    • 实体完整性,存在唯一的主键
    • 列完整性:字段类型、字段长度等符合所有的预设规则
    • foreign key 外键约束
    • 用户自定义完整性(如用户购物支付前后,商家收入和用户的余额总和不变)
  • 隔离性(Isolation):数据库允许多个并发事务同时对其数据进行读写和修改的能力,隔离性可以防止多个事务并发执行时由于交叉执行而导致数据的不一致。事务隔离分为不同级别,包括读未提交(read uncommitted)、读提交(read committed)、可重复读(repeatable read)和串行化(Serializable)。
  • 持久性(Durability):事务处理结束后,对数据的修改就是永久的,会持久化到硬盘上,即便系统故障也不会丢失。

2 Redis模式下如何实现事务机制?

Redis 支持事务机制,他实现事务的关键命令包括:

MULTI、EXEC、DISCARD 、 WATCH
  • MULTI 开启事务,总是返回OK
  • EXEC 提交事务
  • DISCARD 放弃事务(即放弃提交执行)
  • WATCH 监控
  • QUEUED 命令加入执行的队列,没操作一个动作的时候,都先加入Queue

根据上述命令,Redis 事务的执行过程包含三个步骤:

  • 开启事务:MULTI
  • 命令入队:QUEUE
  • 执行事务或丢弃:EXEC 或者 DISCARD

2.1 显式开启一个事务

Client 通过 MULTI 命令显式开启一个事务,随后执行的操作将会暂时缓存在Queue中,实际并没有立即执行。

2.2 将命令入队列Queue

Client 端 把事务中的要执行的一系列操作指令发送到Service 端。 Redis服务端 实例接收到指令之后,并不是马上执行,而是暂存在命令队列中。

2.3 执行事务或丢弃

当Client端向Service端发送的命令都Ready了之后,可以发送提交执行或者丢弃事务的命令,如果是执行则操作队列中的具体指令,如果是丢弃则是清空队列命令。

  • EXEC:执行队列中的指令
  • DISCARD:丢弃保存在队列中的命令

2.4 EXEC命令执行示例

通过 MULTI 和 EXEC 执行一个事务过程:

#开启事务
> MULTI
OK
# 定义一系列指令
> set 'name' 'brand'
QUEUED
> set 'age' 18
QUEUED
> INCR 'age'
QUEUED
> GET 'name'
QUEUED
> GET 'age'
QUEUED
# 实际执行事务
> EXEC
# 获取执行结果
1) OK
2) OK
3) 19
4) "brand"
5) "19"

从上面可以看出来,每个读写指令执行后的返回结果都是 QUEUED,代表这些操作只是暂存在指令队列中,并没有实际执行。

当发送了 EXEC 命令之后,才真正执行并获取结果。

2.5 DISCARD命令:放弃事务

通过 MULTI 和 DISCARD 丢弃执行,清空指令队列:

# 初始化订数据
> SET 'name' 'brand'
OK
> SET 'age' 18
OK
# 开启事务
> MULTI
OK
# 数据增量1
> INCR 'age'
QUEUED
# 丢弃
> DISCARD
OK
# 执行结果是增量前的数据
> get 'age'
"18"

2.6 因为命令错误导致的事务回滚

体现原子性,再发生故障的时候,要么执行都成功,要么执行都失败

# 开启事务
> MULTI
OK
# 初始一个数据
> SET 'age' 18
OK
# 对该数据进行更新,但Redis不支持该命令,返回报错信息
> UPD 'age' 17
(error) ERR unknown command `UPD`, with args beginning with: `age`, `17`,
# 继续发送一个指令 ,降低age的值,该指令是正确的
> DECR 'age'
QUEUED
# 执行exec,但是之前有错误,所以Redis放弃了事务,不再执行
> EXEC
(error) EXECABORT Transaction discarded because of previous errors.

3 Redis事务机制能实现哪些属性?

类似MySQL的事务,Redis 事务一次性可以执行多个指令, 而这多个指令通过以下的方式来保证:

  • EXEC 命令执行之前,所有的指令都是被暂存(Queued)在队列中;
  • Service端接收到EXEC命令后开始执行事务,事务中某些命令执行失败,其余命令依旧执行;
  • 在事务执行的时候具备隔离性,其他Client端执行的指令不会乱入到当前指令的执行顺序中的。

3.1 原子性(Atomicity)

在事务执行的过程中,可能遇到这几种命令执行错误:

  • 在执行 EXEC 命令前,指令本身错误:

    • 参数数量不一致构成的错误
    • 命令名称构成的错误,使用了不存在或者错误的命令:比如上面的 'UPD'
    • 超过MaxMemory内存限制,导致内存不足
  • 在执行 EXEC 命令后,命令的不合理操作导致的失败。比如数据类型不匹配(对 String 类型 的 value 执行了 INCR 或者 DECR 之类的操作)
  • 在执行事务的 EXEC 命令时,实例故障导致的失败,这种情况比较少一点。

3.1.1 EXEC 执行前报错

执行前错误是指命令入队(Queue)时,Redis 就会发现并记录报错。

即使执行了 EXEC命令之后,Redis也会拒绝执行指令队列中的所有指令,返回事务失败的结果。

这样一来,所有的指令都不会被执行,保持了原子性。下面是指令入队列的报错的实例,跟上面的举例一致:

# 开启事务
> MULTI
OK
# 初始一个数据
> SET 'age' 18
OK
# 对该数据进行更新,但Redis不支持该命令,返回报错信息
> UPD 'age' 17
(error) ERR unknown command `UPD`, with args beginning with: `age`, `17`,
# 继续发送一个指令 ,降低age的值,该指令是正确的
> DECR 'age'
QUEUED
# 执行exec,但是之前有错误,所以Redis放弃了事务,不再执行
> EXEC
(error) EXECABORT Transaction discarded because of previous errors.

3.1.2 EXEC 执行后报错

这个跟上面的情况正好相反,指令入Queue时,命令的类型虽然不匹配,但是并没有在预编译的时候检查出。

只有在EXEC 命令之后,实际执行指令的时候才会报错。其他正确的指令还是会执行成功,不保证原子性。 参考下面:

# 开启事务
> MULTI
OK
> set age 18
QUEUED
> set name 'brand'
QUEUED
> INCR age
QUEUED
# 这边对String类型进行DECR,没有报错,但是在执行指令的时候会报错误
> DECR name
QUEUED
# 执行,会发现其他三条执行执行成功,只有一条执行失败,返回报错信息
> EXEC
1) OK
2) OK
3) 19
4) ERR value is not an integer or out of range
# 查看结果
> get name
"brand"
> get age
"19"

3.1.3 在EXEC执行时发生实例故障

可以使用AOF日志,把未完成的事务操作从AOF日志中去除,之后使用AOF进行恢复时就不会被再次执行,以此保证整个操作的原子性。

这个需要Redis启用AOF日志这个持久化能力。

3.1.4 对于上述几种错误特征的总结

  • 指令入队列时有报错(所有指令中只要有一条不是QUEUED),就会放弃事务执行,保证原子性。如 3.1.1
  • 指令入队列时没报错(所有指令都是QUEUED),但在实际执行EXEC时报错,则不保证原子性。如 3.1.2
  • EXEC执行时出现故障,如果开启了 AOF 日志,可以保证原子性。如 3.1.3

3.2 一致性

跟原子性类似,一致性会受到错误指令、执行异常、Redis故障等情况的影响,主要有如下几种情况:

  • 指令入队列时有报错,事务被放弃执行,所以可以保证一致性。
  • 指令入队列时正产,实际执行EXEC时报错,则是错误部分不会执行,正确指令依旧正常执行,也可以保证一致性。
  • Redis实例故障分成几种:
    • 未开启持久化情况,故障重启后数据都清空,结果是一致的。
    • RDB快照:事务命令操作的结果不被保存到 RDB 快照中,所以在恢复时,数据结果是一致的。
    • AOF 日志:发生故障时,使用 redis-check-aof 清除事务中对应操作,数据库恢复后也保持一致。

3.3 隔离性

从隔离性这个角度,事务执行的时机可以分成两种:

  • 一种是操作在EXEC执行之前(纯入队期间),这时候采用 WATCH 的机制来保障
  • 另一种是开始执行EXEC之后(实际开始执行命令了),这时候本身具备隔离性了。

3.3.1 WATCH监测对象是否有变化

如果前后有变化,说明被修改了,这时就放弃事务执行,避免事务的隔离性被破坏。

3.3.2 对操作进行顺序,并发操作排在 EXEC 之后

Redis 操作命令是单线程执行的,所以在EXEC 命令执行后,不会乱入其他操作,Redis 会保证把指令队列中的所有指令都操作完成之后。

在执行后续的命令,所以,这种模式并发操作不会破坏事务的隔离性。它具有天然的隔离能力。

3.4 持久性

因为Redis的持久化特性,所以有如下三种可能性:

  • 未开启 RDB快照 或 AOF日志,事务肯定不具备持久化能力。
  • RDB快照模式:我们在Redis持久化那一篇中聊过,RDB具有快照间隙,事务执行在快照之间则不会被保障。
  • AOF日志:无论日志持久化选项是 no、everysec 和 always 都会存在数据丢失的情况,所以也是无法完全保障的。

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

4 总结

  • Redis 具备了一定的原子性,但不支持回滚。DISCARD 主要负责清空指令列表,放弃操作。
  • Redis 具备一致性的能力
  • Redis 具备隔离性的能力
  • Redis 无法保证持久性

Redis系列12:Redis 的事务机制的更多相关文章

  1. Redis系列(二):Redis的数据类型及命令操作

    原文链接(转载请注明出处):Redis系列(二):Redis的数据类型及命令操作 Redis 中常用命令 Redis 官方的文档是英文版的,当然网上也有大量的中文翻译版,例如:Redis 命令参考.这 ...

  2. Redis系列(一):Redis的简介与安装

    原文链接(转载请注明出处):Redis系列(一):Redis的简介与安装 什么是 Redis Redis 是一个使用ANSI C 编写的开源.支持网络协议.基于内存.可选持久性的键值对数据库,它是一个 ...

  3. Redis系列一 Redis安装

    Redis系列一    Redis安装 1.安装所使用的操作系统为Ubuntu16.04 Redis版本为3.2.9 软件一般下载存放目录为/opt,以下命令操作目录均为/opt root@ubunt ...

  4. 面试系列12 redis和memcached有什么区别

    (1)redis和memcached有啥区别 这个事儿吧,你可以比较出N多个区别来,但是我还是采取redis作者给出的几个比较吧 1)Redis支持服务器端的数据操作:Redis相比Memcached ...

  5. Redis系列之----Redis的两种持久化机制(RDB和AOF)

    Redis的两种持久化机制(RDB和AOF) 什么是持久化    Redis的数据是存储在内存中的,内存中的数据随着服务器的重启或者宕机便会不复存在,在生产环境,服务器宕机更是屡见不鲜,所以,我们希望 ...

  6. 深入剖析Redis系列: Redis集群模式搭建与原理详解

    前言 在 Redis 3.0 之前,使用 哨兵(sentinel)机制来监控各个节点之间的状态.Redis Cluster 是 Redis 的 分布式解决方案,在 3.0 版本正式推出,有效地解决了 ...

  7. redis系列:redis介绍与安装

    前言 这个redis系列的文章将会记录博主学习redis的过程.基本上现在的互联网公司都会用到redis,所以学习这门技术于你于我都是有帮助的. 博主在写这个系列是用的是目前最新版本4.0.10,虚拟 ...

  8. 【Redis 系列】redis 学习十六,redis 字典(map) 及其核心编码结构

    redis 是使用 C 语言编写的,但是 C 语言是没有字典这个数据结构的,因此 C 语言自己使用结构体来自定义一个字典结构 typedef struct redisDb src\server.h 中 ...

  9. Redis系列之----Redis的数据类型及使用场景

       Redis是一个开源的.高性能的.基于键值对的缓存与存储系统,能够提供多种不同的键值数据类型来适应不同场景下的缓存和存储需求.    Redis中所有的数据都存储在内存中,因此读写速度非常快,相 ...

  10. Redis系列六 Redis事务

    Redis事务 1.介绍 在Redis事务中可以一次执行多个命令,本质是一组命令的集合.一个事务中的所有命令都会序列化,按顺序地串行化执行而不会被其它命令插入,不许加塞. 2.事务的作用 一个队列中, ...

随机推荐

  1. Windows系统Redis集群搭建

    一.参考网址 https://mp.weixin.qq.com/s/ImdEJTdAmCFJsT55rici0Q 二.Redis版本 注意:搭建windows版的redis集群,redis的版本需要5 ...

  2. LINUX配置固定IP以及DNS

    配置固定ip #vim /etc/sysconfig/network-scripts/ifcfg-ens33 TYPE=EthernetPROXY_METHOD=noneBROWSER_ONLY=no ...

  3. java初学者-手动输入一个整数,打印这个数是几位数

    import.java.until.Scanner; //手动输入一个整数,打印这个数是几位数 public static void main(String[]args){ //键盘录入 Scanne ...

  4. zxb2022习题班16

    (1) 原则:合同中包含多项履约义务的,企业应当按照各单项履约义务所承诺的商品的单独售价的比例,将交易价格分摊至各单项履约义务. 方法:按照A和B商品单独售价的相对比例, 2x22年4月16日 借:合 ...

  5. linux 命令下载文件

    系统  ubuntu  :若提示没有找到命令 请自行下截安装 sz 命令发送文件到本地:# sz filename rz命令本地上传文件到服务器:# rz执行该命令后,在弹出框中选择要上传的文件即可.

  6. ios底部安全距离

    一.使用背景 苹果官方推荐:使用env(),constant()来适配,env()和constant(),是IOS11新增特性,用于设定安全区域与边界的距离 safe-area-inset-left: ...

  7. layui中文离线文档PDF下载

    失效链接处理 layui中文离线文档 PDF 下载 本站整理下载: 链接:https://pan.baidu.com/s/18FbllhLEezXTn-y1eiiNKg  提取码:nuqz      ...

  8. php 后台注册环信用户

    <?php //Easemob.php <?php /** -------------------------------------------------- 环信PHP REST示例代 ...

  9. RKO组——冲刺随笔(2)

    这个作业属于哪个课程 至诚软工实践F班 这个作业要求在哪里 第五次团队作业:项目冲刺 这个作业的目标 记录冲刺计划.要求包括当天会议照片.会议内容以及项目燃尽图(项目进度) 1.昨日进展 已开始着手模 ...

  10. windows远程linux桌面

    TigerVNC是一个高性能.平台无关的虚拟网络计算(Virtual Network Computing,VNC)实现,是一个客户端/服务器应用程序,允许用户在远程机器上启动并与图形应用程序进行交互. ...