Redis事务

事务是什么

可以一次执行多个命令，本质是一组命令的集合。一个事务中的所有命令都会序列化，按顺序地串行化执行而不会被其它命令插入，不许加塞

事务能干什么

一个队列中，一次性、顺序性、排他性的执行一系列命令

常用命令

MULTI
作用：标记一个事务的开始（事务块内的多条命令会按照先后顺序被放进一个队列当中，最后由 EXEC 命令原子性(atomic)地执行）
可用版本：>= 1.2.0
时间复杂度：O(1)
返回值：总是返回OK

EXEC
作用：执行所有事务块内的命令（假如某个(或某些) key 正处于 WATCH 命令的监视之下，且事务块中有和这个(或这些) key 相关的命令，那么 EXEC 命令只在这个(或这些) key 没有被其他命令所改动的情况下执行并生效，否则该事务被打断(abort)）
可用版本：>= 1.2.0
时间复杂度：事务块内所有命令的时间复杂度的总和
返回值：事务块内所有命令的返回值，按命令执行的先后顺序排列。当操作被打断时，返回空值 nil

DISCARD
作用：取消事务，放弃执行事务块内的所有命令（如果正在使用 WATCH 命令监视某个(或某些) key，那么取消所有监视，等同于执行命令 UNWATCH）
可用版本：>= 2.0.0
时间复杂度：O(1)
返回值：总是返回OK

WATCH
作用：监视一个(或多个) key ，如果在事务执行之前这个(或这些) key 被其他命令所改动，那么事务将被打断
可用版本：>= 2.2.0
时间复杂度：O(1)
返回值：总是返回OK

UNWATCH
作用：取消 WATCH 命令对所有 key 的监视（如果在执行 WATCH 命令之后， EXEC 命令或 DISCARD 命令先被执行了的话，那么就不需要再执行 UNWATCH 了，因为 EXEC 命令会执行事务，因此 WATCH 命令的效果已经产生了；而 DISCARD 命令在取消事务的同时也会取消所有对 key 的监视，因此这两个命令执行之后，就没有必要执行 UNWATCH 了）
可用版本：>= 2.2.0
时间复杂度：O(1)
返回值：总是返回OK

事务示例

正常执行

放弃事务

全体不执行

一个错误全部不执行，这个错误属于语法错误，就是根本无法执行的

一个不执行其他执行（冤有头债有主）

其中k1的值为字符串''aa"

WATCH 监控

悲观锁：

• 悲观锁(Pessimistic Lock)，顾名思义，就是很悲观，每次去拿数据的时候都认为别人会修改，所以每次在拿数据的时候都会上锁，这样别人想拿这个数据就会block直到它拿到锁。传统的关系型数据库里边就用到了很多这种锁机制，比如行锁，表锁等，读锁，写锁等，都是在做操作之前先上锁

乐观锁：

• 乐观锁(Optimistic Lock), 顾名思义，就是很乐观，每次去拿数据的时候都认为别人不会修改，所以不会上锁，但是在更新的时候会判断一下在此期间别人有没有去更新这个数据，可以使用版本号等机制。乐观锁适用于多读的应用类型，这样可以提高吞吐量
• 乐观锁策略：提交版本必须大于记录当前版本才能执行更新

举一个例子
初始化信用卡可用余额和消费额，信用卡上有100块钱，吃了一顿面条20块，这个时候余额就有80块，消费额有20块，这是无加塞篡改，先WATCH监控再开启MULTI，保证两笔金额变动在同一个事务内。有加塞情况是在开启WATCH监控后有别的人向信用卡充值了200块，这时候余额就是280块，这时候你消费20块，那么余额减去20块，消费额加20开启，但是会导致事务提交失败，并提醒值得变动，因为WATCH监控要保证保证两笔金额变动在同一个事务内，需要获取知道最新得值，再加WATCH监控修改改，即印证了WATCH的作用：监视一个(或多个) key ，如果在事务执行之前这个(或这些) key 被其他命令所改动，那么事务将被打断
注意：一旦执行了exec之前加的监控锁都会被取消掉了

小结

• 通过WATCH命令在事务执行之前监控了多个Keys，倘若在WATCH之后有任何Key的值发生了变化，EXEC命令执行的事务都将被放弃，同时返回Nullmulti-bulk应答以通知调用者事务执行失败
• WATCH指令，类似乐观锁，事务提交时，如果Key的值已被别的客户端改变，比如某个list已被别的客户端push/pop过了，整个事务队列都不会被执行

事务的3阶段

1. 开启：以MULTI开始一个事务
2. 入队：将多个命令入队到事务中，接到这些命令并不会立即执行，而是放到等待执行的事务队列里面
3. 执行：由EXEC命令触发事务

事务的3特性

• 单独的隔离操作：事务中的所有命令都会序列化、按顺序地执行。事务在执行的过程中，不会被其他客户端发送来的命令请求所打断。
• 没有隔离级别的概念：队列中的命令没有提交之前都不会实际的被执行，因为事务提交前任何指令都不会被实际执行，也就不存在”事务内的查询要看到事务里的更新，在事务外查询不能看到”这个让人万分头痛的问题
• 不保证原子性：redis同一个事务中如果有一条命令执行失败，其后的命令仍然会被执行，没有回滚