PostgreSQL可重复读模式文档疑问：矛盾读取现象解析

要理解这两个看似矛盾的情况，得结合PostgreSQL的MVCC（多版本并发控制）机制和可重复读隔离级别的核心规则来看：

核心规则：可重复读的快照一致性 #

在REPEATABLE READ级别下，每个事务启动时会生成一个全局数据快照，事务全程只能看到：

• 快照生成前已经提交的所有数据修改
• 自身事务做出的修改
• 完全看不到快照生成后其他事务提交的修改

场景还原与矛盾解释 #

文档里的例子对应这样的并发场景：

1. 初始状态：批次控制记录为「处理中」，某条明细记录待处理
2. 事务A（批次处理事务）先对明细记录做修改（比如更新状态或新增），但暂不提交
3. 事务A随后修改批次控制记录为「完成」，并单独提交这个修改
4. 事务B（只读查询事务）在事务A提交控制记录之后启动，生成自己的快照——这个快照能看到事务A已提交的控制记录「完成」状态，但看不到事务A尚未提交的明细记录修改

这时候就出现了文档里的情况：

• 事务B确实看到了控制记录的「完成」状态（因为这个修改在它的快照生成前已经提交）
• 而从业务逻辑角度，这个「完成」状态的控制记录属于业务上的早期版本——因为对应的明细记录还没处理完成，只是数据库层面提前提交了控制记录的修改。文档里说的「读取了控制记录的早期版本」，指的是这个不符合业务完整逻辑的版本，而非数据库内部的旧数据版本。

本质原因 #

可重复读隔离级别只保证数据库层面的快照一致性，但不保证业务逻辑层面的一致性。它不会自动协调跨表/跨记录的业务关联修改，所以如果并发事务不通过显式锁来保证业务操作的原子性，就会出现这种数据库状态和业务逻辑脱节的情况。

内容的提问来源于stack exchange，提问作者ack_inc