以 pgvector v0.8.0 源码钉住 Index AM、8KB 页上的 HNSW element/neighbor 元组与 iterative_scan；对照 Milvus Growing/Sealed 与 Knowhere，说明同进程 SQL 扩展买到的事务边界与付掉的页模型/资源争用代价。

本文深入探讨了MySQL InnoDB的MVCC机制，分析了其对DML延迟、崩溃恢复和并发语义的影响，并强调理解源码结构的重要性。提供了源码路径、流程图和实验步骤，并与PostgreSQL进行了对比，讨论了MVCC与日志系统的耦合关系及本地验证实验的必要性。

本文探讨了BPF验证器的静态分析引擎，重点介绍了抽象解释原理、寄存器状态类型系统、深度优先搜索策略及状态裁剪机制。验证器通过跟踪类型和值域，避免了穷举所有输入的复杂性，并分析了循环处理、路径裁剪及精度追踪，以提高验证效率和准确性，确保程序的安全性与性能。

> 本文是写作规划，不是可发布正文。拆解对象：MongoDB 默认存储引擎 WiredTiger——Cache / Eviction / B-Tree update chain / Reconciliation / Timestamps·Snapshot / History Store / Checkpoint·Jou…

此文纯属我为自己沉迷游戏找遮羞布，上了不少有的没的的价值，看个乐吧。 可能不玩我提到的游戏的，看着有点陌生。我 更多...

拆解 WiredTiger write-ahead log：WiredTigerLog 文件、LSN、slot 无锁写入、checkpoint 之后自动删日志，以及崩溃恢复时从最近 checkpoint 回放；并标出与 MongoDB journaling 配置的边界。

钉住 WiredTiger 的 Connection 独占实例、Session 单线程与单事务、Cursor 归属会话等不变量；对照 MongoDB 连接池心智，并为后续 Cache/Eviction 章节提供 API 入口。

拆解 WiredTiger RTS：按 durable/stable 与 recovery checkpoint snapshot 判定不稳定更新，读 History Store 写回用户表，并在启停与 API 路径上独占运行；说明与 prepared、checkpoint、eviction 的交互边界。

拆解 WiredTiger Cache 的 clean/dirty 计量、WT_REF/WT_PAGE 按需加载，以及 update chain / insert list 如何挂在页上；说明 cache_size 不计 session/cursor，并为 Eviction 章节铺垫 dirty 必须先 reconcile。

补齐文档库默认引擎内核层：从 Connection/Session、Cache/Eviction、B-Tree update chain、Reconciliation 到 Timestamps、History Store、Checkpoint/Journal 与 Rollback-to-Stable，并以 MongoDB 嵌入边界与 PG/InnoDB/RocksDB 对照收束。

本文介绍了如何从零开始实现LSM-Tree存储引擎，涵盖日志、MemTable、SSTable、Bloom Filter和Compaction等核心概念，并提供完整的C代码、架构图和数学推导，深入探讨LSM-Tree的设计哲学及其在数据库中的应用。

定位文档库默认引擎 WiredTiger 相对 PG/InnoDB/SQLite/RocksDB 的生态位；钉住 Session→Cache→Reconcile→HS→Checkpoint 主线、站内分工与 17 篇阅读路线，并以 Berenson 隔离词汇与 Durable History 为学术/工程锚点。

拆解 WiredTiger 应用时间戳（oldest/stable/pinned）、事务 read/commit timestamp、快照隔离下的可见性检查，以及 prepared 的 prepare/durable 边界；为 History Store 与 Rollback-to-Stable 提供时间轴。

拆解 WiredTiger row-store B-Tree 的 WT_BTREE/WT_REF 结构，以及叶页上 WT_INSERT skiplist 与 WT_UPDATE 链如何承载插入与多版本；说明未提交更新不进磁盘镜像，为 Reconciliation 与 History Store 铺垫。

对照 MongoDB 手册与本系列机制：cacheSizeGB、约 60s checkpoint、journal 与 minSnapshotHistoryWindowInSeconds 如何映射到 WT Cache/Checkpoint/Logging/HS；复制集与分片只作边界，不展开。

拆解 WiredTiger compaction 如何把文件尾块前移并依赖多次 checkpoint 才能截断文件；说明 backup cursor 期间禁用日志删除与预分配的契约，以及 background compaction 的节流条件。