分布式计算

第一章 引言

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 定义

……

第四章 记录全局状态与快照算法

第五章 术语和基本算法

第六章 消息序与组通信

第七章 终止检测

第八章 知识推理

第九章 分布式互斥算法

第十章 死锁检测

第十一章 全局谓词的检测

第十二章 分布式共享内存

第十三章 检查点和卷回恢复

第十四章 共识和协定算法

第十五章 失效检测

第十六章 分布式系统中的验证

第十七章 自稳定

第十八章 对等计算及覆盖网络

索引

分布式计算是指由计算机网络连接的多处理平台的各种形式的计算、信息访问与信息交换。《分布式计算：原理、算法与系统》覆盖了分布式计算中的理论、算法以及系统方面的基本原理和模型。兼顾理论的广度与深度，注重实际，包括了互斥、死锁检测、认证和失效恢复等常见问题。算法经过认真选择，描述清晰，使用简单的解释和图表来说明算法。对于有重大影响的新兴主题，例如P2P网络和网络安全，也包括在本书中。
《分布式计算：原理、算法与系统》涵盖了最新的算法、大量的图解以及丰富的示例和习题，将有助于电子与计算机工程和计算机科学等专业研究生学习该课程，数据网络及传感器网络等方面的科研丁作者也可参考使用。