Redis基本的事务操作和乐观锁

Redis事务操作

Redis事务本质：
一组命令的集合（一组命令一起执行）！一个事务中的所有命令都会被序列化，在事务执行过程中，会按照顺序执行。
一次性、顺序性、排他性（事务在执行时不允许被干扰）执行一系列的命令

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

所有命令在事务中并没有直接执行！只有发起执行命令时才会执行！所以Redis事务没有隔离级别的概念！

提到事务我们最先想到的就是原子性，也就是大家常说的要么同时成功要么同时失败，在Redis中单条命令是可以保证原子性的，但事务不保证原子性！

Redis执行事务：

• 开启事务 (MULTI)
• 命令入队 (…)
• 执行事务(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> get k2 #命令入队
QUEUED
127.0.0.1:6379> set k3 v3 #命令入队
QUEUED
127.0.0.1:6379> exec      #执行事务
1) OK
2) OK
3) "v2"
4) OK

• 放弃事务 (DISCARD)

127.0.0.1:6379> MULTI
OK
127.0.0.1:6379> set k1 v1
QUEUED
127.0.0.1:6379> set k4 v4
QUEUED
127.0.0.1:6379> DISCARD  	#放弃事务 事务队列中的命令不会被执行
OK
127.0.0.1:6379>

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

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>

运行时异常（1/0）如果事务队列中存在语法性异常，那么执行命令的时候，其他命令是可以正常执行的，错误命令抛出异常。证明Redis事务是不保证原子性的。

127.0.0.1:6379> MULTI
OK
127.0.0.1:6379> set k1 "v1"  #设置一个字符串的值
QUEUED
127.0.0.1:6379> incr k1      #自增1  因为是字符串的值所以会报错
QUEUED
127.0.0.1:6379> set k2 v2
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> get k1
"v1"
127.0.0.1:6379> get k2
"v2"

Redis锁：（Watch）

• 悲观锁
  很悲观，认为什么时候都会有问题，无论做什么都会加锁，会很影响性能。
• 乐观锁
  很乐观，认为什么时候都不会出问题，无论什么时候都不会加锁！在更新数据的时候去判断一下，在此期间是否有人修改过这个数据。
  1.获取version
  2.更新的时候比较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的乐观锁操作。
线程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
127.0.0.1:6379> exec    #执行之前如果另外的线程修改了我们监视的值 money，这个时候就会导致执行失败
(nil)
127.0.0.1:6379>

线程2：

127.0.0.1:6379> get money  
"80"
127.0.0.1:6379> set money 1000  #在线程1执行之前修改监控的值
OK
127.0.0.1:6379>

执行失败之后处理方式
修改失败获取最新的值

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 5
QUEUED
127.0.0.1:6379> incrby out 1
QUEUED
127.0.0.1:6379> exec   #再次执行如果被监视的值没有变化就执行成功，如果改变了重复此操作
1) (integer) 995
2) (integer) 21
127.0.0.1:6379>