Redis中的事务和监控（乐观锁）

事务

Redis事务本质：

一组命令的集合。一个事务中的所有命令都会被序列化，在事务执行过程中，会按顺序执行。

Redis事务的特性：

• 一次性
• 顺序性
• 排他性

Redis事务没有隔离级别的概念

所有的命令在事务中并没有直接被执行，只有发起执行命令的时候才会执行 Exec

Redis单条命令是保证原子性的，但是事务是不保证原子性的！

Redis的事务

1. 开启事务（multi）
2. 命令入队（....）
3. 执行事务（exec）

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> set k3 v3
QUEUED
127.0.0.1:6379> get k3
QUEUED
127.0.0.1:6379> exec  #执行事务
1) OK
2) OK
3) OK
4) "v3"

放弃事务

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> set k4 v4
QUEUED
127.0.0.1:6379> discard    #取消事务
OK
127.0.0.1:6379> get k4    #事务队列中的命令都不会被执行
(nil)

两种异常

1、编译异常（命令有错），事务中所有命令都不会被执行

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> getset k3   #错误命令
(error) ERR wrong number of arguments for 'getset' command
127.0.0.1:6379> set k4 v4
QUEUED
127.0.0.1:6379> exec  #执行是事务报错
(error) EXECABORT Transaction discarded because of previous errors.
127.0.0.1:6379> get k4   #所有的命令都不会执行
(nil) 

2、运行时异常(1/0),如果事务队列中存在语法性，那么执行命令的时候，其他命令都是可以正常执行的，错误命令抛出异常。

127.0.0.1:6379> set k1 "v1"
OK
127.0.0.1:6379> multi
OK
127.0.0.1:6379> incr k1  #字符串自增1 会执行失败
QUEUED
127.0.0.1:6379> set k2 v2
QUEUED
127.0.0.1:6379> set k3 v3
QUEUED
127.0.0.1:6379> exec
1) (error) ERR value is not an integer or out of range  #虽然第一条命令报错了，但是还是正常执行成功了
2) OK
3) OK
127.0.0.1:6379> get k2
"v2"

监控 Watch （面试常问）

悲观锁：

很悲观，认为什么时候都会出现问题，无论做什么都会加锁

乐观锁：

很乐观，认为什么时候都不会出问题，所以不会上锁，更新数据的时候去判断一下，在此期间是否有人修改过这个数据。

watch使用

• 获取version
• 更新的时候比较version
• Redis测监视测试

正常执行成功：

127.0.0.1:6379> set money 100
OK
127.0.0.1:6379> set out 0
OK
127.0.0.1:6379> watch money   #监视money对象
OK
127.0.0.1:6379> multi  #事务正常结束，数据期间没有发生改变，这个时候正常执行成功！
OK
127.0.0.1:6379> decrby money 20
QUEUED
127.0.0.1:6379> incrby out 20
QUEUED
127.0.0.1:6379> exec
1) (integer) 80
2) (integer) 20

测试多线程修改值，使用watch可以当作redis的乐观锁操作

127.0.0.1:6379> watch money   #监视money
OK
127.0.0.1:6379> multi
OK
127.0.0.1:6379> decrby moeney 10
QUEUED
127.0.0.1:6379> incrby out 10
QUEUED
127.0.0.1:6379> exec   #执行之前，另外一个线程修改了money的值，就会导致事务执行失败！
(nil)

修改失败：

1. 如果发现事务执行失败，就先解锁
2. 获取最新的值，再次监视
3. 比对监视的值是否发生变化，如果没有发生变化，可以执行，如果变化就执行失败，继续解锁再次监视。

127.0.0.1:6379> unwatch   #如果发现事务执行失败，就先解锁
OK
127.0.0.1:6379> watch money    #获取最新的值，再次监视
OK
127.0.0.1:6379> multi
OK
127.0.0.1:6379> decrby money 60
QUEUED
127.0.0.1:6379> incrby out 60
QUEUED
127.0.0.1:6379> exec  #比对监视的值是否发生变化，如果没有发生变化，可以执行，如果变化就执行失败，继续解锁再次监视。
1) (integer) 1020
2) (integer) 80