crash-recovery 标签归档

共 4 篇文章 · 返回首页

【存储工程】WAL 与崩溃恢复：ARIES 协议

WAL 是数据库持久性的基石，ARIES 是工业界公认最完备的崩溃恢复协议。本文从 WAL 三条规则出发，逐步拆解 ARIES 的 Analysis-Redo-Undo 三阶段，结合 InnoDB 实现分析恢复全流程。

分布式系统的正确性证明和协议设计都建立在系统模型之上。同步还是异步？崩溃还是拜占庭？这些看似学术的分类，直接决定了你能用什么协议、不能用什么协议。本文拆解通信模型、故障模型和进程模型三个维度，把 Paxos、Raft、PBFT、Bitcoin 放回它们各自的模型空间。

崩溃恢复是数据库最被低估的核心能力。

从零实现 WAL 和 MemTable：WAL 的 record 格式与 32KB Block 对齐、跳表的 O(log n) 插入与查找、InternalKey 编码、崩溃恢复的正确性证明。从零写一个 LSM-Tree 存储引擎系列第 2 篇。