知识点思维导图
17 个知识节点
Mysql（03） - 事务、锁与隔离级别
读完后，你应能完成以下任务：
- 绘制“Mysql（03） - 事务、锁与隔离级别 / 事务保护的是业务不变量”的关键对象与数据流，解释“ACID 不是“加上 @Transactional 就安全”。”，并用源码位置、日志或 Trace 标注证据。
- 为“Mysql（03） - 事务、锁与隔离级别 / 隔离级别如何选择”设计正常与异常输入，验证“并通过 Next-Key Lock 处理当前读范围。”，输出首个偏差位置与回归测试结果。
- 实现“Mysql（03） - 事务、锁与隔离级别 / 锁、死锁与超时”的最小代码或配置，检验“两个事务以不同顺序获取资源会形成死锁，InnoDB 会选择一个事务回滚以打破循环。”，输出命令、结果与 Diff，并说明不适用边界。
一、先建立全局：事务、锁与隔离级别 是什么？
理解“事务、锁与隔离级别”，先要把标题中的对象放进同一条处理链：它接收什么输入，经过哪些状态变化，最终用什么证据判断结果。下表不另造概念，只把作者正文已经解释的章节按依赖顺序连起来。
“事务、锁与隔离级别”的第一个核心判断是：ACID 不是“加上 @Transactional 就安全”。。先弄清这个判断中的对象和输入输出，后面的实现、故障和验收才有共同语境。
| 顺序 | 章节 | 读完本节应抓住的结论 |
|---|---|---|
| 1 | 事务保护的是业务不变量 | ACID 不是“加上 @Transactional 就安全”。 |
| 2 | 隔离级别如何选择 | 并通过 Next-Key Lock 处理当前读范围。 |
| 3 | 锁、死锁与超时 | 两个事务以不同顺序获取资源会形成死锁，InnoDB 会选择一个事务回滚以打破循环。 |
| 4 | 实施与排障 | 把事务入口放在明确的应用服务层，列出事务内读写表和必须维持的不变量。 -> 为更新条件建立可选择索引，并让多个流程按相同主键顺序加锁。 -> 设置合理的事务和锁等待超时，禁止请求无限等待。 -> 使用 performance_schema.data_locks、data_lock_waits 和 InnoDB 状态查看等待关系。 |
| 5 | 事务应覆盖必须同时成功或失败的数据库操作 | 事务应覆盖必须同时成功或失败的数据库操作，并保持短小； |
| 6 | 外部 HTTP、文件上传和消息发送不应放在持锁事务里等待 | 外部 HTTP、文件上传和消息发送不应放在持锁事务里等待。 |
1.1 核心对象之间怎样衔接
flowchart LR
S1["事务保护的是业务不变量"] --> S2
S2["隔离级别如何选择"] --> S3
S3["锁、死锁与超时"] --> S4
S4["实施与排障"] --> S5
S5["事务应覆盖必须同时成功或失败的数据库操作"]
这张图只表达本文的讲解顺序，不替代正文机制。判断“事务、锁与隔离级别”是否真正掌握，需要能从最后一个结果沿图回到前面每个章节的输入、状态变化和证据。
1.2 再看失败：问题最早会出现在哪一步？
在“事务、锁与隔离级别”的对象和顺序已经明确后，再看可观察的失败：依赖漂移、参数未校验、异常被吞、事务未回滚或状态残留。定位时不从最后一条错误猜原因，而是沿上图找第一个偏离正文结论的节点。
二、事务保护的是业务不变量
ACID 不是“加上 @Transactional 就安全”。
事务应覆盖必须同时成功或失败的数据库操作，并保持短小；
外部 HTTP、文件上传和消息发送不应放在持锁事务里等待。
跨系统一致性使用 Outbox、幂等和补偿，不把本地事务误当成分布式事务。
InnoDB 通过 Undo Log 保存旧版本，
让一致性读在 MVCC 下读取符合快照的数据；
写操作仍会加锁。
隔离级别控制一次事务能观察到哪些并发提交，
不同读法也有差异：普通快照读与 SELECT ... FOR UPDATE 当前读不能混为一谈。
三、隔离级别如何选择
READ COMMITTED 每条语句建立新快照，
能减少部分间隙锁影响，
但同一事务两次查询可能看到不同结果；
MySQL 默认 REPEATABLE READ 通常在事务内保持一致快照，
并通过 Next-Key Lock 处理当前读范围。
SERIALIZABLE 并发成本高，只用于确有严格串行语义且吞吐可接受的场景。
隔离级别不能替代业务并发控制。 库存扣减可以使用条件更新，避免先查再写的竞态：
UPDATE inventory
SET available = available - :quantity,
version = version + 1
WHERE sku_id = :skuId
AND available >= :quantity;
应用必须检查影响行数：1 表示扣减成功，0 表示库存不足或目标不存在。
乐观锁适合冲突较少场景；
悲观锁适合必须先读取多行再做复杂决策，但要固定加锁顺序并缩短事务。
四、锁、死锁与超时
行锁实际锁在索引记录上。 缺少合适索引的更新可能扫描并锁住远超预期的记录； 范围条件还可能产生间隙锁。 两个事务以不同顺序获取资源会形成死锁，InnoDB 会选择一个事务回滚以打破循环。
死锁是可恢复并发事件，不等于数据库坏了。 捕获死锁后只重试整个幂等事务，并使用有限次数、退避和抖动； 不能从失败 SQL 的下一句继续。 锁等待超时则要保留 SQL、事务年龄、持锁线程和调用链，定位长事务或访问顺序不一致。
五、实施与排障
- 把事务入口放在明确的应用服务层，列出事务内读写表和必须维持的不变量。
- 为更新条件建立可选择索引，并让多个流程按相同主键顺序加锁。
- 设置合理的事务和锁等待超时，禁止请求无限等待。
- 使用
performance_schema.data_locks、data_lock_waits和 InnoDB 状态查看等待关系。 - 对死锁、超时和连接中断编写并发测试，验证重试幂等。
只盯 CPU 无法发现锁问题。 接口 P99 上升而数据库 CPU 平稳时，应先检查活跃事务、锁等待和连接池排队； Undo 持续增长则检查长事务是否阻止历史版本回收。
验收清单
- 每个事务都有明确不变量、最大时长和失败语义。
- 并发扣减、重复请求和死锁重试不会产生负库存或重复副作用。
- 外部调用不占用数据库锁，消息一致性有 Outbox 或补偿证据。
- 线上能通过
trace_id关联请求、事务、锁等待和重试。
六、动手验证：先跑通 事务、锁与隔离级别，再改变一个变量
前面的章节已经建立问题、概念和机制。现在把“事务、锁与隔离级别”放进同一套基线中运行；本节不再引入新术语，只验证前文结论能否被复现。
6.1 基线与候选只允许一个变量不同
验证“事务、锁与隔离级别”时，先固定语言与依赖版本、请求参数、数据库初始状态和环境配置。候选方案只能改变本次要验证的变量；如果同时更换数据、依赖和配置，即使结果改善，也不能知道是哪一项产生作用。
执行“事务、锁与隔离级别”时，动作是：运行最小程序或接口测试，覆盖正常输入、边界值和异常传播。原始结果不能只保留截图或汇总分数，必须同步保存：退出码、响应状态、断言、数据库前后状态、异常栈和测试报告，使下一次复查可以在同一输入上重放。
| 实验要素 | 本文要求 |
|---|---|
| 固定条件 | 固定语言与依赖版本、请求参数、数据库初始状态和环境配置 |
| 唯一变量 | 本次候选方案与基线之间的一项明确差异 |
| 原始证据 | 退出码、响应状态、断言、数据库前后状态、异常栈和测试报告 |
| 通过阈值 | 输出满足契约，异常不会留下部分写入，结果可在干净环境复现 |
| 立即停止 | 依赖漂移、参数未校验、异常被吞、事务未回滚或状态残留 |
6.2 执行前先排除不可比较条件
“事务、锁与隔离级别”开始前先确认下面四项；任一项不成立，都应先修复实验条件，而不是解释结果。
- 基线能够在“事务、锁与隔离级别”的当前环境重复运行。
- 候选只改变一个与“事务、锁与隔离级别”结论直接相关的条件。
- “事务、锁与隔离级别”的基线和候选使用同一批输入、同一版本依赖与同一通过阈值。
- “事务、锁与隔离级别”的原始输出和失败现场不会被重试、格式化或汇总覆盖。
6.3 执行后先核对证据完整性
结果出来后先检查证据，再讨论“事务、锁与隔离级别”是否通过。缺少中间状态时，最终输出只能说明现象，不能证明机制。
| 检查项 | 当前文章的判定 |
|---|---|
| 输入可追溯 | 固定语言与依赖版本、请求参数、数据库初始状态和环境配置 |
| 过程可回放 | 运行最小程序或接口测试，覆盖正常输入、边界值和异常传播 |
| 结果可审计 | 退出码、响应状态、断言、数据库前后状态、异常栈和测试报告 |
“事务、锁与隔离级别”的一次合格基线对照按以下顺序执行：
- 保存“事务、锁与隔离级别”基线版本及输入摘要，确认基线本身可以重复运行。
- 写下“事务、锁与隔离级别”候选方案唯一变化的变量，以及它预期影响的指标。
- 在同一环境执行“事务、锁与隔离级别”：运行最小程序或接口测试，覆盖正常输入、边界值和异常传播。
- 为“事务、锁与隔离级别”保存：退出码、响应状态、断言、数据库前后状态、异常栈和测试报告。
- 使用“事务、锁与隔离级别”预登记条件判断：输出满足契约，异常不会留下部分写入，结果可在干净环境复现。
- 如果“事务、锁与隔离级别”未通过，不修改第二个变量，先恢复基线并保留失败现场。
七、用一张矩阵验证 事务、锁与隔离级别 的关键结论
矩阵按正文顺序列出“事务、锁与隔离级别”的结论。一次实验只选择一行，只改变这一行对应的条件；不要把多行合并成一个无法归因的大实验。
| 正文章节 | 已解释的结论 | 本轮唯一变量 | 必须保存的证据 |
|---|---|---|---|
| 事务保护的是业务不变量 | ACID 不是“加上 @Transactional 就安全”。 | 只改变与“事务保护的是业务不变量”相关的条件 | 退出码、响应状态、断言、数据库前后状态、异常栈和测试报告 |
| 隔离级别如何选择 | 并通过 Next-Key Lock 处理当前读范围。 | 只改变与“隔离级别如何选择”相关的条件 | 退出码、响应状态、断言、数据库前后状态、异常栈和测试报告 |
| 锁、死锁与超时 | 两个事务以不同顺序获取资源会形成死锁，InnoDB 会选择一个事务回滚以打破循环。 | 只改变与“锁、死锁与超时”相关的条件 | 退出码、响应状态、断言、数据库前后状态、异常栈和测试报告 |
| 实施与排障 | 把事务入口放在明确的应用服务层，列出事务内读写表和必须维持的不变量。 -> 为更新条件建立可选择索引，并让多个流程按相同主键顺序加锁。 -> 设置合理的事务和锁等待超时，禁止请求无限等待。 -> 使用 performance_schema.data_locks、data_lock_waits 和 InnoDB 状态查看等待关系。 | 只改变与“实施与排障”相关的条件 | 退出码、响应状态、断言、数据库前后状态、异常栈和测试报告 |
| 事务应覆盖必须同时成功或失败的数据库操作 | 事务应覆盖必须同时成功或失败的数据库操作，并保持短小； | 只改变与“事务应覆盖必须同时成功或失败的数据库操作”相关的条件 | 退出码、响应状态、断言、数据库前后状态、异常栈和测试报告 |
| 外部 HTTP、文件上传和消息发送不应放在持锁事务里等待 | 外部 HTTP、文件上传和消息发送不应放在持锁事务里等待。 | 只改变与“外部 HTTP、文件上传和消息发送不应放在持锁事务里等待”相关的条件 | 退出码、响应状态、断言、数据库前后状态、异常栈和测试报告 |
7.1 记录本次实际实验
下面的记录用于“事务、锁与隔离级别”当前这一次实验，不是第二套知识目录。先从矩阵选择一个章节，再填写实际值；没有填写的字段表示尚未验证。
topic: "事务、锁与隔离级别"
selected_chapter: required
claim_from_article: required
baseline_version: required
changed_condition: exactly_one
execution: "运行最小程序或接口测试，覆盖正常输入、边界值和异常传播"
evidence: "退出码、响应状态、断言、数据库前后状态、异常栈和测试报告"
pass_when: "输出满足契约，异常不会留下部分写入，结果可在干净环境复现"
stop_when: "依赖漂移、参数未校验、异常被吞、事务未回滚或状态残留"
observed_result: required
first_deviation: null_or_evidence
recovery_replay: required_after_failure
7.2 边界实验必须证明能够停止和恢复
成功路径只能证明“事务、锁与隔离级别”在当前样本上工作，不能证明它可以进入生产。边界实验需要主动制造：依赖漂移、参数未校验、异常被吞、事务未回滚或状态残留，并观察系统是否在产生不可逆副作用前停止。
| 场景 | 只改变什么 | 应保存什么 | 通过标准 |
|---|---|---|---|
| 正常路径 | 使用已知有效输入 | 退出码、响应状态、断言、数据库前后状态、异常栈和测试报告 | 输出满足契约，异常不会留下部分写入，结果可在干净环境复现 |
| 边界路径 | 把一个输入推进到约束临界值 | 临界值前后的输出与指标 | 不静默降级，不把部分结果冒充成功 |
| 明确失败 | 注入：依赖漂移、参数未校验、异常被吞、事务未回滚或状态残留 | 原始错误、首个异常阶段和最终状态 | 失败被正确分类且没有扩大副作用 |
| 恢复重放 | 执行：从入口参数、调用栈、事务边界和外部依赖逐层缩小根因 | 原失败样本的复测证据 | 原样本恢复，正常样本没有回归 |
恢复动作不是简单重启。对于“事务、锁与隔离级别”，第一步是：从入口参数、调用栈、事务边界和外部依赖逐层缩小根因。完成后使用原始失败样本复测；只验证一个新样本成功，不能证明触发条件已经消失。
“事务、锁与隔离级别”边界实验结束后，应把正常、临界、失败和恢复四类记录放在同一个运行批次中。这样才能区分“候选方案真的修复问题”和“环境变化让问题暂时没有出现”。
八、事务、锁与隔离级别 的结果解释
解释“事务、锁与隔离级别”实验时先看首个偏差，而不是最后一条错误。最后的异常通常只是上游状态错误的结果；从末端反推容易误把症状当根因。
| 观察结果 | 可以支持的判断 | 下一步 |
|---|---|---|
| 主链路没有达到预期 | 依赖漂移、参数未校验、异常被吞、事务未回滚或状态残留 | 先执行：从入口参数、调用栈、事务边界和外部依赖逐层缩小根因 |
| 异常链路无法恢复 | 依赖漂移、参数未校验、异常被吞、事务未回滚或状态残留 | 先执行：从入口参数、调用栈、事务边界和外部依赖逐层缩小根因 |
| 新样本成功但原样本仍失败 | 修复没有覆盖原始触发条件 | 固定原失败输入，恢复基线后重新比较 |
| 指标改善但证据无法回链 | 数据、版本或中间状态没有固定 | 暂停发布，补齐可追溯记录后重跑 |
“事务、锁与隔离级别”只有同时满足“输出满足契约，异常不会留下部分写入，结果可在干净环境复现”，并且没有出现“依赖漂移、参数未校验、异常被吞、事务未回滚或状态残留”，才可以认为主链路通过。这里的“通过”只对当前固定版本、样本和环境有效，不能外推到尚未测试的容量、权限或数据分布。
如果“事务、锁与隔离级别”候选方案与基线差异很小，先检查证据分辨率是否足够；如果差异很大，先排除数据泄漏、环境漂移和版本不一致。两种情况都不能只看一个汇总均值，需要回到逐样本输出和中间状态。
“事务、锁与隔离级别”故障定位完成后，记录“现象、首个偏差、根因、改动、原样本复测”五项。缺少原样本复测时，只能标记为待观察，不能标记为已解决。
九、事务、锁与隔离级别 的发布判断
发布判断需要把“事务、锁与隔离级别”的质量、失败边界和恢复能力放在同一份记录中。以下任一条件缺失，都应停止扩量，而不是用“基本正常”替代证据。
- “事务、锁与隔离级别”的基线与候选只存在一个计划内变量。
- “事务、锁与隔离级别”的输入、代码、依赖、配置和数据版本可以追溯。
- “事务、锁与隔离级别”的正常、临界、失败和恢复样本使用同一套断言。
- “事务、锁与隔离级别”的原始输出、中间状态和失败现场已经保留。
- “事务、锁与隔离级别”的日志、Trace、截图和测试数据已经脱敏。
- “事务、锁与隔离级别”的停止条件、负责人和回滚入口已经演练。
- “事务、锁与隔离级别”尚未覆盖的输入、权限、容量和外部依赖已经登记。
最终记录至少包含基线版本、唯一变量、原始证据、首个偏差、恢复复测和发布责任人。没有参与本次修改的人如果不能据此重放“事务、锁与隔离级别”的判断，就不能发布。
十、总结
- 事务保护的是业务不变量：ACID 不是“加上 @Transactional 就安全”。
- 隔离级别如何选择：MySQL 默认 REPEATABLE READ 通常在事务内保持一致快照，并通过 Next-Key Lock 处理当前读范围。
- 锁、死锁与超时：两个事务以不同顺序获取资源会形成死锁，InnoDB 会选择一个事务回滚以打破循环。
- 实施与排障：把事务入口放在明确的应用服务层，列出事务内读写表和必须维持的不变量。 -> 为更新条件建立可选择索引，并让多个流程按相同主键顺序加锁。 -> 设置合理的事务和锁等待超时，禁止请求无限等待。 -> 使用 performance_schema.data_locks、data_lock_waits 和 InnoDB 状态查看等待关系。
学完自测
选择所有正确答案；提交后逐项核对判断依据。