3、事务隔离级别：读未提交、读已提交、可重复读、串行化，以及它们在MySQL/PostgreSQL中的实现差异

事务隔离级别是数据库并发控制的核心机制，决定了事务之间如何感知彼此的未提交或已提交修改。ANSI/ISO SQL 标准定义了四种隔离级别，从低到高依次为：读未提交、读已提交、可重复读和串行化。每种级别在避免脏读、不可重复读、幻读等并发异常方面有不同的表现。

MySQL（InnoDB 引擎）和 PostgreSQL 在实现这些隔离级别时采用了不同的底层技术——MySQL 依赖 锁 + MVCC（多版本并发控制），PostgreSQL 则主要依赖 MVCC + 快照隔离。理解这些差异，对于在开发环境中调试事务边界问题至关重要。

核心概念速查： 脏读（读到未提交数据）、不可重复读（同一事务内两次读取同一行结果不同）、幻读（同一事务内两次范围查询结果行数不同）。

3.1 四种隔离级别与并发异常对照

隔离级别 脏读 不可重复读 幻读 实现原理（通用）
读未提交 (READ UNCOMMITTED) 可能 可能 可能 读不加锁，写加行锁
读已提交 (READ COMMITTED) 避免 可能 可能 语句级快照 / 读提交锁
可重复读 (REPEATABLE READ) 避免 避免 可能（MySQL InnoDB 通过间隙锁避免） 事务级快照 / 共享锁
串行化 (SERIALIZABLE) 避免 避免 避免 全表锁 / 谓词锁 / SSI
注意： MySQL InnoDB 在可重复读级别下通过 间隙锁（Gap Lock） 和 临键锁（Next-Key Lock） 额外避免了幻读，因此其可重复读级别实际上达到了串行化的大部分效果。PostgreSQL 的可重复读级别仍可能发生幻读（严格意义上的幻读），但通过快照隔离避免了不可重复读。

3.2 MySQL InnoDB 实现机制

MySQL 的 InnoDB 存储引擎采用 MVCC + 锁 的组合策略。MVCC 通过 undo log 维护行的多个版本，每个事务在启动时获取一个 事务 ID，并通过 Read View 判断可见性。

  • 读未提交： 直接读取行的最新版本，不检查事务可见性，因此可能读到未提交的数据。
  • 读已提交： 每次 SELECT 语句执行时生成一个新的 Read View，只读取已提交事务的版本。不同语句可能看到不同快照，导致不可重复读。
  • 可重复读： 事务启动时（第一个 SELECT 或 START TRANSACTION WITH CONSISTENT SNAPSHOT）生成一个 Read View，整个事务期间复用该快照。配合 间隙锁 防止幻读。
  • 串行化： 所有 SELECT 隐式转为 SELECT ... FOR SHARE（共享锁），读写互斥，完全串行执行。
-- MySQL 查看当前隔离级别
SELECT @@transaction_isolation;

-- 设置会话隔离级别为读已提交
SET SESSION TRANSACTION ISOLATION LEVEL READ COMMITTED;

-- 可重复读下验证快照一致性
START TRANSACTION WITH CONSISTENT SNAPSHOT;
SELECT * FROM orders WHERE id = 1;  -- 事务期间始终看到同一版本

3.3 PostgreSQL 实现机制

PostgreSQL 完全基于 MVCC 实现，没有间隙锁的概念。它通过 事务快照（Snapshot） 和 系统列（xmin/xmax） 管理行版本可见性。写操作不阻塞读操作，读操作从不阻塞写操作（串行化除外）。

  • 读未提交： 行为与读已提交相同（PostgreSQL 不真正实现读未提交，实际退化为读已提交）。
  • 读已提交： 每个 SQL 语句执行时获取当前已提交事务的快照，不同语句可能看到不同数据。
  • 可重复读： 事务启动时获取快照，整个事务复用。但 PostgreSQL 不阻止幻读——如果其他事务插入了满足条件的新行并提交，当前事务在后续范围查询中可能看到新行（取决于快照时间点）。
  • 串行化： 使用 可串行化快照隔离（SSI） 技术，通过检测读写冲突并回滚冲突事务来保证串行化，而非使用全表锁。
-- PostgreSQL 查看当前隔离级别
SHOW transaction_isolation;

-- 设置事务隔离级别为可重复读
BEGIN TRANSACTION ISOLATION LEVEL REPEATABLE READ;
SELECT * FROM orders WHERE id = 1;
COMMIT;
关键差异： PostgreSQL 的 可重复读 级别下，如果事务 A 执行 SELECT * FROM orders WHERE status = 'active'，事务 B 插入一条新 active 订单并提交，事务 A 再次执行相同查询 可能 看到新行（幻读）。MySQL InnoDB 的 可重复读 则通过间隙锁阻止了这种插入，因此不会出现幻读。

3.4 MySQL vs PostgreSQL 隔离级别实现对比

特性维度 MySQL (InnoDB) PostgreSQL
MVCC 实现 undo log + 回滚段 堆表 + 系统列 (xmin/xmax)
读未提交 真正实现，可能脏读 退化为读已提交
读已提交 语句级 Read View 语句级 Snapshot
可重复读 事务级 Read View + 间隙锁防幻读 事务级 Snapshot，允许幻读
串行化 全表锁 / 行锁 + 间隙锁 SSI（可串行化快照隔离），冲突检测回滚
写写冲突 行锁阻塞等待 行锁阻塞等待
读写冲突 读不阻塞写（MVCC），写阻塞读（锁模式） 读从不阻塞写，写从不阻塞读
默认隔离级别 可重复读 (REPEATABLE READ) 读已提交 (READ COMMITTED)

3.5 隔离级别选择与事务边界调试建议

在开发环境调试事务边界问题时，建议遵循以下原则：

  1. 优先使用默认级别： MySQL 默认可重复读，PostgreSQL 默认读已提交。除非有明确需求，否则不要轻易提升隔离级别，以免引入不必要的锁竞争。
  2. 读已提交足够时不要升级： 大多数业务场景下，读已提交已能避免脏读，性能最佳。仅在需要事务内多次读取一致时才使用可重复读。
  3. 警惕 PostgreSQL 可重复读的幻读： 如果业务逻辑依赖范围查询结果不变（如分页、统计），在 PostgreSQL 中应使用串行化或显式锁（SELECT FOR UPDATE）来保证。
  4. 使用可观测性工具验证： 在开发环境中开启 general_log（MySQL）或 pg_stat_activity（PostgreSQL），观察事务的锁等待和快照行为。
调试技巧： 在 MySQL 中，可以通过 SHOW ENGINE INNODB STATUS\G 查看当前锁和事务信息；在 PostgreSQL 中，使用 SELECT * FROM pg_locks 和 SELECT * FROM pg_stat_activity 定位阻塞事务。
MySQL InnoDB vs PostgreSQL 隔离级别实现架构对比 MySQL InnoDB 读未提交 直接读最新版本，不检查事务可见性 读已提交 语句级 Read View，每次 SELECT 新快照 可重复读 事务级 Read View + 间隙锁防幻读 串行化 全表锁 / 行锁 + 间隙锁，读写互斥 默认隔离级别：可重复读 MVCC + 锁组合策略 间隙锁是 InnoDB 特有 PostgreSQL 读未提交 实际退化为读已提交，无脏读 读已提交 语句级 Snapshot，读不阻塞写 可重复读 事务级 Snapshot，允许幻读 串行化 SSI 冲突检测回滚，无全表锁 默认隔离级别：读已提交 纯 MVCC 实现，无间隙锁 读从不阻塞写，写从不阻塞读

3.6 实践：在开发环境中验证隔离级别行为

以下是一个简单的验证步骤，帮助你在开发环境中直观感受不同隔离级别的差异：

  1. 准备测试表： 创建一张包含 id 和 value 的表，插入一行数据。
  2. 打开两个会话： 会话 A 和会话 B，分别设置不同的隔离级别。
  3. 模拟脏读： 会话 A 开启事务并更新数据但不提交，会话 B 在读未提交级别下查询——MySQL 可能看到未提交数据，PostgreSQL 不会。
  4. 模拟不可重复读： 会话 A 在可重复读级别下两次查询同一行，会话 B 在中间提交更新——MySQL 和 PostgreSQL 的可重复读都能避免，但读已提交级别下会看到不同值。
  5. 模拟幻读： 会话 A 在可重复读级别下执行范围查询，会话 B 插入新行并提交——MySQL 不会看到新行，PostgreSQL 可能看到。
推荐工具： 使用 mysqlslap（MySQL）或 pgbench（PostgreSQL）进行并发压力测试，结合 SHOW PROCESSLIST 或 pg_stat_activity 观察事务状态，快速定位隔离级别引起的问题。
← 上一章 📖 返回目录 下一章 →