本书旨在提供系统连贯的分布式计算理论,重点是一般主题和基本技术;将为读者介绍分布式系统设计的基本问题——通信、协同、同步和不确定性,以及基本算法和下界技术。掌握这些技术将会有助于读者设计正确的分布式应用。
本书涵盖了分布式计算理论的主要内容,强调不同模型之间的相似点,同时也解释了它们之间的内在差异。本书以准确、详细且易于理解的方式阐述最新的结论,重点放在讲明基本思想而非追求方法最优,并且用一系列渐进的解决方案来呈现较困难的结论。
书中有许多图表和例子,每章有一组按难度排列的练习。每章末尾有注释,提供相关概念的出处及涉及的文献,而且讨论它们在现有系统中的实际应用。
本书是为研究生和高年级本科生所写的一本教科书,同时也可作为研究人员和专业人员的参考书。