本书旨在提供系统连贯的分布式计算理论，重点是一般主题和基本技术；将为读者介绍分布式系统设计的基本问题——通信、协同、同步和不确定性，以及基本算法和下界技术。掌握这些技术将会有助于读者设计正确的分布式应用。

本书涵盖了分布式计算理论的主要内容，强调不同模型之间的相似点，同时也解释了它们之间的内在差异。本书以准确、详细且易于理解的方式阐述最新的结论，重点放在讲明基本思想而非追求方法最优，并且用一系列渐进的解决方案来呈现较困难的结论。

书中有许多图表和例子，每章有一组按难度排列的练习。每章末尾有注释，提供相关概念的出处及涉及的文献，而且讨论它们在现有系统中的实际应用。

本书是为研究生和高年级本科生所写的一本教科书，同时也可作为研究人员和专业人员的参考书。

分布式计算系统现在越来越受到人们的重视，为使该较难的主题易于理解，本书简介分布式计算的数学基础和理论，揭示设计分布式系统的底层问题（通信、协调、同步及不确定）和基本的算法概念及下界技术。所涉及模型的问题领域包括领导者选举、互斥、一致性、时钟同步等，以及最新的快速互斥算法、对列锁、分布式共享存储器、无等待层级和故障检测器等。本书涵盖了分布式计算理论的主要内容，强调不同模型之间的相似点，同时也解释了它们之间的内在差异。

本书可作为大学计算机专业高年级本科生及研究生的教材，也可作为研究人员和专业人士的参考用书。

 第1章　引言

第一部分　

　第2章　消息传递系统中的基本算法　

　第3章　环中领导者选举算法　

　第4章　共享存储器中的互斥

　第5章　容错一致性

　第6章　因果关系和时间

第二部分

　第7章　模拟的形式化模型

　第8章　广播与多播

　第9章　分布式共享存储器

　第10章　读／写对象的容错模拟

　第11章　模拟同步

　第12章　改进算法的容错性

　第13章　容错的时钟同步

第三部分　

　第14章　随机化

　第15章　任意对象的无等待模拟

　第16章　异步系统中的可解问题

　第17章　解决最终稳定系统的一致性问题

参考文献