Paxos 论文与工程化演进、Raft 以可理解性为先的再设计(leader/任期/日志复制),是「理论到工程」章的核心素材。
Lamport, The Part-Time Parliament(1998 最终版);Ongaro, Ousterhout, In Search of an Understandable Consensus Algorithm, USENIX ATC 2014(B 级)。
书1 ch07、书3 ch05/06(协议类比与工程)
已核实(条目级)