1. 什么是Redis事务
提到事务,我们可能马上会想到传统的关系型数据库中的事务,客户端首先向服务器发送BEGIN
开启事务,然后执行读写操作,最后用户发送 COMMIT
或者 ROLLBACK
来提交或者回滚之前的操作。
但是Redis中的事务与关系型数据库是不一样的,Redis 通过 MULTI
命令开始,之后输入一连串的操作,最终以 EXEC 结束,在这之间输入的所有的命令都会在 EXEC
之后一起发给Redis执行,所以在这之间用户无法通过读取到的结果做处理。
这与关系型数据库的事务是由很大的不同的。Redis会在执行完成之后返回一组执行结果。Redis中并没有回滚的操作,这一点会在后面说到。
Redis的这种延迟执行事务会有助于提升性能,客户端会在收到EXEC
命令之后再将这一系列的命令一起发给Redis,然后等待Redis的回复,这种一次性发送多条指令,然后等待回复 的做法称为流水线(pipeline)模式
,它可以通过减少客户端与服务端之间的网络通信次数来提高Redis执行命令的性能
Redis通过以下两点保证事务:
- 事务中的所有命令都序列化并按顺序执行,在执行事务的过程中,不会去执行其它客户端的命令,保证命令作为单个隔离操作进行。
- 要么处理所有命令,要么不处理,保证原子性,如果开启了AOF,Redis 会使用单个write命令将事务写入文件中,如果因为某些原因导致AOF写入被截断,在重启redis时会报错,使用
redis-check-aof
工具可以修复这个错误(删除掉这个事务相关的命令),保证redis能够重新启动。
2. Redis 事务操作
2.1 事务相关命令说明
命令详情参见:https://www.redis.net.cn/order/
2.2 执行事务举例
1)正常执行
2)放弃事务
3)执行期间出现异常指令
若在事务队列中存在命令性错误(类似于java编译性错误),则执行EXEC命令时,所有命令都不会执行
4)语法异常
若在事务队列中存在语法性错误(类似于java的1/0的运行时异常),则执行EXEC命令时,其他正确命令会被执行,错误命令抛出异常。
2.3 使用watch监视key
严格的说Redis的命令是原子性的,而事务是非原子性的,我们要让Redis事务完全具有事务回滚的能力,需要借助于命令WATCH来实现。
Redis 使用watch命令来决定事务是继续执行还是回滚,那就需要在mulit 之前使用watch来监视某些键值对,然后使用mulit 命令来开启事务,执行对数据结构的各种命令,此时这些命令入队列。
当使用exec执行事务时,首先会比对watch所监视的键值对,
- 如果没有发生变化,它会执行事务队列中的命令,提交事务
- 如果发生变化,将不会执行事务中的任何命令,同时事务回滚
当然无论是否回滚,redis都会取消执行事务前的watch命令
2.4 监视key案例
1)案例一:使用watch检测balance,事务期间balance数据未变动,事务执行成功
2)使用watch检测balance,在开启事务后(标注1处),在新窗口执行标注2中的操作,更改balance的值,模拟其他客户端在事务执行期间更改watch监控的数据,然后再执行标注1后命令,执行EXEC后,事务未成功执行。
一但执行 EXEC 开启事务的执行后,无论事务使用是否执行成功, WARCH 对变量的监控都将被取消。
故当事务执行失败后,需重新执行WATCH命令对变量进行监控,并开启新的事务进行操作。
3. 常见面试题及解析
3.1 为什么Redis不支持事务回滚?
多数事务失败是由语法错误
或者数据结构类型错误
导致的。语法错误
说明在命令入队前就进行检测
的,而类型错误
是在执行时
检测的.
Redis为提升性能,而采用这种简单的事务,这是不同于关系型数据库的,特别需要注意。
- EXEC执行事务中的所有命令:必须与MULTI命令成对使用
- Redis并没有用典型的加锁功能来解决key的竞争问题,主要原因是出于性能的考虑。
回顾一下关系型数据库中的事务,在访问以写入为目的的数据时,数据库会对被访问的数据加锁,直到提交或回滚之后才释放锁,如果此时另一个客户端也这部分数据进行写入操作,客户端将会被阻塞,直到上一个事务结束。
这种加锁的方式称为悲观锁
,它的缺点在于持有锁的客户端持有锁的时间越长,其它客户端被阻塞的时间就越长。
Redis为了减少客户端等待的时间,并不会在执行WATCH 命令后对数据进行加锁,而是如果有其他客户端抢先修改了数据的情况下通知执行了 WATCH 的客户端,这种做法叫做乐观锁
。我们只需在客户端执行事务失败之后进行重试的逻辑即可。
4. 总结
watch指令类似于乐观锁,在事务提交时,如果watch监控的多个KEY中任何KEY的值已经被其他客户端更改,则使用EXEC执行事务时,事务队列将不会被执行,同时返回Nullmulti-bulk应答以通知调用者事务执行失败。