一致性光谱

The Consistency Spectrum

核心问题

从 ECC 内存到 Raft，如何保证数据正确？

一致性是计算系统的核心追求。本主题线从硬件层面的位翻转保护，到数据库层面的事务隔离，再到分布式层面的共识算法，揭示每一层如何定义和保证'正确'。

层级之旅

Memory Hierarchy

ECC 内存检测并纠正位翻转，保证物理存储的正确性。

Operating System

文件系统通过 journaling 保证崩溃一致性。

L11

Data-Intensive Applications

数据库事务 ACID 保证应用层面的正确性，隔离级别从 Read Uncommitted 到 Serializable。

L13

Distributed Systems

分布式一致性模型：线性一致 > 顺序一致 > 因果一致 > 最终一致。CAP 定理指出三者不可兼得。