本书较全面地介绍了分布式系统设计中的一些重要问题,包括基本概念、问题和一些可能的解决方案,主要内容有DCDL语言、分布式环境下的并行计算、Petri网行为分析模型、互斥算法和选举算法、死锁处理、自适应路由、分布式系统可靠性设计、静态负载凋度、数据管理等内容。
本书可作为研究生的分布式系统设计课程的教材,也可作为高年级本科生和研究生的**操作系统课程的教材。

第1章 绪论
1.1 分布式系统的定义
1.2 互连网络与特殊网络
1.3 设计模型
1.4 习题
第2章 DCDL语言
2.1 引言
2.2 DCDL语言用法
2.3 Bernstein条件
2.4 进程通信与同步问题
2.5 DCDL语言编程实例
2.6 习题
第3章 分布式环境下的并行计算
3.1 并行计算模型
3.2 并行算法设计环境
3.3 并行算法举例
3.4 习题
第4章 Petri网行为分析模型
4.1 基��定义
4.2 库所/变迁系统
4.3 出现序列和变迁序列
4.4 进程
4.5 不变量
4.6 Petri网的应用
4.7 习题
第5章 分布式系统的同步
5.1 因果相关事件
5.2 全局状态
5.3 物理时钟
5.4 逻辑时钟
5.5 习题
第6章 互斥算法和选举算法
6.1 互斥问题简介
6.2 非令牌的解决方案
6.3 基于令牌的解决方案
6.4 选举算法
6.5 选举过程的一种特殊实现——投标
6.6 自稳定算法
6.7 习题
第7章 死锁的预防、避免和检测
7.1 死锁问题
7.2 预防死锁
7.3 预防死锁的例子
7.4 死锁避免
7.5 死锁的检测和恢复
7.6 检测死锁和恢复的例子
7.7 习题
第8章 分布式系统路由算法
8.1 分布式系统中的通信延迟
8.2 一般类型网络的*短路径路由
8.3 特殊类型网络中的单播
8.4 一些特殊类型网络中的广播
8.5 一些特殊类型网络中的组播
8.6 习题
第9章 自适应、无死锁和容错路由
9.1 虚信通和虚网络
9.2 完全自适应和无死锁路由算法
9.3 部分自适应和无死锁路由算法
9.4 容错单播的一般方法
9.5 特殊网络中的容错单播
……
第10章 分布式系统可靠性设计
第11章 静态负载调度
第12章 动态负载均衡
第13章 分布式数据库管理
参考文献