分布式计算

第1章引言

第一部分

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

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

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

第5章容错一致性

第6章因果关系和时间

第二部分

第7章模拟的形式化模型

第8章广播与多播

第9章分布式共享存储器

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

第11章模拟同步

第12章改进算法的容错性

第13章容错的时钟同步

第三部分

第14章随机化

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

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

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

参考文献

　　本书旨在提供系统连贯的分布式计算理论，重点是一般主题和基本技术；将为读者介绍分布式系统设计的基本问题通信、协同、同步和不确定性，以及基本算法和下界技术。掌握这些技术将会有助于读者设计正确的分布式应用。本书涵盖了分布式计算理论的主要内容，强调不同模型之间的相似点，同时也解释了它们之间的内在差异。本书以准确、详细且易于理解的方式阐述最新的结论，重点放在讲明基本思想而非追求方法最优，并且用一系列渐进的解决方案来呈现较困难的结论。书中有许多图表和例子，每章有一组按难度排列的练习。每章末尾有注释，提供相关概念的出处及涉及的文献，而且讨论它们在现有系统中的实际应用。本书是为研究生和高年级本科生所写的一本教科书，同时也可作为研究人员和专业人员的参考书。　　分布式计算系统现在越来越受到人们的重视，为使该较难的主题易于理解，本书简介分布式计算的数学基础和理论，揭示设计分布式系统的底层问题（通信、协调、同步及不确定）和基本的算法概念及下界技术。所涉及模型的问题领域包括领导者选举、互斥、一致性、时钟同步等，以及最新的快速互斥算法、对列锁、分布式共享存储器、无等待层级和故障检测器等。本书涵盖了分布式计算理论的主要内容，强调不同模型之间的相似点，同时也解释了它们之间的内在差异。　　本书可作为大学计算机专业高年级本科生及研究生的教材，也可作为研究人员和专业人士的参考用书。