Redis - 事务隔离机制

Redis 的事务的本质是 一组命令的批处理 。这组命令在执行过程中会被顺序地、一次性
全部执行完毕,只要没有出现语法错误,这组命令在执行期间是不会被中断。
当事务中的命令出现语法错误时,整个事务在 exec 执行时会被取消。

如果事务中的命令没有语法错误,但在执行过程中出现异常,该异常不会影响其它命令
的执行。(比如incrby一个字符)
Redis 的事务仅保证了数据的一致性,不具有像 DBMS 一样的 ACID 特性。
 这组命令中的某些命令的执行失败不会影响其它命令的执行,不会引发回滚。即不具备
原子性。
 这组命令通过乐观锁机制实现了简单的隔离性。没有复杂的隔离级别。
 这组命令的执行结果是被写入到内存的,是否持久取决于 Redis 的持久化策略,与事务
无关。
Redis 事务通过三个命令进行控制。
 muti :开启事务
 exec :执行事务
 discard :取消事务

在并发场景下可能会出现多个客户端对同一个数据进行修改的情况。

例如:有两个客户端 C 左与 C 右, C 左需要申请 40 个资源, C 右需要申请 30 个资源。
它们首先查看了当前拥有的资源数量,即 resources 的值。它们查看到的都是 50 ,都感觉资
源数量可以满足自己的需求,于是修改资源数量,以占有资源。但结果却是资源出现了"超
卖"情况。
为了解决这种情况, Redis 事务通过乐观锁机制实现了多线程下的执行隔离。
Redis 通过 watch 命令再配合事务实现了多线程下的执行隔离。

其内部的执行过程如下: 1) 当某一客户端对 key 执行了 watch 后,系统就会为该 key 添加一个 version 乐观锁,并
初始化 version 。例如初值为 1.0 。
2) 此后客户端 C 左将对该 key 的修改语句写入到了事务命令队列中,虽未执行,但其将该
key 的 value 值与 version 进行了读取并保存到了当前客户端缓存。此时读取并保存的是
version 的初值 1.0 。
3) 此后客户端 C 右对该 key 的值进行了修改,这个修改不仅修改了 key 的 value 本身,同
时也增加了 version 的值,例如使其 version 变为了 2.0 ,并将该 version 记录到了该 key
信息中。
4) 此后客户端 C 左执行 exec ,开始执行事务中的命令。不过,其在执行到对该 key 进行修
改的命令时,该命令首先对当前客户端缓存中保存的 version 值与当前 key 信息中的
version 值。如果缓存 version 小于 key 的 version ,则说明客户端缓存的 key 的 value 已
经过时,该写操作如果执行可能会破坏数据的一致性。所以该写操作不执行。

相关推荐
辻弋20136 分钟前
一键优化电源计划、游戏模式、独显强制、禁用后台录制——DeltaForceBooster专治三角洲行动卡顿掉帧,所有改动可一键还原
服务器·数据库·windows·游戏·电脑·php
QQ_216962909636 分钟前
【项目编号:project95315】SpringBoot公共自习室管理系统:座位预约、房间管理、签到核销、公告规则完整实战
java·spring boot·后端
嵌入式阿蔡1 小时前
面试高频考点 01:volatile / 中断 / 堆栈 八股精讲
java·面试·职场和发展·嵌入式实时数据库
秋饼1 小时前
LangChain4j + Java 实现企业级 Text-to-SQL 智能问数系统:从自然语言到安全可控的数据洞察
java·ai·技术分享·后端开发
Wang's Blog1 小时前
PostgreSQL笔记51: 基于 pgvector 构建企业级智能问答系统
数据库·笔记·postgresql
Escalating_xu1 小时前
【C++ STL简介】从六大组件到容器、迭代器与算法协作
java·c++·算法
何以解忧,唯有..2 小时前
Python os模块详解:文件与目录操作指南
java·服务器·python
我星期八休息2 小时前
Linux—五种IO模型与非阻塞IO
linux·运维·服务器·网络·数据库·网络协议
Csxyzj2 小时前
kubernetes集群部署方法
java·linux·kubernetes
SQL-First布道者2 小时前
全面解构传统持久层框架,拥抱真正的 SQL-First
java·数据库·spring boot·sql·spring·mybatis·spring jdbc