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