第1章 绪论 1
1.1分布式系统的定义 1
1.2互连网络与特殊网络 4
1.3设计模型 8
1.4习题 11
第2章 DCDL语言 12
2.1引言 12
2.2 DCDL语言用法 12
2.3 Bernstein条件 18
2.4进程通信与同步问题 19
2.5 DCDL语言编程实例 22
2.6习题 28
第3章 分布式环境下的并行计算 29
3.1并行计算模型 29
3.2并行算法设计环境 36
3.3并行算法举例 45
3.4习题 59
第4章 Petri网行为分析模型 61
4.1基本定义 61
4.2库所／变迁系统 66
4.3出现序列和变迁序列 77
4.4进程 81
4.5不变量 85
4.6 Petri网的应用 88
4.7习题 90
第5章 分布式系统的同步 91
5.1因果相关事件 91
5.2全局状态 93
5.3物理时钟 99
5.4逻辑时钟 101
5.5习题 105
第6章 互斥算法和选举算法 106
6.1互斥问题简介 106
6.2非令牌的解决方案 107
6.3基于令牌的解决方案 110
6.4选举算法 114
6.5选举过程的一种特殊实现——投标 120
6.6自稳定算法 121
6.7习题 123
第7章 死锁的预防、避免和检测 125
7.1死锁问题 125
7.2预防死锁 130
7.3预防死锁的例子 131
7.4死锁避免 134
7.5死锁的检测和恢复 139
7.6检测死锁和恢复的例子 141
7.7习题 143
第8章 分布式系统路由算法 146
8.1分布式系统中的通信延迟 146
8.2一般类型网络的最短路径路由 148
8.3特殊类型网络中的单播 151
8.4一些特殊类型网络中的广播 155
8.5一些特殊类型网络中的组播 159
8.6习题 163
第9章 自适应、无死锁和容错路由 164
9.1虚信通和虚网络 164
9.2完全自适应和无死锁路由算法 166
9.3部分自适应和无死锁路由算法 167
9.4容错单播的一般方法 169
9.5特殊网络中的容错单播 169
9.6超立方网络中的容错单播 173
9.7容错广播 176
9.8容错组播 178
9.9习题 183
第10章 分布式系统可靠性设计 184
10.1基本定义 184
10.2容错系统的构件模块设计 185
10.3节点故障的处理方法 186
10.4向后恢复的缺陷 189
10.5拜占庭式故障及其处理 193
10.6通信故障处理 198
10.7软件故障处理 200
10.8习题 202
第11章 静态负载调度 204
11.1静态调度的分类 204
11.2静态负载调度原理 205
11.3基于任务优先图的静态负载分配 208
11.4最优调度算法 210
11.5基于任务交互图的静态负载分配 212
11.6不同处理器能力条件下的任务交互图调度 214
11.7单处理器上速率单调优先调度和期限驱动调度 216
11.8基本故障-安全调度 219
11.9扩展故障-安全调度 221
11.10小结 224
11.11习题 225
第12章 动态负载均衡 227
12.1动态负载均衡原理 227
12.2动态负载均衡策略 228
12.3动态负载均衡算法 230
12.4负载信息的收集 232
12.5负载平衡参数 232
12.6负载平衡的实现 234
12.7小结 241
12.8习题 241
第13章 分布式数据库管理 244
13.1数据库的基本概念 244
13.2可串行的基本原理 244
13.3并发控制方法 247
13.4复制控制管理 250
13.5分布式数据库系统可靠性协议 256
13.6习题 259
参考文献 262