Redis-事务

Redis 事务本质

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

一次性 、 顺序性 、 排他性

Redis事务没有隔离级别的概念

所有命令事务中，并没有直接被执行，只有发起执行命令后才会被执行

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

Redis事务

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

正常执行事务（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 k1
QUEUED
127.0.0.1:6379> set k3 v3
QUEUED

# 执行事务
127.0.0.1:6379> exec
1) OK
2) OK
3) "v1"
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 k2 v2
QUEUED
127.0.0.1:6379> get k1
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> get k2
(nil)
127.0.0.1:6379> get k3
(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.

运行时异常（比如 1 / 0），如果事务中存在语法性，那么执行命令时，其他命令可以被执行，错误命令抛出异常

# 添加一个key value
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> 

监控（watch）

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

乐观锁：很乐观，认为任何时候都不会出问题，所以不会上锁，更新数据的时候取判断以下，在此期间是否有人更改过数据

Redis 实现乐观锁： 利用watch来监控key是否在执行过程中发生改变 ，如果发生改变，则不执行。
正常执行：

# 初始钱数为100
127.0.0.1:6379> set money 100
OK

# 支出钱数为0
127.0.0.1:6379> set out 0 
OK

# 监视钱数money
127.0.0.1:6379> watch money
OK

# 开启事务
127.0.0.1:6379> multi
OK

# 初始钱数减少20 
127.0.0.1:6379> decrby money 20
QUEUED

# 指出钱数增加20
127.0.0.1:6379> incrby out 20
QUEUED

# 执行事务 
# 数据期间没有发生改动，这时候正常执行
127.0.0.1:6379> exec
1) (integer) 80
2) (integer) 20
127.0.0.1:6379> 

执行期间数据发生改动：

首先我们先将命令入列，但不执行事务，在用一个redis-cli 连接服务端
修改money的值 ，之后在执行事务。

127.0.0.1:6379> set money 100
OK
127.0.0.1:6379> set out 0
OK

# 监控money
127.0.0.1:6379> watch 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

# 执行事务 （在执行事务前，我们通过另一个连接修改money值）
# 事务执行失败
127.0.0.1:6379> exec
(nil)

另一个连接 修改了money值

127.0.0.1:6379> get money
"100"
127.0.0.1:6379> incrby money 100
(integer) 200

如果事务执行失败，获取最新的值即可

因为我们在执行事务时，监控到money的值发生了变化，所以事务执行失败
我们只需要解锁money监控，重新监控就可以呃

# 因为发生变化 事务执行失败
127.0.0.1:6379> exec
(nil)

# 解除money监控
127.0.0.1:6379> unwatch
OK

# 监控money
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
1) (integer) 190
2) (integer) 10