定义:
- 可以一次执行多个命令,本质是一组命令的集合。一个事务中的所有命令都会序列化,按顺序地串行化执行而不会被其它命令插入,不许加塞
- 一个队列中,一次性、顺序性、排他性的执行一系列命令
常用命令:
- multi,标记一个事务块的开始,返回 ok
- exec,执行所有事务块内,事务块内所有命令执行的先后顺序的返回值,操作被,返回空值 nil
- discard,取消事务,放弃执行事务块内的所有命令,返回 ok
- watch,监视 key 在事务执行之前是否被其他指令改动,若已修改则事务内的指令取消执行,返回 ok
- unwatch,取消 watch 命令对 key 的监视,返回 ok
事务执行过程
- 开启:以MULTI开始一个事务
- 入队:将多个命令入队到事务中,接到这些命令并不会立即执行,而是放到等待执行的事务队列里面
- 执行:由EXEC命令触发事务
事务的特性
- 单独的隔离操作:事务中的所有命令都会序列化、按顺序地执行。事务在执行的过程中,不会被其他客户端发送来的命令请求所打断。
- 没有隔离级别的概念:队列中的命令没有提交之前都不会实际的被执行,因为事务提交前任何指令都不会被实际执行,也就不存在”事务内的查询要看到事务里的更新,在事务外查询不能看到”这个让人万分头痛的问题
- 不保证原子性:redis同一个事务中如果有一条命令执行失败,其后的命令仍然会被执行,没有回滚
Redis事务案例
- 正常执行
- 放弃事务
- 全体连坐
- 冤头债主
- watch监控
使用watch检测balance,事务期间balance数据未变动,事务执行成功
使用watch检测balance,在开启事务命令multi后,在新窗口执行上图操作,更改balance的值,模拟其他客户端在事务执行期间更改watch监控的数据,然后再执行multi后面的命令,执行EXEC后,事务未成功执行。
- 结论:
- Watch指令,类似乐观锁,事务提交时,如果Key的值已被别的客户端改变,
比如某个list已被别的客户端push/pop过了,整个事务队列都不会被执行
- 通过WATCH命令在事务执行之前监控了多个Keys,倘若在WATCH之后有任何Key的值发生了变化,EXEC命令执行的事务都将被放弃,同时返回Nullmulti-bulk应答以通知调用者事务执行失败