Redis基本的事务操作与实现乐观锁

事务

1. Redis单条命令是保存原子性的，但是事务不保证原子性！
2. Redis事务本质：一组命令的集合！一个事务中的所有命令都会被序列化，在事务执行过程中，会按照顺序执行！
3. 一次性、顺序性、排他性！执行一系列的命令！

----------队列 set set set 执行--------
set
set
set

----------队列

4. Redis事务没有隔离级别的概念！
5. 所有的命令在事务中，并没有直接被执行！只有发起执行命令的时候才会执行！
6. Redis单条命令式保存原子性的，但是事务不保证原子性！

---

redis的事务：

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

> #正常执行事务！
>127.0.0.1:6379> multi #开启事务
OK
127.0.0.1:6379(TX)> set k1 v1
QUEUED
127.0.0.1:6379(TX)> set k2 v2
QUEUED
127.0.0.1:6379(TX)> get k2
QUEUED
127.0.0.1:6379(TX)> set k3 v3
QUEUED
127.0.0.1:6379(TX)> exec #执行事务
	1) OK
	2) OK
	3) "v2"
	4) OK

>  #放弃事务
> 127.0.0.1:6379> multi  #开启事务
OK
127.0.0.1:6379(TX)> set k4 v4
QUEUED
127.0.0.1:6379(TX)> set k5 v5
QUEUED
127.0.0.1:6379(TX)> set k6 v6
QUEUED
127.0.0.1:6379(TX)> DISCARD #取消事务
OK
127.0.0.1:6379> get k4 #事务队列中命令都不会被执行！
(nil)
127.0.0.1:6379> get k5
(nil)

编译型异常（代码有问题！命令有错！），事务中所有的命令都不会被执行！

127.0.0.1:6379> multi
OK
127.0.0.1:6379(TX)> set k1 v1
QUEUED
127.0.0.1:6379(TX)> set k2 v2
QUEUED
127.0.0.1:6379(TX)> set k3 v3
QUEUED
127.0.0.1:6379(TX)> getset k4 #错误的命令
(error) ERR wrong number of arguments for 'getset' command
127.0.0.1:6379(TX)> set k4 v4
QUEUED
127.0.0.1:6379(TX)> set k5 v5
QUEUED
127.0.0.1:6379(TX)> exec #执行事务报错！
(error) EXECABORT Transaction discarded because of previous errors.
127.0.0.1:6379> get k4 #事务中所有的命令都不会被执行！
(nil)
127.0.0.1:6379> get k1
(nil)

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

127.0.0.1:6379> set k1 v1
OK
127.0.0.1:6379> multi
OK
127.0.0.1:6379(TX)> incr k1
QUEUED
127.0.0.1:6379(TX)> set k2 v2
QUEUED
127.0.0.1:6379(TX)> set k3 v3
QUEUED
127.0.0.1:6379(TX)> get k3
QUEUED
127.0.0.1:6379(TX)> 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 k2
"v2"
127.0.0.1:6379> get k3
"v3"

监控！

悲观锁：

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

乐观锁：

• 很乐观，认为什么时候都不会出现问题，所以不会上锁！更新数据的时候去判断一下，在此期间是否有人修改过这个数据，
• version！
• 获取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(TX)> DECRBY money 20
QUEUED
127.0.0.1:6379(TX)> INCRBY out 20
QUEUED
127.0.0.1:6379(TX)> exec
1) (integer) 80
2) (integer) 20

测试多线程修改值，使用watch可以当做redis的乐观锁操作！
线程1在执行exec提交之前执行线程二的结果就是exec无法执行:

127.0.0.1:6379> watch money #监视 money
OK
127.0.0.1:6379> multi
OK
127.0.0.1:6379(TX)> DECRBY money 10
QUEUED
127.0.0.1:6379(TX)> INCRBY OUT 10
QUEUED
127.0.0.1:6379(TX)> exec #执行之前，另外一个线程，修改了我们监视的值，这个时候，就会导致失败
(nil)

127.0.0.1:6379> get money
"80"
127.0.0.1:6379> set money 1000
OK

利用watch关键字可以执行乐观锁的操作。watch（面试常问！）

UNWATCH解锁操作

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(TX)> DECRBY money 1
QUEUED
127.0.0.1:6379(TX)> INCRBY money 1
QUEUED
127.0.0.1:6379(TX)> exec #对比监视的值是否发生了变化，如果没有变化，那么可以执行成功，如果监视的值发生改变就执行失败。
1) (integer) 999
2) (integer) 1000

如果修改失败，获取最新的值重新操作就好