国外计算机科学教材系列：分布式计算（第2版）

　　第1章　引言
　　1.1　分布式系统
　　1.2　分布式计算理论
　　1.3　内容概要
　　1.4　理论和实践的关系
　　本章注释
　　第一部分
　　第2章　消息传递系统中的基本算法
　　2.1　消息传递系统的形式化模型
　　2.2　生成树上的广播和敛播
　　2.3　洪泛算法及构造生成树
　　2.4　构造指定根的深度—优先搜索生成树
　　2.5　构造不指定根的深度—优先搜索生成树
　　练习
　　本章注释
　　第3章　环中领导者选举算法
　　3.1　领导者选举问题
　　3.2　匿名环
　　3.3　异步环
　　练习
　　本章注释
　　第4章　共享存储器中的互斥
　　4.1　共享存储器系统的形式化模型
　　4.2　互斥问题
　　4.3　使用强原语的互斥
　　4.4　使用强原语的互斥
　　练习
　　本章注释
　　第5章　容错一致性
　　5.1　有损毁故障的同步系统
　　5.2　有Byzantine故障的同步系统
　　5.3　异步系统中的不可能性
　　练习
　　本章注释
　　第6章　因果关系和时间
　　6.1　捕获因果关系
　　6.2　应用因果关系的例子
　　6.3　时钟同步
　　练习
　　本章注释
　　第二部分
　　第7章　模拟的形式化模型
　　第8章　广播与多播
　　第9章　分布式共享存储器
　　第10章　读／写对象的容错模拟
　　第11章　模拟同步
　　第12章　改进算法的容错性
　　第13章　容错的时钟同步
　　第三部分
　　第14章　随机化
　　第15章　任意对象的无等待模拟
　　第16章　异步系统中的可解问题
　　第17章　解决最终稳定系统的一致性问题
　　参考文献

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