Redis事务的本质和执行过程

最新推荐文章于 2022-11-16 08:44:54 发布

ZZYSY~

最新推荐文章于 2022-11-16 08:44:54 发布

阅读量176

点赞数

分类专栏： Redis 文章标签： redis 数据库 nosql

本文链接：https://blog.csdn.net/weixin_46116099/article/details/122893085

版权

Redis 专栏收录该内容

13 篇文章 3 订阅

订阅专栏

本文详细介绍了Redis的事务特性，包括一次性、顺序性和排他性，以及其不保证原子性的特点。通过实例展示了事务的开启、执行和放弃过程，以及在遇到错误时的行为。此外，还探讨了Redis的乐观锁机制，通过`WATCH`命令实现类似的功能，以确保数据在并发环境下的一致性。

摘要由CSDN通过智能技术生成

事务的本质

一组命令的集合，一个事务中的所有命令都会被序列化，在事务的执行过程中，会按照顺序执行
一次性、顺序性、排他性，执行一系列的命令
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> 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> 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> set k5 v5
QUEUED
127.0.0.1:6379> exec #执行事务报错
(error) EXECABORT Transaction discarded because of previous errors.
127.0.0.1:6379> get k5 #所有命令都不会执行
(nil)
127.0.0.1:6379>

运行时异常（不保证原子序），如果队列中存在语法型错误，那么执行命令的时候，其他命令是可以正常执行的，错误命令会抛出异常：

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 k3
QUEUED
127.0.0.1:6379> exec
#虽然第一条命令报错了，但是仍然执行成功了
1) (error) ERR value is not an integer or out of range 
2) OK
3) OK
4) "v3"
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

Redis乐观锁：

# 测试多线程修改值，使用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 #执行之前线程2修改了money，导致事务执行失败
(nil)

# 线程2：
127.0.0.1:6379> get money
"80"
127.0.0.1:6379> set money 1000
OK

# 如果修改失败，获取最新的值就好
# 线程1：
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 1
QUEUED
127.0.0.1:6379> incrby out 1
QUEUED
127.0.0.1:6379> exec #比对监视的值是否发生变化，如果没有变化，可以执行成功，如果变化了，执行失败
1) (integer) 999
2) (integer) 21