2. PostgreSQL 数据一致性基础：ACID特性、事务隔离级别、MVCC原理简介
在构建高可靠的API数据接口时，数据一致性是核心基石。PostgreSQL作为一款成熟的企业级关系型数据库，通过ACID事务模型、可配置的隔离级别以及多版本并发控制（MVCC）机制，为API契约提供了坚实的数据一致性保障。本章将深入剖析这三大基础概念，帮助你在设计接口时做出正确的技术决策。
2.1 ACID特性：事务的四大黄金法则
ACID是数据库事务正确执行的四个基本特性的缩写。任何声称支持“事务”的数据库系统，都必须满足以下四个属性。PostgreSQL对ACID的完整支持，是其区别于许多NoSQL数据库的关键优势。
| 特性 | 全称 | 核心含义 | PostgreSQL实现要点 |
|---|---|---|---|
| 原子性 | Atomicity | 事务中的所有操作要么全部成功提交，要么全部失败回滚，不存在中间状态。 | 通过WAL（预写式日志）和回滚段实现。若事务中途崩溃，启动恢复时会回滚未完成的事务。 |
| 一致性 | Consistency | 事务执行前后，数据库必须满足所有预定义的约束（主键、外键、唯一约束、检查约束等）。 | 依赖约束机制和触发器。API接口需确保写入数据满足业务规则，否则事务将被拒绝。 |
| 隔离性 | Isolation | 并发执行的事务之间互不干扰，每个事务都感觉自己是唯一在运行的。 | 通过MVCC和锁机制实现。不同隔离级别提供不同程度的隔离保证。 |
| 持久性 | Durability | 一旦事务提交成功，其对数据库的修改就是永久性的，即使系统崩溃也不会丢失。 | 提交时强制将WAL刷入磁盘。可通过 synchronous_commit 参数调整性能与安全的平衡。 |
API设计启示： 在定义POST/PUT/PATCH接口时，应确保一个API请求对应一个数据库事务。不要在同一个事务中混合多个不相关的业务操作，以免因部分失败导致数据不一致。
2.2 事务隔离级别：控制并发冲突的粒度
SQL标准定义了四种事务隔离级别，用于解决并发事务可能引发的三种异常现象：脏读、不可重复读和幻读。PostgreSQL在实现上做了独特的选择，它不支持“读未提交”级别，其默认隔离级别是“读已提交”。
2.2.1 三种并发异常现象
- 脏读： 一个事务读取了另一个未提交事务修改的数据。如果该未提交事务回滚，读取到的数据就是无效的。
- 不可重复读： 在一个事务内，两次读取同一行数据，得到的结果不一致（因为另一个并发事务在这期间提交了修改）。
- 幻读： 在一个事务内，两次执行相同的范围查询，第二次查询看到了第一次查询时不存在的新行（因为另一个并发事务在这期间插入了新数据）。
2.2.2 隔离级别对比表
| 隔离级别 | 脏读 | 不可重复读 | 幻读 | PostgreSQL支持 |
|---|---|---|---|---|
| 读未提交 (Read Uncommitted) | 可能 | 可能 | 可能 | 不支持（行为等同于读已提交） |
| 读已提交 (Read Committed) | 不可能 | 可能 | 可能 | 默认级别 |
| 可重复读 (Repeatable Read) | 不可能 | 不可能 | 可能（PG中不可能） | 支持（PG实现中可防止幻读） |
| 可串行化 (Serializable) | 不可能 | 不可能 | 不可能 | 支持（通过SSI技术实现） |
关键区别： 在PostgreSQL的“可重复读”隔离级别下，由于MVCC的快照机制，实际上已经消除了幻读现象。这是PostgreSQL对SQL标准的一个增强。因此，在PG中，你通常只需要在“读已提交”和“可重复读”之间做选择。
2.3 MVCC原理简介：读写不冲突的奥秘
MVCC（多版本并发控制）是PostgreSQL实现高并发读写的核心技术。它允许读操作和写操作互不阻塞，从而显著提升系统吞吐量。其核心思想是：每个事务在修改数据时，不会直接覆盖旧数据，而是创建一个新的数据版本。
核心优势： 在PostgreSQL中，“读不阻塞写，写不阻塞读”。一个正在执行长时间查询的事务，不会阻塞其他事务对该表的更新操作；反之亦然。
2.3.1 MVCC核心机制
- 事务ID (XID)： 每个事务在开始时都会被分配一个唯一的、递增的事务ID（xmin）。提交的事务会获得一个提交事务ID（xmax）。
- 数据行隐藏字段： 每一行数据都包含两个隐藏的系统列：
xmin：创建该行版本的事务ID。xmax：删除或更新该行版本的事务ID（如果未删除/更新，则为0或无效值）。
- 快照 (Snapshot)： 当一个事务开始时，数据库会为其生成一个“快照”，记录当前所有活跃（未提交）的事务ID列表。事务只能看到在快照生成时已经提交的数据版本。
- 可见性规则： 通过比较数据行的
xmin/xmax与当前事务的快照，PostgreSQL可以快速判断该行数据对当前事务是否可见。
2.3.2 更新与清理流程
当一个事务更新一行数据时，PostgreSQL会执行以下步骤：
- 逻辑删除： 将当前数据行的
xmax设置为当前事务的XID，标记该版本已过期。 - 插入新版本： 插入一行新的数据，其
xmin设置为当前事务的XID，并包含更新后的值。 - 垃圾回收： 当没有其他事务需要看到旧版本时，
VACUUM进程会回收这些“死元组”占用的存储空间。
2.4 隔离级别与MVCC的协同工作
理解MVCC后，就能明白PostgreSQL不同隔离级别的实现差异：
- 读已提交： 事务中的每条SQL语句都会获取一个新的快照。因此，在同一事务内，两次相同的查询可能看到不同的数据（不可重复读）。这是性能与一致性之间的最佳平衡点，也是默认选择。
- 可重复读： 事务只在第一条SQL语句执行时获取一次快照。整个事务期间都使用这个快照，因此不会看到其他事务提交的新数据，彻底避免了不可重复读和幻读。
- 可串行化： 在可重复读的基础上，增加了对并发冲突的监控。如果检测到可能导致数据不一致的并发写冲突，会强制其中一个事务回滚，并抛出
could not serialize access错误。API接口需要捕获此错误并重试。
API接口选择建议：
- 只读查询接口： 使用默认的“读已提交”即可，性能最优。
- 需要多次读取同一数据集的接口（如报表）： 使用“可重复读”，确保数据一致性视图。
- 高并发、强一致性要求的写接口（如金融转账）： 使用“可串行化”，但要做好重试逻辑，因为冲突回滚的概率会增加。