阅读记录----编程相关书目

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消息来记录系统的状态
• 在稳定的系统中, 任意的全局状态均可由初始状态到达, 并变化为最终状态.

分布式状态