Redis之事务，锁--狂神说

事务

MySQL：ACID
Redis单条命令是保证原子性（要么同时成功，要么同时失败）的，但是事务不保证原子性。
Redis事务没有隔离级别的概念。所有的命令在事务中并没有直接执行，只有发起执行命令的时候才会执行。Exec
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)> set k3 v3
QUEUED
#执行事务
127.0.0.1:6379(TX)> exec
1) OK
2) OK
3) OK
#放弃事务的操作
127.0.0.1:6379> multi  #首先开启事务
OK
127.0.0.1:6379(TX)> set c1 c2  #接着命令入队 
QUEUED
127.0.0.1:6379(TX)> set c2 c3
QUEUED
127.0.0.1:6379(TX)> set c3 c4
QUEUED
127.0.0.1:6379(TX)> discard  #放弃事务
OK
127.0.0.1:6379> get c3
(nil)

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

127.0.0.1:6379> multi
OK
127.0.0.1:6379(TX)> set g1 h1
QUEUED
127.0.0.1:6379(TX)> set g2 h2
QUEUED
127.0.0.1:6379(TX)> set g3 h3
QUEUED
127.0.0.1:6379(TX)> getset g1  #错误命令
(error) ERR wrong number of arguments for 'getset' command
127.0.0.1:6379(TX)> set g4 h4
QUEUED
127.0.0.1:6379(TX)> exec  #执行事务报错
(error) EXECABORT Transaction discarded because of previous errors.
127.0.0.1:6379> get g4  #所有命令不会被执行
(nil)

运行时异常（1/0），事务对列中存在语法性错误，那执行命令的时候其他命令是可以正常执行的，错误命令抛出异常

127.0.0.1:6379> set j1 "first"
OK
127.0.0.1:6379> multi
OK
127.0.0.1:6379(TX)> incr j1  #执行时会失败
QUEUED
127.0.0.1:6379(TX)> set j2 v2
QUEUED
127.0.0.1:6379(TX)> set j3 v3
QUEUED
127.0.0.1:6379(TX)> get j2
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) "v2"
127.0.0.1:6379> get j2
"v2"
127.0.0.1:6379> get j3
"v3"

监控（watch）

悲观锁：很悲观，认为什么时候都会出问题，无论做什么都加锁
乐观锁（watch）：很乐观，认为什么时候都不会出问题，所以不会上锁，更新数据的时候去判断一下，在此期间是否有人修改过这个数据。获取version，更新的时候比较version
Redis监视测试

#正常执行成功情况
127.0.0.1:6379> set money 10
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 4  #减去4元
QUEUED
127.0.0.1:6379(TX)> incrby money 12 #加上12元
QUEUED
127.0.0.1:6379(TX)> exec
1) (integer) 6
2) (integer) 18

如果正在执行的时候插入了另一个线程。再开启一个线程来测试
测试多线程修改值，使用watch可以当做redis的乐观锁操作

如果修改失败，获取最新值即可

127.0.0.1:6379> unwatch   #如果发现事务执行失败，就先解锁
OK
127.0.0.1:6379> watch money  #获取最新的值，再次监视，select version
OK
127.0.0.1:6379> incrby out 5
(integer) 5
127.0.0.1:6379> decrby money 2
(integer) 18
127.0.0.1:6379> decrby money 7
(integer) 11
127.0.0.1:6379> incrby out 9
(integer) 14
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 12
QUEUED
127.0.0.1:6379(TX)> incrby monry 45
QUEUED
127.0.0.1:6379(TX)> exec #比对监视的值是否发生了变化，如果没有变化，那么可以执行成功，如果变量就执行失败
1) (integer) -1
2) (integer) 45