Paxos-vs-Raft
对照 Classic、Multi 与 Fast Paxos 的阶段和术语，分析 Multi-Paxos 与 Raft 在选主、日志继承和提交规则上的差异。
Tag
Distributed System
14 篇内容
PBFT
说明 PBFT 在 3f+1 节点下的 pre-prepare、prepare、commit 三阶段流程，以及检查点回收和 view change 机制。
GFS
梳理 GFS 的设计目标、主从架构、一致性模型、租约写入、原子追加、快照、命名空间锁与垃圾回收机制。
Bigtable
梳理 Bigtable 的行列时间戳数据模型、LSM-Tree 存储结构，以及 master、tablet server 和元数据定位机制。
Time, Clocks, and the Ordering of Events in a Distributed System 论文阅读
解读 Lamport 对 happened-before、偏序与逻辑时钟的定义，并梳理从事件全序到物理时钟同步的推导。
6.824 Lab4
MIT 6.824 Lab 4 的 Multi-Raft 实现笔记，涵盖分片配置、数据迁移和线性一致性。
6.824 Lab3
在 Raft 之上实现容错键值服务，处理请求去重、状态机快照和日志提交性能。
6.824 Lab2D
MIT 6.824 Lab 2D 实现记录，讲解 Raft 快照截断、持久化和 InstallSnapshot 流程。
6.824 Lab2C
MIT 6.824 Lab 2C 实现记录，涵盖 Raft 状态持久化、崩溃恢复和日志回退优化。
6.824 Lab2B
MIT 6.824 Lab 2B 实现记录，涵盖 Raft 日志复制、提交、应用和冲突处理。
6.824 Lab2A
MIT 6.824 Lab 2A 实现记录，聚焦 Raft 领导者选举、计时器和 RequestVote RPC。
6.824 Lab2
Raft 实验总览，梳理领导者选举、日志复制、日志压缩和持久化的实现要点。
6.824 Lab1
MIT 6.824 Lab 1 的 MapReduce 实现笔记，涵盖任务调度、中间文件、RPC 和故障恢复。
6.824
MIT 6.824（现 6.5840）课程资料索引，以及调试和测试分布式系统实验的方法记录。