Redis事务详解-优快云博客

1. 概述

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

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

2. 事务命令的使用

DISCARD：取消事务，放弃执行事务块内的所有命令。
EXEC：执行所有事务块内的命令。
MULTI：标记一个事务块的开始。
UNWATCH：取消 WATCH 命令对所有 key 的监视。
WATCH：WATCH key [key ...]，监视一个(或多个) key ，如果在事务执行之前这个(或这些) key 被其他命令所改动，那么事务将被打断。

①. 正常执行：

127.0.0.1:6379> MULTI
OK
127.0.0.1:6379> SET K1 V1
QUEUED
127.0.0.1:6379> SET K2 V2
QUEUED
127.0.0.1:6379> GET K2
QUEUED
127.0.0.1:6379> SET K3 V3
QUEUED
127.0.0.1:6379> EXEC
1) OK
2) OK
3) "V2"
4) OK

②. 放弃事务

127.0.0.1:6379> GET K2
"V2"
127.0.0.1:6379> MULTI
OK
127.0.0.1:6379> SET K1 V11
QUEUED
127.0.0.1:6379> SET K2 V22
QUEUED
127.0.0.1:6379> SET K3 V33
QUEUED
127.0.0.1:6379> DISCARD
OK
127.0.0.1:6379> GET K2
"V2"

③. 全体连错

127.0.0.1:6379> GET K1
"V1"
127.0.0.1:6379> MULTI
OK
127.0.0.1:6379> SET K1 V11
QUEUED
127.0.0.1:6379> SET K2 V22
QUEUED
127.0.0.1:6379> SETGET K3
(error) ERR unknown command 'SETGET'
127.0.0.1:6379> SET K3 V33
QUEUED
127.0.0.1:6379> EXEC
(error) EXECABORT Transaction discarded because of previous errors.
127.0.0.1:6379> GET K1
"V1"
127.0.0.1:6379> GET K2
(nil)

④. 冤头债主

127.0.0.1:6379> KEYS *
1) "K1"
127.0.0.1:6379> MULTI
OK
127.0.0.1:6379> INCR K1
QUEUED
127.0.0.1:6379> SET K2 VA
QUEUED
127.0.0.1:6379> SET K3 V3
QUEUED
127.0.0.1:6379> GET K3
QUEUED
127.0.0.1:6379> EXEC
1) (error) ERR value is not an integer or out of range
2) OK
3) OK
4) "V3"
127.0.0.1:6379> GET K3
"V3"

⑤. WATCH 监控

(1) 悲观锁/乐观锁/CAS(Check And Set)

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

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

举例：信用卡可用余额和欠额

1. 无加塞篡改，先监控再开启multi，保证两笔金额变动在同一个事务内

127.0.0.1:6379> set balance 100
OK
127.0.0.1:6379> set debt 0
OK
127.0.0.1:6379> WATCH balance
OK
127.0.0.1:6379> MULTI
OK
127.0.0.1:6379> DECRBY balance 20
QUEUED
127.0.0.1:6379> INCRBY debt 20
QUEUED
127.0.0.1:6379> EXEC
1) (integer) 80
2) (integer) 20

2. 有加塞篡改，监控了key，如果key被修改了，后面一个事务的执行失效

balance已经被修改为800，导致事务失败

127.0.0.1:6379> get balance
"80"
127.0.0.1:6379> WATCH balance
OK
127.0.0.1:6379> MULTI
OK
127.0.0.1:6379> DECRBY balance 20
QUEUED
127.0.0.1:6379> INCRBY debt 20
QUEUED
127.0.0.1:6379> EXEC
(nil)
127.0.0.1:6379> get balance
"800"

⑥. 小结

Watch指令，类似乐观锁，事务提交时，如果Key的值已被别的客户端改变，比如某个list已被别的客户端push/pop过了，整个事务队列都不会被执行。

通过WATCH命令在事务执行之前监控了多个Keys，倘若在WATCH之后有任何Key的值发生了变化，EXEC命令执行的事务都将被放弃，同时返回Nullmulti-bulk信息以通知调用者事务执行失败。

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

4. 特性
单独的隔离操作：事务中的所有命令都会序列化、有顺序地执行。事务在执行的过程中，不会被其他客户端发送来的命令请求所打断。

没有隔离级别的概念：队列中的命令没有提交之前都不会实际的被执行，因为事务提交前任何指令都不会被实际执行，也就不存在”事务内的查询要看到事务里的更新，在事务外查询不能看到”这个让人万分头痛的问题

不保证原子性：redis同一个事务中如果有一条命令执行失败，其后的命令仍然会被执行，没有回滚

转载于:https://my.oschina.net/weigy/blog/853918