数据库内核实验索引
汇总本站数据库内核文章：PostgreSQL / MySQL InnoDB / 列存、湖仓、流处理、查询引擎、RocksDB、向量、Redis、全文检索、TiKV/HTAP、FoundationDB、SQLite 与 WiredTiger 内核，以及 LSM-Tree 实验与其它单篇。
mvcc 标签归档
共 25 篇文章 · 返回首页
【PG 内核】PostgreSQL 内核机制深度拆解
从进程模型到磁盘页面、从 MVCC 到流复制——对 PostgreSQL 内核做完整的源码级拆解。不止步于源码分析：26 篇中 6 篇是运维实战——经典故障的根因与排查路径、性能调查的五层工具链、配置陷阱与恢复边界。面向想读懂 PG 内核源码、在生产环境排查过问题、准备给 PG 贡献代码的工程师。
【分布式系统百科】Percolator 模型：Google 的乐观事务方案
Percolator 在 Bigtable 之上用三列设计实现了跨行分布式事务，其核心思路是把事务协调状态编码进数据本身，从而消除了对专用协调者节点的依赖。本文拆解其两阶段提交流程、冲突检测与锁清理机制，并分析 TiDB 对该模型的工程改进。
【分布式系统百科】etcd 深度解剖：从 Watch 机制到 MVCC 存储引擎
深入剖析 etcd 的核心机制：持久化 Watch 与 Revision 追溯、Lease 租约机制、基于 BoltDB 的 MVCC 存储引擎、与 Raft 共识的联动方式，以及在 Kubernetes 中的关键角色。涵盖性能调优策略、容量限制与规模化方案。
【MySQL InnoDB 内核】MVCC 与 Read View
用 MySQL 8.0.36 源码钉住 InnoDB 的 undo 式 MVCC：聚簇行上的 DB_TRX_ID / DB_ROLL_PTR、ReadView 的 m_up_limit_id / m_low_limit_id / m_ids、changes_visible 判定、RC 每语句关闭视图 vs RR 复用视图，以及沿 undo 链重建可见版本的路径。对照 PostgreSQL CLOG 方案，并给出 Docker 可复现实验步骤。
【MySQL InnoDB 内核】InnoDB 存储引擎机制深度拆解
从线程模型到页格式、从 undo log MVCC 到 binlog 两阶段提交——对 MySQL InnoDB 做源码级拆解，并与 PostgreSQL 内核系列逐章对照。20 篇覆盖内核机制与生产运维实战，面向 MySQL DBA、从 PG 转 MySQL 的后端与数据库内核开发者。
【PG 内核】MVCC 实现：CLOG、hint bit 与快照可扩展性
在已有 MVCC 文章基础上深入 PG 并发控制的三个基础设施：CLOG 的 SLRU 结构（事务状态位、页面格式、SLRU 淘汰）、hint bit 的写入时机和竞争问题（何时写、谁写、写坏了怎么办）、PG 14 snapshot scalability 优化的具体机制（ProcArrayLock 为什么是瓶颈、xid/xmin 的原子更新如何减少持锁路径），以及事务 ID 回卷（wraparound）的威胁模型。最后与 InnoDB undo log 方案做系统性对比。
【WiredTiger 内核】文档库存储引擎全景：MongoDB 默认引擎的生态位
定位文档库默认引擎 WiredTiger 相对 PG/InnoDB/SQLite/RocksDB 的生态位；钉住 Session→Cache→Reconcile→HS→Checkpoint 主线、站内分工与 17 篇阅读路线，并以 Berenson 隔离词汇与 Durable History 为学术/工程锚点。
【WiredTiger 内核】B-Tree 与 update chain：未提交更新只挂链
拆解 WiredTiger row-store B-Tree 的 WT_BTREE/WT_REF 结构，以及叶页上 WT_INSERT skiplist 与 WT_UPDATE 链如何承载插入与多版本；说明未提交更新不进磁盘镜像，为 Reconciliation 与 History Store 铺垫。
【WiredTiger 内核】Timestamps、Snapshot 与事务：可见性契约
拆解 WiredTiger 应用时间戳（oldest/stable/pinned）、事务 read/commit timestamp、快照隔离下的可见性检查，以及 prepared 的 prepare/durable 边界；为 History Store 与 Rollback-to-Stable 提供时间轴。
【WiredTiger 内核】History Store 与 Durable History：文档库里的第三种 MVCC
拆解 MongoDB WiredTiger 如何把旧版本挪到 History Store（WiredTigerHS.wt），在 reconciliation / eviction 后仍服务快照读；对照 PostgreSQL 堆版本与 InnoDB undo，并交代 Lookaside 到 Durable History 的工程分叉。
【WiredTiger 内核】与 PG / InnoDB / RocksDB 机制对照
按缓冲池、写前日志、MVCC 落点、脏页写出与故障模式对照 PostgreSQL、InnoDB、RocksDB 与 WiredTiger；只谈机制与代价，不写未实测延迟排名。
【WiredTiger 内核】Cache · Eviction · Reconciliation · History Store · Checkpoint
补齐文档库默认引擎内核层：从 Connection/Session、Cache/Eviction、B-Tree update chain、Reconciliation 到 Timestamps、History Store、Checkpoint/Journal 与 Rollback-to-Stable，并以 MongoDB 嵌入边界与 PG/InnoDB/RocksDB 对照收束。
【SQLite 内核】事务与隔离：DEFERRED/IMMEDIATE/EXCLUSIVE 与单写者快照
拆解 BEGIN DEFERRED/IMMEDIATE/EXCLUSIVE 三种模式的取锁时机差异，对照 Berenson et al. SIGMOD 1995 的隔离词汇与官方 Isolation In SQLite 文档；说明单写者约束下 WAL 快照为何天然回避 write skew，并用本机 3.53.2 实测三种 BEGIN 均可提交。
【FoundationDB 内核】Client API 与事务模型：冲突范围、自动重试与 5 秒窗口
钉住 FoundationDB 客户端事务契约：读写缓冲、冲突范围、@transactional 自动重试，以及 5 秒上限如何约束应用设计——机制证明留给第 8–9 篇。
【FoundationDB 内核】Resolver 与 OCC：冲突范围、窗口与自动重试
拆解 FoundationDB Resolver 如何用 read/write conflict ranges 做乐观并发控制：冲突窗口落在 read version 与 commit version 之间，客户端自动重试；并与 TiKV Percolator 快照隔离对照机制差异，不写无实测性能结论。
【FoundationDB 内核】严格可串行化与 5 秒限制：实时顺序与恢复有界性
说明 FoundationDB 如何用 Sequencer 版本把 OCC+MVCC 提升到严格可串行化，区分 serialization order 与实时顺序；论证 5 秒事务上限如何约束冲突窗口与恢复日志量，并点明高冲突下的开放问题。
【FoundationDB 内核】Storage Server：Shard、版本读取与读路径
说明 FoundationDB Storage Server 如何托管 shard、按版本服务读、从 TLog 异步拉日志并参与迁移；强调读路径直达 Storage、不经过 Commit Proxy 提交流水线，以及与 Data Distributor 的边界。
【TiKV / HTAP 内核】Key 编码与 MVCC：三 CF 与时间戳
拆解 TiKV 的 user key + start_ts/commit_ts 编码规则与 default/lock/write 三 CF 分工，并说明为什么这套 MVCC 与 RocksDB Snapshot 的 sequence 号是两层完全不同的机制。
【TiKV / HTAP 内核】Percolator 乐观事务落地：prewrite、commit 与三 CF
拆解 TiKV 如何把 Percolator 论文的 data/lock/write 三列映射到 RocksDB 的 CF_DEFAULT/CF_LOCK/CF_WRITE，key 用 memcomparable + 位反转时间戳编码；说明 short value、Rollback 记录、Lock 类型 write 等论文之外的工程补丁，以及 Async Commit 如何压缩提交路径；对照 distributed/30 的论文模型与 rocksdb/14 的单机事务 API 分层。
【RocksDB 内核机制】Get 与 Snapshot：SuperVersion 与 sequence number
从 DBImpl::GetImpl 层级查找路径出发，拆解 LookupKey、sequence number 编码、SuperVersion 引用与 Snapshot 可见性边界；对照 PostgreSQL MVCC 的 txn id 语义差异。
【存储工程】事务隔离级别的存储实现
数据库事务的四大特性 ACID 中，隔离性（Isolation）是最复杂的一项。原子性靠 WAL 保证（参见 [WAL 与崩溃恢复](../27-wal-aries/wal-aries.html)），持久性靠 fsync 落盘，一致性是应用层语义——唯独隔离性，需要存储引擎在并发控制层面做出大量取舍。SQL 标准定义了…
MVCC 实现变体全解
MVCC 是数据库并发控制的事实标准，但每家的实现天差地别。
数据库 MVCC：快照隔离到底隔离了什么
从 PostgreSQL 源码级别拆解 MVCC 的实现机制：堆表版本链、事务快照、可见性判断规则、VACUUM、隔离级别的真实行为，以及 Snapshot Isolation 抓不住的 Write Skew 和 SSI 如何解决它。附 MySQL InnoDB vs PostgreSQL MVCC 对比。
持久化数据结构在数据库中的应用
MVCC 靠什么实现？持久化 B-tree、COW、append-only log。从 CouchDB 到 LMDB 到 DuckDB，三种不同的路径，同一个目标：读不阻塞写。