第一章 引言
1.1 定义
1.2 与计算机系统部件的关系
1.3 动机
1.4 与并行多处理器／多计算机系统的关系
1.4.1 并行系统的特性
1.4.2 nynn的分类法
1.4.3 耦合、并行、并发及粒度
1.5 消息传递系统与共享内存系统的对比
1.5.1 在共享内存的系统上仿真消息传递
1.5.2 在消息传递系统上仿真共享内存
1.6 分布式通信的原语
1.6.1 阻塞／非阻塞，同步／异步原语
1.6.2 处理器同步性
1.6.3 库与标准
1.7 同步与异步执行
1.7.1 通过同步系统仿真异步系统
1.7.2 通过异步系统仿真同步系统
1.7.3 仿真
1.8 设计主题与挑战
1.8.1 从系统角度看分布式系统的挑战
1.8.2 分布式计算中的算法挑战
1.8.3 分布式计算的应用以及更新的挑战
1.9 关于主题的选择与覆盖
1.10 本章小结
1.11 习题
1.12 参考文献说明
参考文献
第二章 分布式计算模型
2.1 分布式程序
2.2 分布式运行模型
2.3 通信网络模型
2.4 分布式系统的全局状态
2.4.1 全局状态
2.5 分布式计算的运行分割
2.6 事件的过去和未来锥面
2.7 进程通信模型
2.8 本章小结
2.9 习题
2.10 参考文献说明
参考文献
第三章 逻辑时间
3.1 引言
3.2 逻辑时钟框架
3.2.1 定义
3.2.2 实现逻辑时钟
3.3 标量时间
3.3.1 定义
3.3.2 基本性质
3.4 向量时间
3.4.1 定义
3.4.2 基本性质
3.4.3 有关向量时钟的大小
3.5 向量时钟的有效实现
3.5.1 Singhal-Kshemkalyani的差量技术
3.5.2 Fowler-Zwaenepoel的直接依赖技术
3.6 Jard-jourdan的自适应技术
3.7 矩阵时间
3.7.1 定义
……
第四章 记录全局状态与快照算法
第五章 术语和基本算法
第六章 消息序与组通信
第七章 终止检测
第八章 知识推理
第九章 分布式互斥算法
第十章 死锁检测
第十一章 全局谓词的检测
第十二章 分布式共享内存
第十三章 检查点和卷回恢复
第十四章 共识和协定算法
第十五章 失效检测
第十六章 分布式系统中的验证
第十七章 自稳定
第十八章 对等计算及覆盖网络
索引