Redis事务机制
-
MULTI 与 EXEC: MULTI 开启一个事务,然后将多个命令入队到事务queue中, 最后由 EXEC 命令触发事务, 一并按顺序执行事务中的所有命令。 -
DISCARD:DISCARD 命令用于取消一个事务, 它清空客户端的整个事务队列, 然后将客户端从事务状态调整回非事务状态, 最后返回字符串 OK 给客户端, 说明事务已被取消。 -
WATCH:WATCH 命令用于在事务开始之前监控任意数量的键: 当调用 EXEC 命令执行事务时, 如果任意一个被监视的键已经被其他客户端修改了, 那么整个事务不再执行, 直接返回失败;
该命令是CAS原理的乐观锁机制。
Redis事务执行流程
Redis事务的特性
-
原子性(Atomicity):单个 Redis 命令的执行是原子性的,但 Redis 没有在事务上增加任何维持原子性的机制,所以 Redis 事务的执行并不是原子性的。
如果一个事务队列中的所有命令都被成功地执行,那么称这个事务执行成功。 -
一致性(Consistency):
入队错误:
在命令入队的过程中,如果客户端向服务器发送了错误的命令,比如命令的参数数量不对等, 那么服务器将向客户端返回一个出错信息, 并且将客户端的事务状态设为 REDIS_DIRTY_EXEC,所有命令执行失败。
执行错误:
如果命令在事务执行的过程中发生错误,比如说,对一个不同类型的 key 执行了错误的操作, 那么 Redis 只会将错误包含在事务的结果中, 这不会引起事务中断或整个失败,不会影响已执行事务命令的结果,也不会影响后面要执行的事务命令, 所以它对事务的一致性也没有影响。
(例如下图中,三条命令都是正确的,然而game的数据类型出现了两种,一个String类型,一个hash类型,虽然出现了错误,第二条命令的错误并没有影响之后的命令) -
隔离性(Isolation): WATCH 命令用于在事务开始之前监视任意数量的键: 当调用 EXEC 命令执行事务时, 如果任意一个被监视的键已经被其他客户端修改了, 那么整个事务不再执行, 直接返回失败。
-
持久性(Durability): 因为事务不过是用队列包裹起了一组 Redis 命令,并没有提供任何额外的持久性功能,所以事务的持久性由 Redis 所使用的持久化模式(rdb数据内存备份、aof增量备份)决定。
Redis为了性能不支持事务回滚