故障模型与 CAP

崩溃、遗漏、拜占庭故障；FLP 不可能性；CAP 定理的准确表述（分区时在一致性与可用性之间选）与常见误读；PACELC 补充无分区时的延迟权衡。

本章要点

• CAP 中的 C 是线性一致性，A 是每个请求都得到响应
• 分区是必然的，选择只在分区期间
• FLP：异步系统中确定性共识不可能，实践靠超时

写作状态

本章目前为提纲，正文待撰写。