Redis中的事务和watch(乐观锁)

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

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

所有的命令在事务中，并没有直接被执行!只有发起执行命令的时候才会执行!Exec的时候，操作像是在压栈一样

Redis事务没有没有隔离级别的概念，所以不会存在脏读幻读重复读

三个特性：

一次性、顺序性、排他性

事务执行流程

1.开启事务==》multi
2.命令入队
3.提交事务==》exec

127.0.0.1:6379> multi  #开启事务
OK
#命令入队
127.0.0.1:6379> set key1 1
QUEUED
127.0.0.1:6379> set key2 2
QUEUED
127.0.0.1:6379> get key1
QUEUED
127.0.0.1:6379> set key3 3
QUEUED
127.0.0.1:6379> exec  #执行事务
1) OK
2) OK
3) "1"
4) OK

这儿分两个异常：

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> set k3 v3
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)

运行时异常(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  #字符串自增，抛出异常
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) (error) ERR value is not an integer or out of range  #只有错误的不执行
2) OK  #其他执行
3) OK
4) "v3"

所以事务没有原子性

watch

watch本身就是乐观锁
悲观锁︰
很悲观，认为什么时候都会出问题，无论做什么都会加锁
乐观锁:
很乐观，认为什么时候都不会出问题，所以不会上锁!更新数据的时候去判断一下，在此期间是否有人修改过这个数据，获取version，更新的时候比较version，这种涉及到ABA问题

#正常执行成功
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
#######################################
#线程1
127.0.0.1:6379> WATCH money  #监视money 
OK
127.0.0.1:6379> MULTI
OK
127.0.0.1:6379> DECRBY money 10
QUEUED
127.0.0.1:6379> INCRBY out 10
QUEUED
#线程2修改了money再提交
#执行之前，另外一个线程，修改了我们的值，这个时候，就会导致事务执行失败
127.0.0.1:6379> EXEC  
(nil)
############################
#线程2
127.0.0.1:6379> get money
"80"
127.0.0.1:6379> set money 1000  #修改了钱为1000
OK
###########################
#执行失败会自动解锁，然后再加锁，就是watch，重新监视，重新提交事务

ABA问题不会存在

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