事务

事务

学习视频遇见狂神说

mysql中：ACID(原子性，一致性，隔离性，持久性)

要么同时成功，要么同时失败(原子性)

Redis事务本质：一组命令的集合。

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

事务中每条命令都会被序列化，执行过程中按顺序执行，不允许其他命令进行干扰。

• 一次性
• 顺序性
• 排他性

redis单条命令是保证原子性的，但是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
127.0.0.1:6379> get k2
"v2"
127.0.0.1:6379> get k3
"v3"

放弃事务！

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 k4 v4   # 命令入队
QUEUED
127.0.0.1:6379> DISCARD    # 取消事务
OK
127.0.0.1:6379> get k4   # 事务队列中的命令都不会被执行
(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 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> get k1
(nil)                              # 所有的命令都不会被执行
127.0.0.1:6379> get k4
(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   # k1的值为String类型，会执行失败
QUEUED
127.0.0.1:6379> set k2 v2
QUEUED
127.0.0.1:6379> set k3 v3
QUEUED
127.0.0.1:6379> EXEC
1) (error) ERR value is not an integer or out of range    # 虽然报错了，但事务依旧执行了
2) OK
3) OK
127.0.0.1:6379> get k2
"v2"
127.0.0.1:6379> get k3
"v3"

监控 Watch (面试常问)

悲观锁：

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

乐观锁：

• 很乐观，认为什么时候都不会出问题，所以不会上锁。更新数据的时候判断一下，在此期间是否有人修改过这个数据
• 获取version
• 更新的时候比较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的乐观锁操作

# 线程一

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  # 执行exec之前，先执行线程二
(nil)       # 执行exec之前，另一个线程修改了money的值，就会导致事务执行失败

# 线程二

127.0.0.1:6379> get money  # 获得money的值
"80"
127.0.0.1:6379> set money 1000  # 修改money的值
OK

解决办法

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 200
QUEUED
127.0.0.1:6379> INCRBY out 200
QUEUED
127.0.0.1:6379> EXEC   # 对比监视的值是否发生了变化，如果没变，那么事务执行成功；
1) (integer) 800
2) (integer) 220