数据库内核实验索引
汇总本站数据库内核文章：PostgreSQL / MySQL InnoDB / 列存、湖仓、流处理、查询引擎、RocksDB、向量、Redis、全文检索、TiKV/HTAP、FoundationDB、SQLite、WiredTiger 与图数据库内核，以及 LSM-Tree 实验与其它单篇。
strict-serializability 标签归档
共 5 篇文章 · 返回首页
【FoundationDB 内核】Sequencer：read/commit version、逻辑单点与恢复
说明 Sequencer 如何分配 read version 与 commit version、为何是逻辑单点而非无高可用，以及世代恢复如何与版本推进衔接。
【FoundationDB 内核】严格可串行化与 5 秒限制：实时顺序与恢复有界性
说明 FoundationDB 如何用 Sequencer 版本把 OCC+MVCC 提升到严格可串行化，区分 serialization order 与实时顺序；论证 5 秒事务上限如何约束冲突窗口与恢复日志量，并点明高冲突下的开放问题。
【FoundationDB 内核】选型与阅读地图：FoundationDB vs TiKV vs etcd
用一致性级别、事务模型与 Layer 边界收束 FoundationDB / TiKV / etcd 选型；给出站内阅读地图、全系列学术谱系与开放问题，标志 FoundationDB 内核系列完成。
【FoundationDB 内核】Unbundled · OCC · TLog · Redwood · Simulation
补齐 FoundationDB 选型叙事与生产内核之间的一层：拆解 Proxy、Sequencer、Resolver、TLog、Storage Server 的 Unbundled 写路径，严格可串行化、Redwood 与确定性模拟，并以 Record Layer 和 TiKV/etcd 对照收束。