redis事务

事务
在mysql中：事务有ACID四原则！
一组事务，要么同时成功，要么同时失败，这是事务的原子性！

redis的事务：
redis事务的本质：一组命令的集合！一个事务中的所有命令都会被序列化，在事务的执行过程中会按照顺序执行！(所有的命令在事务中并不会立即执行，只有发起执行命令的时候才会开始执行)

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

redis的事务：

• 开启事务（MULTI）
• 命令入队（.....）
• 执行事务（exec）：按照入队的顺序依次执行命令
• 放弃事务（DISCARD）

正常执行事务

127.0.0.1:6379[1]> MULTI  #开启事务
OK
#命令入队
127.0.0.1:6379[1](TX)> set v1 k1
QUEUED
127.0.0.1:6379[1](TX)> set v2 k2
QUEUED
127.0.0.1:6379[1](TX)> set p1 f1
QUEUED
127.0.0.1:6379[1](TX)> get p1
QUEUED
127.0.0.1:6379[1](TX)> exec #执行事务
1) OK
2) OK
3) OK
4) "f1"

放弃事务 DISCARD 放弃事务后，这个事务里面的所有命令都不会被执行

127.0.0.1:6379[1]> MULTI  #开启事务
OK
127.0.0.1:6379[1](TX)> set t1 w1
QUEUED
127.0.0.1:6379[1](TX)> set t2 w2
QUEUED
127.0.0.1:6379[1](TX)> DISCARD #放弃事务
OK
127.0.0.1:6379[1]> get t2
(nil)

事务中会出现两种错误

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

127.0.0.1:6379[1]> MULTI 
OK
127.0.0.1:6379[1](TX)> set v1 k1
QUEUED
127.0.0.1:6379[1](TX)> set v2 k2
QUEUED
127.0.0.1:6379[1](TX)> getset v #遇到错误命令
(error) ERR wrong number of arguments for 'getset' command
127.0.0.1:6379[1](TX)> set v3 k3
QUEUED
127.0.0.1:6379[1](TX)> exec  #执行事务报错
(error) EXECABORT Transaction discarded because of previous errors.
127.0.0.1:6379[1]> get v1  #说明所有的命令都没有执行
(nil)

运行时异常（语法有错，编译没问题，运行才会出现问题），如果事务队列中存在语法性错误，那么执行命令的时候其他命令是可以正常执行的，错误命令抛出异常

127.0.0.1:6379[1]> multi #开启事务
OK
127.0.0.1:6379[1](TX)> set k1 "v1"
QUEUED
127.0.0.1:6379[1](TX)> incr k1 #这里给一个string字符串类型的数据自增1，运行肯定报错
QUEUED
127.0.0.1:6379[1](TX)> set k2 v2
QUEUED
127.0.0.1:6379[1](TX)> set k3 v3
QUEUED
127.0.0.1:6379[1](TX)> get k2
QUEUED
127.0.0.1:6379[1](TX)> exec #执行事务
1) OK
2) (error) ERR value is not an integer or out of range #该条命令抛出异常，其他命令正常执行
3) OK
4) OK
5) "v2"

---

监控！ Watch （redis中的乐观锁就用watch来监视）

watch监视键值对，作用时如果事务提交exec时发现监视的监视对发生变化，事务将被取消。

悲观锁：

• 认为所有操作都会出现问题，无论做什么都会加锁！（严重影响效率）
  ························································································

乐观锁：

• 认为所有操作都不会出现问题，所以不会上锁！更新数据的时候去判断一下，在此期间是否有人修改过这个数据。
• 获取version
• 更新的时候比较version

redis监控测试

正常执行成功

127.0.0.1:6379[1]> set money 100 #设置一个对象，存储100块钱
OK
127.0.0.1:6379[1]> set out 0  #存储0块钱
OK
127.0.0.1:6379[1]> watch money #监控money对象
OK
127.0.0.1:6379[1]> MULTI #开启事务
OK
127.0.0.1:6379[1](TX)> DECRby money 50 #将money的值减去50
QUEUED
127.0.0.1:6379[1](TX)> incrby out 20 #将money的值加上20
QUEUED
127.0.0.1:6379[1](TX)> exec #执行事务  ==>正常执行
1) (integer) 50
2) (integer) 20
127.0.0.1:6379[1]> get money  操作结果也一切正常
"50"
127.0.0.1:6379[1]> get out
"20"

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

127.0.0.1:6379[1]> set money 100
OK
127.0.0.1:6379[1]> set out 0
OK
127.0.0.1:6379[1]> watch money #监控money这个对象
OK
127.0.0.1:6379[1]> MULTI #开启事务
OK
127.0.0.1:6379[1](TX)> DECRBY money 30 #将money增加30
QUEUED
127.0.0.1:6379[1](TX)> INCRBY out 40 #将out增加40
QUEUED

##################################################这个时候插入另外一个线程
127.0.0.1:6379[1]> get money
"100"
127.0.0.1:6379[1]> set money 2000  #重置money为2000
OK
##################################################
127.0.0.1:6379[1](TX)> exec # 执行事务  执行失败，因为money在被监控中，监控到money在执行过程中被改变了
(nil)
127.0.0.1:6379[1]> get money
"2000"
127.0.0.1:6379[1]> get out
"0"

如果修改失败，那么解锁，然后获取最新的值，重新执行（监视值没有发生变化那么就可以执行成功）

image.png