第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章 解决最终稳定系统的一致性问题
参考文献
· · · · · · (收起)