Book
Distributed Algorithms
- 很详细, 由浅入深, 全面地介绍了各种分布式算法
- 非常推荐!
Communicating Sequential Process
- 还没看
共识:从理论到实践
- raft作者的书, 关于分布式共识算法
Pony Tutorial
- pony 语言, OO + actor model, 看起来很有趣
数学与泛型编程（斯捷潘诺夫）（机械工业出版社）
- 太难了，如果不是对数学非常感兴趣，不建议阅读
编译原理（龙书）
- 非常适合慢慢看，难度由浅入深，过难的部分可以跳过
Paper
✔️2007___分布式系统介绍
- Google 对分布式系统的介绍
- 讲了分布式系统中会出现的错误
- 讲了网络的层次
- 介绍了RPC
✔️1984___实现RPC
- 详细说明了rpc的目的,原理和实现方式
✔️2004___MapReduce:大型集群中的简化数据处理
- Google著名论文
- MapReduce是一个很简洁的模型
✔️1978___分布式系统中的时间,时钟和事件的顺序
- 逻辑时钟的目的, 原理以及数学证明
- 部分有序和完全有序的概念
✔️1982___拜占庭将军问题
- 提出了拜占庭将军问题：即一个分布式系统中可以承受多少个“间谍”节点
- 解决拜占庭将军问题的几种方法
✔️1999___实用拜占庭容错
- 结合了3PC协议
- timeout来触发view-change
- 使用信息验证码(MAC)来加密
再看Viewstamped Replication
寻找一种可理解的共识算法
- raft 论文
支持高吞吐和可用性的链式复制
✔️分布式快照: 确定分布式系统的全局状态
- 分布式系统的状态包含每个进程的状态, 以及消息通道的状态
- 可以通过传递一个marker消息来记录系统的状态
- 在稳定的系统中, 任意的全局状态均可由初始状态到达, 并变化为最终状态.
