这里写目录标题
Redis事务的概念
Redis事务本质是一组命令的集合,可以一次执行多个命令,所有命令都会序列化,按顺序地串行化执行而不会被其它命令插入,不许插队。将一组需要一起执行的命令放到multi和exec两个命令之间。multi命令代表事务开始,exec命令代表事务结束,它们之间的命令是原子顺序执行的。
总结:Redis事务就是一次性、顺序性、排他性的执行一个队列中的一系列命令。
事务相关命令
DISCARD #取消事务,放弃执行事务块内的所有命令。
EXEC #执行所有事务块内的命令。
MULTI #标记一个事务块的开始。
UNWATCH #取消WATCH命今对所有key的监视。
WATCH key [key。。。] #监视一个(或多个)key,如果在事务执行之前这个(或这些) key 被其他命令所改动,那么事务将被打断。
Redis事务的三个特性
- 单独的隔离操作:事务中的所有命令都会序列化、按顺序地执行。事务在执行的过程中,不会被其他客户端发送来的命令请求所打断。
- 没有隔离级别的概念:批量操作在发送 EXEC 命令前被放入队列缓存,并不会被实际执行,也就不存在事务内的查询要看到事务里的更新,事务外查询不能看到。
- 不保证原子性:Redis同一个事务中如果有一条命令执行失败,其后的命令仍然会被执行,没有回滚。
Redis事务执行的3个阶段
- 开启:以MULTI开始一个事务。
- 入队:将多个命令入队到事务中,接到这些命令并不会立即执行,而是放到等待执行的事务队列里面。
- 执行:由EXEC命令触发事务。
为什么Redis的事务不支持回滚(roll back)
- Redis命令只会因为错误的语法而失败(并且这些问题不能在入队时发现),或是命令用在了错误类型的键上面:这也就是说,从实用性的角度来说,失败的命令是由编程错误造成的,而这些错误应该在开发的过程中被发现,而不应该出现在生产环境中。
- Redis 处于简单且快速的需求,选择不对回滚进行支持。
Redis事务如何实现乐观锁
WATCH 命令可以为 Redis 事务提供 check-and-set (CAS)行为,并实现乐观锁。
WATCH 使得 EXEC 命令需要有条件地执行: 事务只能在所有被监视键都没有被修改的前提下执行, 如果这个前提不能满足的话,事务就不会被执行。
WATCH 命令可以被调用多次,用户也可以在单个 WATCH 命令中监视任意多个键。 对key的监视从 WATCH 执行之后开始生效,直到调用 EXEC 为止。当 EXEC 被调用时,不管事务是否成功执行, 对所有key的监视都会被取消。另外,当客户端断开连接时,该客户端对key的监视也会被取消。
使用无参数的 UNWATCH 命令可以手动取消对所有key的监视。 对于一些需要改动多个key的事务,有时候程序需要同时对多个key进行加锁,然后检查这些key的当前值是否符合程序的要求。当值达不到要求时,就可以使用 UNWATCH 命令来取消目前对key的监视,中途放弃这个事务,并等待事务的下次尝试。
WATCH 可以用于创建 Redis 没有内置的原子操作。