PBFT
说明 PBFT 在 3f+1 节点下的 pre-prepare、prepare、commit 三阶段流程，以及检查点回收和 view change 机制。
Tag
Paper
4 篇内容
GFS
梳理 GFS 的设计目标、主从架构、一致性模型、租约写入、原子追加、快照、命名空间锁与垃圾回收机制。
Bigtable
梳理 Bigtable 的行列时间戳数据模型、LSM-Tree 存储结构，以及 master、tablet server 和元数据定位机制。
Time, Clocks, and the Ordering of Events in a Distributed System 论文阅读
解读 Lamport 对 happened-before、偏序与逻辑时钟的定义，并梳理从事件全序到物理时钟同步的推导。