第一章 分布式系统引论 1
1.1什么是操作系统 1
1.2什么是分布式系统 2
1.2.1 流行的网络拓扑和特点 2
1.2.2 ISO/OSI参考模型 6
1.2.3 分布式计算模型 8
1.2.4 分布式与集中式解决方案 10
1.2.5 网络与分布式操作系统 10
1. 3什么是实时系统 11
1.3.1 实时事件的特点 11
1.3.2 影响分布式实时应用的网络特性 12
1.4什么是并行系统 13
1.4.1 并行体系结构 13
1.5分布式应用举例 16
1.4.2 并行软件范例 16
1.6小结 18
1.7参考文献 18
习题 19
第二章 内核 21
2.1内核类型 21
2.2进程和线程 22
2.2.1 多线程进程介绍 24
2.2.2 多线程进程范例 24
2.2.3 多线程支持 25
2. 3进程管理 26
2.3.1 进程类型 27
2.3.2 负荷分布和进程迁移 28
2.4进程调度 30
2.4.1 识别用于调度的进程 30
2.4.2 调度器的组织 32
2.6参考文献 33
2.5小结 33
习题 34
第三章 进程间通信 37
3.1选择因素 37
3.2消息传递 37
3.2.1 阻塞原语 38
3.2.2 非阻塞原语 40
3.2.3 进程地址 40
3.3管道 42
3.3.1 非命名管道 43
3.3.2 命名管道 43
3.4套接字 44
3.4.1 UNIX套接字 45
3.4.2 Java对套接字的支持 48
3.5.3 参数整理 50
3.5.2 数据类型支持 50
3.5.1 参数类型 50
3.5远程过程调用 50
3.5.4 RPC绑定 51
3.5.5 RPC认证 52
3.5.6 RPC调用语义 52
3.5.7 SUN的ONC RPC 52
3.6小结 53
3.7参考文献 53
第四章 内存管理 54
4.1集中式内存管理回顾 56
4.1.1 虚拟内存 56
4.1.2 页面和段 56
4.1.3 页替换算法 58
4.2简单内存管理 59
4.3共享内存模型 59
4.3.1 共享内存性能 60
4.4分布式共享内存 61
4.4.1 分布式共享数据的方法 61
4.3.2 高速缓存一致性 61
4.4.2 DSM性能问题 66
4.5内存迁移 66
4.6小结 68
4.7参考文献 69
习题 69
第五章 并发控制 71
5.1互斥和临界区 71
5.2信号量 72
5.2.1信号量的缺点 73
5.2.2信号量评估 74
5.3管程 74
5.3.1 条件变量 74
5.3.2 管程评估 75
5.4锁 75
5.4.1 轮转 76
5.4.2 原子操作和硬件支持 77
5.5软件锁控制 78
5.5.1 集中式锁管理器 78
5.5.2 分布式锁管理器 79
5.6令牌传递互斥 80
5.7死锁 80
5.7.1 防止死锁 81
5.7.2 避免死锁 82
5.7.3 忽略死锁 82
5.7.4 检测死锁 82
5.8小结 83
5.9参考文献 84
习题 84
第六章 基于对象的操作系统 86
6.1对象介绍 86
6.1.1 对象定义 86
6.1.2 对象的评价 87
6.2 Clouds对象方法 88
6.2.1 Clouds的对象 88
6.2.2 Clouds的线程 89
6.2.3 Clouds内存存储 89
6.3 ClorusV3 90
6.3.1 基层:COOL内存管理 90
6.3.2 通用运行时系统层:COO对象 91
6.3.3 特定语言运行时系统层 92
6.4 Amoeba 92
6.4.1 Amoeba 对象的标识和保护 92
6.4.2 Amoeba 的对象通信 92
6.5分布式组件对象模型 93
6.5.1 标记 94
6.5.2 远程方法调用 95
6.5.3 资源回收 95
6.5.4 DCOM中支持的线程模型 95
6.5.5 DCOM的安全策略 96
6.6 CORRB概述 97
6.6.1 CORRB的ORB 97
6.6.2 CORRB的对象适配器 98
6.6.3 CORRB的消息模型 100
6.6.4 遵从CORRB标准 100
6.6.5 CORRB到COM的映射 100
6.7小结 100
6.8参考文献 101
习题 101
第七章 分布式进程管理 102
7.1分布式调度算法选择 102
7.1.1 高度层次 102
7.1.2 负荷分布目标 103
7.1.3 调度的有效目标 103
7.1.4 处理器绑定时间 104
7.2.1 使用点数方法 106
7.2调度算法的方法 106
7.2.2 图论方法 107
7.2.3 探查 109
7.2.4 调度队列 110
7.2.5 随机学习 111
7.3协调者选举 112
7.4孤儿进程 114
7.4.1 孤儿进程清除 114
7.4.2 子进程限额 116
7.4.3 进程版本号 116
7.5小结 117
7.6参考文献 118
习题 118
第八章 分布式文件系统 120
8.1分布式名字服务 120
8.1.1 文件类型 120
8.1.2 位置透明 121
8.1.3 全局命名与名字透明 123
8.2分布式文件服务 125
8.2.1 文件多样性 126
8.2.2 文件修改通知 128
8.2.3 文件服务实现 128
8.2.4 文件复制 129
8.3分布式目录服务 130
8.3.1 目录结构 131
8.3.2 目录管理 131
8.3.3 目录操作 131
8.4网络文件系统 132
8.4.1 NFS文件服务 132
8.4.2 NFS目录服务 133
8.4.3 NFS名字服务 134
8.5 X.500 134
8.6小结 135
8.5.1 X.500文件和名字服务:信息模型 135
8.5.2 X.500的目录服务:目录模型 135
8.7参考文献 136
习题 137
第九章 事务管理和一致性模型 139
9.1事务管理的动机 139
9.1.1 更新遗失 139
9.1.2 检索的不一致 140
9.2事务的ACID特性 143
9.3一致性模型 145
9.3.1 严格一致性模型 145
9.3.2 顺序一致性模型 145
9.3.3 偶然一致性模型 146
9.3.4 PRAM一致性模型 147
9.3.5 处理器一致性模型 147
9.3.6 弱一致性模型 148
9.3.7 释放一致性模型 150
9.3.8 懒释放一致性 151
9.3.9 入口一致性模型 151
9.4两阶段提交协议 152
9.4.1 准备提交阶段 153
9.4.2 提交阶段 153
9.5嵌套事务 154
9.6事务实一中的问题 156
9.6.1 预读写 156
9.6.2 中途退出的多米诺效应 156
9.6.3 保证恢复能力 156
9.7小结 156
9.8参考文献 157
习题 157
10.2.1 获得准确的物理时间 159
10.2物理时钟 159
第十章 分布式同步 159
10.1全局时间介绍 159
10.2.2 物理时间的同步 160
10.2.3 集中式物理时间服务 161
10.2.4 分布式物理时间服务 163
10.3网络时间协议 164
10.3.1 NTP体系结构 164
10.3.2 NTP设计目标 165
10.3.3 NTP同步模式 166
10.3.4 简单网络时间协议 169
10.4逻辑时钟 169
10.4.1 超前关系 169
10.4.2 逻辑顺序 170
10.4.3 带有逻辑时钟的总体排序 172
10.5小结 172
习题 173
10.6参考文献 173
第十一章 分布式安全 175
11.1加密和数字签名 175
11.1.1 对称加密 176
11.1.2 非对称加密 179
11.2身份认证 183
11.2.1 证书表 183
11.2.2 集中式证书分送中心 186
11.3访问控制 189
11.3.1 包过滤网关 189
11.3.2 代理服务 190
11.3.3 防火墙体系结构 191
11.4小结 192
11.5参考文献 192
习题 193
第十二章 实例研究 195
12.1概述 196
12.2内核模式综述 197
12.2.1 内核对象 199
12.2.2 硬件抽象层 200
12.2.3 设备驱动程序 200
12.2.4 执行程序 200
12.3即插即用 201
12.4NT文件系统 204
12.4.1 访问控制表 204
12.4.2 再解析点 205
12.4.3 存储管理 206
12.5活动目录 206
12.5.1 名字空间 208
12.5.2 通过修改日志实现复制和可扩展性 209
12.5.3 微软的索引服务器和HTTP支持 210
12.6微软管理控制台 212
12.7.2 集群抽象 213
12.7.1 集群服务概况 213
12.7集群服务 213
12.7.3 集群服务体系结构 214
12.7.4 为应用程序配置的集群服务 215
12.8安全性 215
12.8.1 安全配置编辑器 215
12.8.2 加密文件系统 217
12.8.3 微软安全支持提供者接口 218
12.9 HYDRA 219
12.10小结 220
12.11参考文献 220
习题 220
附录A 外科手术调整程序 222
缩写词表 288
术语表 292
参考文献目录 303
索引 318