TinyKV 阅读清单：存储、Raft、分片和事务
来源：本地
doc/reading_list.md。这份清单来自 TinyKV 项目，我按 Lab 学习顺序补了一层中文导读。
这份阅读清单不适合从第一条一直啃到最后一条。更好的办法是跟着 Lab 走：Lab1 读存储引擎，Lab2 读 Raft 和一致性，Lab3 读分片和调度，Lab4 再读事务。遇到面试追问，再往对应主题里补论文或博客。
MIT 6.5840 和 TinyKV：从分布式系统到分布式数据库存储层
最近把 MIT 6.5840 和 TinyKV 都重新梳理了一遍。它们看起来都在写 KV、Raft、分片和容错，但真正做下来会发现，二者的训练目标很不一样。
MIT 6.5840 更像分布式系统正确性的训练营。它关心的是：在 RPC 丢包、乱序、重试、网络分区、节点重启这些条件下，系统怎样还能给出正确结果。TinyKV 更像分布式数据库存储层的缩小版。它关心的是：数据如何落到本地存储，Raft 如何接入真实的 raftstore，Region 如何分裂和调度，事务如何通过 MVCC 和 Percolator 协议实现。
一句话概括：
1 | MIT 6.5840 训练的是分布式系统底层正确性。 |
先用一张图把两条路线摆在一起：
也可以用 Mermaid 把它抽象成两条学习路径：
flowchart LR
ROOT["两条路线都在训练 KV + Raft，但落点不同"]
ROOT --> MIT0["MIT 6.5840<br/>系统正确性"]
MIT0 --> RAFT["Raft / KVRaft<br/>复制状态机"]
RAFT --> SHARD["ShardKV<br/>分片迁移"]
ROOT --> TINY0["TinyKV<br/>数据库存储层"]
TINY0 --> RK["RaftKV / Multi-Raft<br/>Region + raftstore"]
RK --> TXN["Transactions<br/>MVCC / Percolator"]
RAFT -. "共识底座" .-> RK
SHARD -. "分片思想" .-> RK
