Redis事务及乐观锁的实现

Redis事务

执行流程

• 开启事务 multi
• 命令入队
  • set k1 v1
  • set k2 v1
  • …
• 执行事务 exec

注：Redis单条命令是原子性的，但事务是不满足原子性的

Redis事务命令

1. multi

标记一个事务队列的开始

2. exec

执行事务队列中的所有命令

3. discard

取消事务，放弃事务队列中的所有命令

4. watch key [key]...（乐观锁）

监视一个或多个key,如果在事务执行之前被监视的key被其他命令所改动，那么事务将被打断

5. unwatch

取消watch命令对所有key的监视

编译型异常、运行时异常

1. 编译型异常：代码有问题，在事务中输入不存在的命令，则执行事务时事务队列中所有的命令都不会执行！

127.0.0.1:6379> multi
OK
127.0.0.1:6379> set k1 v1
QUEUED
127.0.0.1:6379> sett k2 v2
(error) ERR unknown command `sett`, with args beginning with: `k2`, `v2`, 
127.0.0.1:6379> set k3 v3
QUEUED
127.0.0.1:6379> exec
(error) EXECABORT Transaction discarded because of previous errors.
127.0.0.1:6379> keys *
(empty array)

2. 运行时异常：事务队列中存在语法性错误（如：让字符串进行加减运算），那么执行事务时该条命令抛出异常，队列中其余正确的命令仍会执行！（故Redis事务不满足原子性）

127.0.0.1:6379> set k1 v1
OK
127.0.0.1:6379> multi
OK
127.0.0.1:6379> set k2 v2
QUEUED
127.0.0.1:6379> incr k1
QUEUED
127.0.0.1:6379> set k3 v3
QUEUED
127.0.0.1:6379> exec
1) OK
2) (error) ERR value is not an integer or out of range
3) OK
127.0.0.1:6379> keys *
1) "k3"
2) "k2"
3) "k1"

乐观锁和悲观锁

悲观锁, 顾名思义，就是很悲观，每次去拿数据的时候都认为别人会修改，所以每次在拿数据的时候都会上锁，这样别人想拿这个数据就会block直到它拿到锁。传统的关系型数据库里边就用到了很多这种锁机制，比如行锁，表锁等，读锁，写锁等，都是在做操作之前先上锁。它指的是对数据被外界（包括本系统当前的其他事务，以及来自外部系统的事务处理）修改持保守态度，因此，在整个数据处理过程中，将数据处于锁定状态。

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

Redis实现乐观锁

使用watch监视一个或多个key,如果在事务执行之前被监视的key被其他线程中的命令所改动，那么事务将执行失败！

示例：

正常执行：

127.0.0.1:6379> set money 100
OK
127.0.0.1:6379> watch money
OK
127.0.0.1:6379> multi
OK
127.0.0.1:6379> decrby money 10
QUEUED
127.0.0.1:6379> exec
1) (integer) 90
127.0.0.1:6379> get money
"90"

被线程二打断

# 主线程
127.0.0.1:6379> set money 100
OK
127.0.0.1:6379> watch money
OK
127.0.0.1:6379> multi
OK
127.0.0.1:6379> decrby money 10  # 此时线程二修改money的值
QUEUED
127.0.0.1:6379> exec 
(nil)
127.0.0.1:6379> get money  # 事务执行失败
"200"

# 线程二
127.0.0.1:6379> get money
"100"
127.0.0.1:6379> set money 200
OK

事务执行后，无论事务执行成功与否，若想继续对money字段上乐观锁，需重新监视（watch money）