MVCC 核心机制详解

MVCC 的核心思想是‌不直接修改数据行‌，而是为每次数据修改创建一个新的数据版本。当一个事务需要修改数据时，系统会创建一个新的数据版本，而不是覆盖原有的数据。原有的数据版本仍然保留，供其他事务读取
PostgreSQL 的 MVCC 机制通过以下关键组件实现高效并发控制：

事务 ID (Transaction ID)
每个事务启动时分配唯一 ID，标记数据版本的创建或删除。数据行中记录 xmin（创建事务 ID）和 xmax（删除事务 ID）字段。

版本链 (Version Chain)
数据修改时生成新版本，旧版本通过 ctid 指针形成链表。旧版本保留至无事务引用时由 vacuum 清理。

可见性规则 (Visibility Rules)
基于事务 ID 和快照（Snapshot）判断数据可见性。快照记录事务开始时的活跃事务列表，规则如下：

• 数据版本由已提交事务创建（xmin < snapshot_xmin 或 xmin 不在活跃事务列表）。
• 数据版本未被删除（xmax 未设置）或由未提交事务删除（xmax 在活跃事务列表）。

事务隔离级别实现差异

Read Committed（默认级别）
每次查询生成新快照，可能看到其他事务已提交的修改。通过 xmin 和 xmax 动态判断可见性，避免脏读但允许不可重复读。

Repeatable Read
事务启动时固定快照，所有查询复用同一快照。通过快照隔离（Snapshot Isolation）保证同一事务内读取一致性，避免不可重复读和幻读（PostgreSQL 通过谓词锁优化实现）。

Serializable
使用可序列化快照隔离（SSI），检测读写依赖冲突。若事务提交时发现冲突（如写倾斜），强制回滚其中一个事务，确保逻辑串行化。

Read Uncommitted
PostgreSQL 实际行为等同于 Read Committed，不提供脏读功能。

MVCC 的存储与清理

多版本存储方式
新数据版本直接插入表中，旧版本保留在原位置。通过 ctid 链式链接，索引指向最新版本。

Vacuum 机制
自动或手动执行 vacuum 回收旧版本空间：

• 常规 Vacuum：标记可复用空间，不释放给操作系统。
• Vacuum Full：重建表文件彻底释放空间，但阻塞读写。

性能优化建议

合理设置事务隔离级别
高频读取场景使用 Repeatable Read 减少快照生成开销；写入密集场景用 Read Committed 避免冲突回滚。

控制长事务
长事务会阻止 vacuum 清理旧版本，导致表膨胀。监控 pg_stat_activity 中的活跃事务时长。

调整 Vacuum 参数
根据负载调整 autovacuum_vacuum_cost_limit 和 autovacuum_naptime，平衡清理效率与资源占用。

代码示例：查看事务 ID 和快照

-- 获取当前事务 ID
SELECT txid_current();

-- 查看快照信息（9.6+）
SELECT pg_export_snapshot();

数学表达可见性判断

数据版本对事务 T 可见的条件：

• 创建条件：xmin < T.xmin ∨ xmin ∉ T.snapshot_active
• 删除条件：xmax = null ∨ (xmax > T.xmin ∧ xmax ∈ T.snapshot_active)

其中 T.snapshot_active 为事务 T 快照中的活跃事务集合。