尼科拉·瓦托洛梅(Nicolae Vartolomei)于2017年11月整理了这份分布式系统经典论文列表,2022年9月更新。列表收录了多位学者在不同时期的代表性作品,包括拉波特(Leslie Lamport)1978年关于时间、时钟与分布式系统中事件顺序的开创性研究,1982年提出的拜占庭将军问题,以及奇安迪(K. Mani Chandy)与拉波特合作的分布式快照算法等。这些论文构成了理解分布式系统问题域的重要基础。
正文
这里精选了分布式系统领域经典且具影响力的论文,它们塑造了该领域的研究,可作为理解相关问题空间的起点。
- Leslie Lamport,1978,《分布式系统中的时间、时钟与事件顺序》https://doi.org/10.1145/359545.359563
- Leslie Lamport、Robert Shostak 和 Marshall Pease,1982,《拜占庭将军问题》https://doi.org/10.1145/357172.357176
- K. Mani Chandy 和 Leslie Lamport,1985,《分布式快照:确定分布式系统的全局状态》https://doi.org/10.1145/214451.214456
- Michael J. Fischer、Nancy A. Lynch 和 Michael S. Paterson,1985,《单故障进程下分布式共识的不可能性》https://doi.org/10.1145/3149.214121
- Brian M. Oki 和 Barbara H. Liskov,1988,《Viewstamped Replication:支持高可用分布式系统的新主副本方法》https://doi.org/10.1145/62546.62549
- Leslie Lamport,1998,《兼职议会》https://doi.org/10.1145/279227.279229
- Leslie Lamport,2001,Paxos Made Simplehttps://www.microsoft.com/en-us/research/publication/paxos-made-simple/
- Satoshi Nakamoto,2008,《比特币:一种点对点电子现金系统》https://bitcoin.org/en/bitcoin-paper
- Marc Shapiro、Nuno Preguiça、Carlos Baquero 和 Marek Zawirski,2011,《无冲突复制数据类型》https://dl.acm.org/doi/10.5555/2050613.2050642
- Diego Ongaro 和 John Ousterhout,2014,《寻找易懂的共识算法》https://dl.acm.org/doi/10.5555/2643634.2643666
评论
这份关于分布式系统经典论文的讨论中,社区成员积极补充推荐,气氛以学术交流为主。
惊讶于 Lamport 在列表中的主导地位
很多人注意到列表有一半以上出自 Lamport 之手,感慨他对分布式系统领域影响力之大。(高赞)
视 Lamport 为分布式系统领域的教父级人物
有人认为他的地位可比肩 Hinton 对深度学习、Shannon 对信息论的贡献,甚至从物理学视角将分布式共识与相对论相类比,指出事件间的关系比绝对顺序更本质。(高赞)
指出 Lamport 写作风格晦涩难懂
尽管承认其思想精妙,但有评论者认为 Lamport 的行文缺乏对读者的引导,不如 Shannon 那样自然流畅。(较有人)
补充列表中缺失的经典论文
Joe Armstrong 的 Erlang 博士论文、关于逻辑时钟的 RFC 677、链式复制、CAP 定理形式化、Paxos Made Live、PBFT 等都是被推荐的「更深度」阅读材料。(高赞)
推荐应用层面的分布式系统代表作
Dynamo、MapReduce、Spark/RDD、BigTable 等实际系统的论文也被认为值得纳入列表。(较多人)
有价值的补充
- MIT 6.824 课程每年更新的阅读列表是系统学习的好资源
- 有用户维护了一份分布式系统论文阅读列表的合集,包含多个来源