Redis教程

Redis源码解析:Redis事务能保证ACID吗?

本文主要是介绍Redis源码解析:Redis事务能保证ACID吗?,对大家解决编程问题具有一定的参考价值,需要的程序猿们随着小编来一起学习吧!

请添加图片描述

Redis事务

命令作用
MULTI开启事务
EXEC提交事务
DISCARD回滚事务
WATCH检测键值在事务执行期间是否发生变化,如果发生变化,放弃当前事务执行

在这里插入图片描述

在这里插入图片描述

原子性

EXEC命令执行前报错

执行EXEC命令前,操作命令有错误,Redis会报错,并记录下这个错误,我们还能继续提交命令,当执行EXEC命令时,拒绝所有命令的执行,返回事务失败,保证了原子性

EXEC命令执行后报错

EXEC命令执行后报错(例如事务操作入队时,命令和操作的数据类型不匹配,但是Redis实例入队的时候检查不出来错误,只有执行的时候才会报错),错误的命令不会执行,但是正确的命令会被执行,事务的原子性得不到保证

EXEC命令执行时,实例发生故障

如果开启了AOF日志,只会有部分的事务操作被记录到aof日志中。此时我们可以使用 redis-check-aof 工具检查aof日志,这个工具可以把未完成的事务操作从aof文件中删除,这样当使用aof恢复实例后,事务操作不会被执行,从而保证了原子性

没有开启aof或者rdb,开启了rdb都不会记录到中间状态的数据,保证了原子性

一致性

EXEC命令执行前报错

事务被放弃执行,可以保证一致性

EXEC命令执行后报错

错误的指令不会执行,正确的指令执行,可以保证一致性

EXEC命令执行时,实例发生故障

  1. 没有开启RDB和AOF,重启后数据消失,保持一致
  2. 使用了RDB,事务执行时不会生成RDB快照
  3. 使用了AOF,命令操作还没记录到AOF日志中,就发生了故障,使用AOF日志恢复可以保证一致。如果只有部分操作被记录到AOF日志,可以使用 redis-check-aof 把未完成的事务操作从aof文件中删除,也可以保证一致

隔离性

Redis执行命令时是单线程程序,执行事务时、中途不会被打断,隔离级别相当于是串行化,所以可以保证隔离性

为了更精细的控制执行的过程,Redis还提供了WATCH命令来对key进行监测,如果事务在执行期间,监测的键值对发生变化,可以拒绝事务的执行

持久性

如果Redis没有配置RDB和AOF,那么持久性肯定得不到保证

如果使用了RDB模式,在一个事务执行后,下一次RDB快照还未执行前,发生了宕机,这种情况下持久性得不到保证

如果使用了AOF模式,AOF的三种配置选项都存在数据丢失的情况(no、everysec 和 always),事务的持久性还是得不到保证

Redis事务中有命令语法错误时,无法保证原子性,其他情况可以保证原子性

Redis可以保证一致性,隔离性,无法保证原子性能和持久性

参考博客

[1]https://www.51cto.com/article/686117.html

这篇关于Redis源码解析:Redis事务能保证ACID吗?的文章就介绍到这儿,希望我们推荐的文章对大家有所帮助,也希望大家多多支持为之网!