Redis 事务

一、理论

1.是什么：

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

2.作用：

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

3.常用命令：

通过MULTI命令进入Redis事务。通过EXEC执行。

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

一旦执行了exec，之前加的监控锁watch都会被取消掉

二、实战

1. 正常放行 exec

127.0.0.1:9736> set k1 10
OK
127.0.0.1:9736> MULTI
OK
127.0.0.1:9736> get k1
QUEUED
127.0.0.1:9736> incr k1
QUEUED
127.0.0.1:9736> incr k1
QUEUED
127.0.0.1:9736> get k1
QUEUED
127.0.0.1:9736> exec
1) "10"
2) (integer) 11
3) (integer) 12
4) "12"

2. 放弃事务 discard

127.0.0.1:9736> get k1
"10"
127.0.0.1:9736> MULTI
OK
127.0.0.1:9736> incr k1
QUEUED
127.0.0.1:9736> incr k1
QUEUED
127.0.0.1:9736> discard
OK
127.0.0.1:9736> get k1
"10"

3. 全体连坐

一个命令错误，类似java设计时出错，全体连坐，都不执行

127.0.0.1:9736> get k1
"10"
127.0.0.1:9736> multi
OK
127.0.0.1:9736> set name z3
QUEUED
127.0.0.1:9736> get name
QUEUED
127.0.0.1:9736> incr k1
QUEUED
127.0.0.1:9736> get k1
QUEUED
127.0.0.1:9736> set email
(error) ERR wrong number of arguments for 'set' command
127.0.0.1:9736> exce
(error) ERR unknown command `exce`, with args beginning with: 
127.0.0.1:9736> exec
(error) EXECABORT Transaction discarded because of previous errors.
127.0.0.1:9736> get name
(nil)
127.0.0.1:9736> get k1
"10"

4. 冤头债主

设计时没问题，运行时报错对的执行，错误的抛出

127.0.0.1:9736> multi
OK
127.0.0.1:9736> set age 10
QUEUED
127.0.0.1:9736> incr age 
QUEUED
127.0.0.1:9736> set email abc@123.com
QUEUED
127.0.0.1:9736> incr email
QUEUED
127.0.0.1:9736> get age
QUEUED
127.0.0.1:9736> exec
1) OK
2) (integer) 11
3) OK
4) (error) ERR value is not an integer or out of range
5) "11"
127.0.0.1:9736> get age
"11"
127.0.0.1:9736> get email
"abc@123.com"

5. watch监控

5.1 悲观锁

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

5.2. 乐观锁：

每次去拿数据的时候都认为别人不会修改，所以不会上锁，但是在更新的时候会判断一下在此期间别人有没有去更新这个数据，可以使用版本号等机制。乐观锁适用于多度的应用类型，这样可以提高吞吐量。

乐观锁策略：提交版本必须大于记录当前版本才能执行更新。

5.3 CAS（Check And Set）

5.4 案例初始化信用卡可用余额和欠额

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

1.开启事务A但没提交

127.0.0.1:9736> get balance
"80"
127.0.0.1:9736> watch balance 
OK
127.0.0.1:9736> multi 
OK
127.0.0.1:9736> decrby balance 20
QUEUED
127.0.0.1:9736> incrby debt 20

2. 事务中间有其他人B操作balance

127.0.0.1:9736> get balance
"80"
127.0.0.1:9736> set balance 800
OK

3. 此时事务A提交。exec 结果失败。因为balance 已经被改

127.0.0.1:9736> exec
(nil)
127.0.0.1:9736> get balance
"800"

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

unwatch 案例

A 监控balance 并在事务中提交，一旦执行了exec，之前加的监控锁都会被打断

127.0.0.1:9736> watch balance
OK
127.0.0.1:9736> set balance 200
OK
127.0.0.1:9736> set balance 350
OK
127.0.0.1:9736> unwatch
OK
127.0.0.1:9736> multi
OK
127.0.0.1:9736> set balance 100
QUEUED
127.0.0.1:9736> set debt 0
QUEUED
127.0.0.1:9736> exec
1) OK
2) OK

B 在A事务提交后进行获取