本书对分布式算法进行全面介绍，包括最为重要的算法和不可能性结果。绝大部分的解都给出了数学证明。这些算法都很根据定义的复杂度衡量方法进行分析。本书还讲述针对许多典型问题的算法、各类系统模型及其能力。章后提供大量习题并列出了详细的参考文献。本书可作为高等院校计算机系统研究生的教材，尤其适合对计算机理论或体系结构感兴趣的学生学习，还适合分布式设计人员、研究人员及其相关技术人员参考。

出版者的话

专家指导委员会

译者序

前言

章引言

部分 同步网络算法

第2章建模I：同步网络模型

第3章同步环中的选择

第4章一般同步网络中的算法

第5章链路故障时的分布式一致性

第6章进程故障下的分布式一致性

第7章更多的一致性问题

第二部分 异步算法

第8章建模II：异步系统模型

第二部分A：异步共享存储器算法

第9章建模III：异步共享存储器模型

0章互斥

1章资源分配

2章一致性

3章原子对象

第二部分B：异步网络算法

4章建模IV：异步网络模型

5章基本异步网络算法

6章同步器

7章共享存储器与网络

8章逻辑时间

9章一致全局快照和稳定属性检测

第20章网络资格分配

第21章带进程故障的异步网络计算

第22章数据链路协议

第三部分 部分同步算法

第23章建模V：部分同步系统模型

第24章部分同步的互斥

第25章部分同步的一致性

参考文献

索引