本书从原理出发，系统性地介绍了分布式系统和算法，而非介绍如何使用某种分布式框架。本书首先介绍了分布式系统是如何被建模的，以及分布式算法是如何被描述的，然后从基础的链路抽象开始逐步增加复杂度，最终将复杂的共识抽象以简单的方式呈现在读者面前。通过阅读本书，读者不仅可以掌握常用的分布式算法，还可以学到分布式算法的证明方法及适用条件，为自行设计分布式系统和算法打下坚实的基础。
本书适合分布式领域的初学者及相关从业者阅读参考。

江峰，教授级高工，中国电信集团云计算专业首席专家，中国计算机学会信息存储专委会委员。长期在分布式存储领域从事理论研究和工程实践工作。
受内容分发网络（CDN）的启发，在业内首次提出和设计了“为写而生”的内容存储网络（CSN）——CTOOS。CTOOS实现了广域分布式海量数据存储服务的高可用、低时延和强一致，达到了单命名空间跨池数十个、实存容量过EB的规模，并长期稳定运行，为企业创造了可观的收益，技术水平达到了国内领先。
以第一作者在国际期刊会议上发表论文多篇，以第一发明人申请专利十多件，以第一完成人获得省部级、中国电信集团科技进步奖多次。

1 初识分布式
1.1 什么是分布式系统
1.2 分布式算法的意义
1.3 “两将军”问题
1.4 设计分布式算法的主要挑战
1.4.1 并发执行
1.4.2 进程失败
1.4.3 链路失败
2 算法模型
2.1 I/O自动机
2.1.1 基本模型
2.1.2 组合模型
2.1.3 隐藏操作
2.1.4 与业务逻辑的关系
2.1.5 小结
2.2 编程模型
2.2.1 调用关系
2.2.2 事件和事件处理器
2.2.3 抽象和实现
3 系统模型
3.1 进程
3.2 消息
3.3 进程启动
3.4 进程失败
3.4.1 崩溃式失败
3.4.2 遗漏式失败
3.4.3 恢复后崩溃失败
3.4.4 拜占庭失败
3.4.5 各种失败的关系
3.5 时钟
3.5.1 本地时钟和全局时钟
3.5.2 因果顺序不变
3.5.3 逻辑时钟
3.5.4 时钟偏移
3.6 时间假设
3.6.1 异步系统
3.6.2 同步系统
3.6.3 部分同步系统
3.7 安全性和活性
3.8 组合模型
3.9 多数派
3.10 性能度量
4 链路
5 失败检测和选主
6 可靠广播
7 共享内存
8 共识
9 共识的应用
10 基于时钟的算法
11 结束语
参考文献