redis 事务

redis 事务的本质：一组命令的集合！一个事务中的所有命令都会被序列化，在事务执行的过程中，会被安装顺序执行。

一次性、顺序性、排他性，执行一系列的命令。

redis事务没有隔离级别的概念。

所有的命令在事务中，并没有直接被执行，只有发起执行命令(exec)的时候才会被执行。

redis单条命令式保存原子性，但是事务不保证原子性。

redis的事务：

• 开启事务（multi）
• 命令入队
• 执行事务（exec）
• 放弃事务（discard）

正常执行事务

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

放弃事务

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> discard  #放弃事务
OK
127.0.0.1:6379> get k1
(nil)

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

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> getset k1  #错误的命令
(error) ERR wrong number of arguments for 'getset' command
127.0.0.1:6379> set k3 v3
QUEUED
127.0.0.1:6379> exec  #执行事务报错
(error) EXECABORT Transaction discarded because of previous errors.
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> 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 k2
QUEUED
127.0.0.1:6379> 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 k2 
"v2"
127.0.0.1:6379> get k3
"v3"

 

监控 watch

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

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

正常执行成功

127.0.0.1:6379> set money 100
OK
127.0.0.1:6379> set out 10
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) 30
127.0.0.1:6379> get money
"80"
127.0.0.1:6379> get out
"30"
127.0.0.1:6379> 

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
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> unwatch  #1，如果发现事务执行失败，就先解锁
OK
127.0.0.1:6379> watch money #2，获取最新的值，再次监视
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  #3，比对监视的值是否发生了变化，如果没有变化，那么可以执行成功，如果变化就执行失败
1) (integer) 80
2) (integer) 10