Redis 事务及其应用
参考：
http://www.runoob.com/redis/redis-transactions.html
https://www.cnblogs.com/qlshine/p/5958504.html
Redis 事务可以一次执行多个命令， 并且带有以下两个重要的保证：
- 批量操作在发送 EXEC 命令前被放入队列缓存。
- 收到 EXEC 命令后进入事务执行，事务中任意命令执行失败，其余的命令依然被执行。
- 在事务执行过程，其他客户端提交的命令请求不会插入到事务执行命令序列中。
一个事务从开始到执行会经历以下三个阶段：
- 开始事务。
- 命令入队。
- 执行事务。
实例
以下是一个事务的例子， 它先以 MULTI 开始一个事务， 然后将多个命令入队到事务中， 最后由 EXEC 命令触发事务， 一并执行事务中的所有命令：
redis 127.0.0.1:6379> MULTI
OK
redis 127.0.0.1:6379> SET book-name "Mastering C++ in 21 days"
QUEUED
redis 127.0.0.1:6379> GET book-name
QUEUED
redis 127.0.0.1:6379> SADD tag "C++" "Programming" "Mastering Series"
QUEUED
redis 127.0.0.1:6379> SMEMBERS tag
QUEUED
redis 127.0.0.1:6379> EXEC
1) OK
2) "Mastering C++ in 21 days"
3) (integer) 3
4) 1) "Mastering Series"
2) "C++"
3) "Programming"
单个 Redis 命令的执行是原子性的，但 Redis 没有在事务上增加任何维持原子性的机制，所以 Redis 事务的执行并不是原子性的。
事务可以理解为一个打包的批量执行脚本，但批量指令并非原子化的操作，中间某条指令的失败不会导致前面已做指令的回滚，也不会造成后续的指令不做。
比如：
redis 127.0.0.1:7000> multi
OK
redis 127.0.0.1:7000> set a aaa
QUEUED
redis 127.0.0.1:7000> set b bbb
QUEUED
redis 127.0.0.1:7000> set c ccc
QUEUED
redis 127.0.0.1:7000> exec
1) OK
2) OK
3) OK
如果在 set b bbb 处失败，set a 已成功不会回滚，set c 还会继续执行。
应用
redis 与 mysql 事务的对比:
| mysql | redis | |
| 开启 | start transaction | multi |
| 语句 | 普通的sql | 普通命令 |
| 失败 | rollback回滚 | discard取消 |
| 成功 | commit | exec |
注: rollback 与 discard 的区别
如果已经成功执行了2条语句, 第3条语句出错
rollback后, 前两条语句影响消失
discard只是结束本次事务, 前两条语句造成的影响依然存在
注:
在multi后面的语句中, 语句出错可能有2种情况
- 语法本身有问题, 这种错误exec时报错, 所有语句得不到执行
- 语法本身没错误, 但适用对象有问题, 比如zadd操作list对象, exec后会执行正确的语句, 并跳过有不适当的语句
使用redis模拟银行转账操作:
-
正常情况
127.0.0.1:6379> set wang 200 #wang有200 OK 127.0.0.1:6379> set zhao 700 #zhao有700 OK 127.0.0.1:6379> 127.0.0.1:6379> multi #开启事务 OK 127.0.0.1:6379> decrby zhao 100 #zhao减100 QUEUED 127.0.0.1:6379> incrby wang 100 #wang加100 QUEUED #以上两个QUEUED表示两条语句被放在队列里面, exec前并没有执行 127.0.0.1:6379> exec #执行完毕 1) (integer) 600 2) (integer) 300 127.0.0.1:6379> -
意外情况
127.0.0.1:6379> multi 开启事务 OK 127.0.0.1:6379> 127.0.0.1:6379> decrby zhao 100 #zhao减100 QUEUED 127.0.0.1:6379> das #输入一个错误的命令 (error) ERR unknown command 'das' 127.0.0.1:6379> exec #执行, 提示被忽略 (error) EXECABORT Transaction discarded because of previous errors. 127.0.0.1:6379> 127.0.0.1:6379> mget zhao wang #zhao 和 wang的值不变 1) "600" 2) "300" 127.0.0.1:6379> -
另一种报错情况
127.0.0.1:6379> multi OK 127.0.0.1:6379> 127.0.0.1:6379> decrby zhao 100 #zhao减100 QUEUED 127.0.0.1:6379> sadd wang pig #故意把wang当做数组加入一个key, 发现并没有报错, #因为这条语句被存放在队列里, 并没有被执行 QUEUED 127.0.0.1:6379> exec #此时语句才被执行, 所以报错, 但是zhao依然减了100, 说明执行了正确的语句, 跳过了不正取的语句, 影响还在 1) (integer) 500 2) (error) WRONGTYPE Operation against a key holding the wrong kind of value 127.0.0.1:6379> 127.0.0.1:6379> mget zhao wang 1) "500" 2) "300" 127.0.0.1:6379> -
discard取消
127.0.0.1:6379> mget wang zhao 1) "400" 2) "400" 127.0.0.1:6379> multi OK 127.0.0.1:6379> decrby zhao 100 QUEUED 127.0.0.1:6379> incrby wang 100 QUEUED 127.0.0.1:6379> 127.0.0.1:6379> discard #取消后值没变 OK 127.0.0.1:6379> 127.0.0.1:6379> mget wang zhao 1) "400" 2) "400" 127.0.0.1:6379> exec (error) ERR EXEC without MULTI 127.0.0.1:6379>
127.0.0.1:6379> mget zhao wang
1) "400"
2) "400"
127.0.0.1:6379>
127.0.0.1:6379> multi
OK
127.0.0.1:6379> decrby zhao 100
QUEUED
127.0.0.1:6379> sadd wang pig
QUEUED
127.0.0.1:6379>
127.0.0.1:6379> exec
1) (integer) 300
2) (error) WRONGTYPE Operation against a key holding the wrong kind of value
127.0.0.1:6379>
127.0.0.1:6379> discard #不能discard
(error) ERR DISCARD without MULTI
127.0.0.1:6379>
127.0.0.1:6379> mget zhao wang
1) "300"
2) "400"
127.0.0.1:6379>
watch key1 key2 ... keyN
作用: 监听 key1 key2 keyN有没有变化, 如果有变化, 则事务取消
unwatch(不加key): 取消所有 watch 监听
场景: 一个人正在买票, ticket-1, money-100, 而票只有一张, 如果在我multi之后, exec之前票被别人买走, 即ticket变为0了, 怎么办?
127.0.0.1:6379> set ticket 1 #加入只有1张票
OK
127.0.0.1:6379> set lisi 300 #lisi有300
OK
127.0.0.1:6379> set wang 300 #wang有300
OK
127.0.0.1:6379>
127.0.0.1:6379> multi #开启事务
OK
127.0.0.1:6379> decr ticket #票数-1
QUEUED
127.0.0.1:6379> decrby lisi 100 #lisi准备买-100
QUEUED
127.0.0.1:6379> #此处还没有exec假如就在exec前票被别人买走, 打开另一个终端
127.0.0.1:6379> decr ticket #票-1
(integer) 0
127.0.0.1:6379> get ticket #此时票数为0
"0"
127.0.0.1:6379> 此时提交lisi
127.0.0.1:6379> exec
1) (integer) -1 #票变为-1
2) (integer) 200 #钱-100
127.0.0.1:6379> 因此上面的过程不合理
要解决上面的情况,要采用监视
127.0.0.1:6379> set ticket 1 #票数为1
OK
127.0.0.1:6379> set lisi 200 #lisi钱是100
OK
127.0.0.1:6379> set wang 300 #wang是300
OK
127.0.0.1:6379>
127.0.0.1:6379> watch ticket #监控ticket有没有变动, 有变动的话则事务取消
OK
127.0.0.1:6379> multi #开启事务
OK
127.0.0.1:6379> decr ticket #ticket-1
QUEUED
127.0.0.1:6379> decrby lisi 100 #钱-100
QUEUED
127.0.0.1:6379>在exec前票又被另一个人买走了
127.0.0.1:6379> decr ticket
(integer) 0
127.0.0.1:6379> get ticket
"0"
127.0.0.1:6379> 此时票数为0, lisi提交
127.0.0.1:6379>
127.0.0.1:6379> exec #失败
(nil)
127.0.0.1:6379>
127.0.0.1:6379> get lisi #钱并没有减少
"200"
127.0.0.1:6379> Redis 事务命令
下表列出了 redis 事务的相关命令：
| 序号 | 命令及描述 |
|---|---|
| 1 | DISCARD 取消事务，放弃执行事务块内的所有命令。 |
| 2 | EXEC 执行所有事务块内的命令。 |
| 3 | MULTI 标记一个事务块的开始。 |
| 4 | UNWATCH 取消 WATCH 命令对所有 key 的监视。 |
| 5 | WATCH key [key ...] 监视一个(或多个) key ，如果在事务执行之前这个(或这些) key 被其他命令所改动，那么事务将被打断。 |
