《分布式操作系统》求取 ⇩

第1章 分布式系统概述1

1.1 什么是分布式系统?1

1.2 目标2

1.2.1 分布式系统与集中式系统相比较而言的优点2

1.2.2 分布式系统与独立PC机相比较的优点4

1.2.3 分布式系统的缺点5

1.3 硬件概念6

1.3.1 基于总线的多处理机8

1.3.2 交换型多处理机9

习题10

1.3.3 基于总线的多计算机10

1.3.4 交换型多计算机11

1.4 软件概念11

1.4.1 网络操作系统12

1.4.2 真正的分布式系统14

1.4.3 多处理机分时系统15

1.5 设计中的问题17

1.5.1 透明性(Transparency)17

1.5.2 灵活性19

1.5.3 可靠性20

1.5.4 性能21

1.5.5 可伸缩性22

1.6 小结23

习题24

2.1 分层协议25

第2章 分布式系统的通信25

2.1.1 物理层27

2.1.3 网络层29

2.1.4 传输层29

2.1.5 会话层30

2.1.6 表示层30

2.1.7 应用层30

2.2 异步传输模式网(ATM网)30

2.2.1 什么是异步传输模式30

2.2.2 ATM物理层32

2.2.3 ATM层32

2.2.4 ATM适配层33

2.2.5 ATM交换34

2.2.6 ATM对分布式系统的影响35

2.3.1 客户机和服务器36

2.3 客户-服务器模式36

2.3.2 客户和服务器的一个示例37

2.3.3 寻址41

2.3.4 阻塞与非阻塞原语43

2.3.5 有缓冲和无缓冲原语45

2.3.6 可靠的和非可靠原语46

2.3.7 客户-服务器模式的实现47

2.4 远程过程调用49

2.4.1 基本RPC操作50

2.4.2 参数传递53

2.4.3 动态捆绑56

2.4.4 失败情况下的RPC语义58

2.4.5 实现的问题62

2.4.6 问题领域70

2.5 组通信72

2.5.1 组通信的引入(Introduction to Group Communication)72

2.5.2 设计的问题73

2.5.3 在ISIS(组合软件调用系统)中的组通信80

2.6 小结83

习题84

第3章 分布式系统的同步86

3.1 时钟同步86

3.1.1 逻辑时钟87

3.1.2 物理时钟90

3.1.3 时钟同步算法92

3.1.4 使用同步时钟96

3.2 互斥97

3.2.1集中式算法97

3.2.2 分布式算法98

3.2.3 令牌环算法100

3.2.4 三种算法的比较101

3.3 选举算法102

3.3.1 欺负(Bully)算法103

3.3.2 环算法104

3.4 原子事务105

3.4.1 原子事务简介105

3.4.2 事务模型106

3.4.3 实现110

3.4.4 并发控制113

3.5 分布式系统中的死锁116

3.5.1 分布式死锁检测117

3.5.2 分布式死锁预防120

3.6 小结122

习题122

4.1.1 线程简介124

第4章 分布式系统中的进程和处理机124

4.1 线程124

4.1.2 线程的用途126

4.1.3 线程包的设计问题128

4.1.4 实现一个线程包130

4.1.5 线程和远程过程调用（RPC）134

4.2 系统模型136

4.2.1 工作站模型136

4.2.2 使用空闲工作站138

4.2.3 处理机池模型141

4.2.4 混合模型144

4.3 处理机分配144

4.3.1 分配模型144

4.3.2 处理机分配算法的设计问题146

4.3.3 处理机分配算法的实现问题148

4.3.4 处理机分配算法举例149

4.4 分布式系统的调度154

4.5 容错155

4.5.1组成部件错误156

4.5.2 系统失效156

4.5.3 同步系统与异步系统157

4.5.4 使用冗余157

4.5.5 使用主动复制方法的容错158

4.5.6 使用主机后备的容错159

4.5.7 容错系统中的协同一致161

4.6 实时分布式系统163

4.6.1什么是实时系统？163

4.6.2 设计问题165

4.6.3 实时通信168

4.6.4 实时调度171

4.7 小结176

习题176

第5章 分布式文件系统179

5.1 分布式文件系统设计179

5.1.1 文件服务接口179

5.1.2 目录服务器接口181

5.1.3 文件共享的语义185

5.2 分布式文件系统的实现187

5.2.1 文件的使用188

5.2.2 系统结构189

5.2.3 高速缓存（caching,超缓存）192

5.2.4 复制196

5.2.5 例子：SUN公司的网络文件系统199

5.2.6 学到的教训204

5.3 分布式文件系统的发展趋势205

5.3.1 新的硬件205

5.3.2 规模207

5.3.3 广域网207

5.3.4 移动用户208

5.3.5 容错209

5.3.6 多媒体209

5.4 小结210

第6章 分布式共享存储器212

6.1 简介213

6.2.2 基于总线的多处理机214

6.2 什么是共享存储器？214

6.2.1 芯片存储器214

6.2.3 基于环的多处理机218

6.2.4 交换式多处理机220

6.2.5 NUMA多处理机224

6.2.6 分布式共享系统的比较227

6.3 一致性模型229

6.3.1 严格一致性（Strict Consistency）230

6.3.2 顺序一致性（Sequential Consistency）231

6.3.3 因果一致性（Causal Consistency）234

6.3.4 PRAM一致性（PRAM Consistency）和处理器一致性（Processor Consistency）235

6.3.5 弱一致性（Week Consistency）236

6.3.6 释放一致性（Release Consistency）238

6.3.7 入口一致性（Entry Consistency）240

6.3.8 一致性模型总结241

6.4 基于分页的分布式共享存储器242

6.4.1 基本设计242

6.4.2 复制243

6.4.3 粒度（Granularity）244

6.4.4 实现顺序一致性（Achieving Sequential Consistency）245

6.4.5 寻找拥有者（Finding The Owner）247

6.4.6 寻找拷贝248

6.4.7 页面置换（Page Replacement）249

6.4.8 同步250

6.5 共享变量的分布式共享存储器250

6.5.1 Munin251

6.5.2 Widway256

6.6 基于对象的分布共享内存257

6.6.1 对象258

6.6.2 Linda259

6.6.3 Orca264

6.7 比较268

6.8 小结269

习题270

第7章 实例研究1：Amoeba272

7.1 Amoeba介绍272

7.1.1 Amoeba的发展史272

7.1.2 研究目标272

7.1.3 Amoeba的系统结构273

7.1.4 Amoeba微内核275

7.1.5 Amoeba服务器276

7.2 Amoeba中的对象（object）和权能（capabilities）277

7.2.1 权能Capability277

7.2.2 对象保护278

7.2.3 标准操作279

7.3 Amoeba中的进程管理280

7.3.1 进程280

7.3.2 线程282

7.4.2 段映射（mapped segments）283

7.4 Amoeba中的内存管理283

7.4.1 段（segment）283

7.5 Amoeba的通信284

7.5.1 远程过程调用（RPC）284

7.5.2 Amoeba的组通信287

7.5.3 快速本地互联协议FLIP（The Fast Local Internet Protocol）293

7.6 Amoeba服务器299

7.6.1 子弹服务器（Bullet Server）299

7.6.2 目录服务器302

7.6.4 运行服务器306

7.6.3 复制服务器306

7.6.5 引导服务器（the boot server）308

7.6.6 TCP/IP服务器308

7.6.7 其他服务器308

7.7 小结308

习题309

第8章 实例研究2：Mach311

8.1 有关Mach的介绍311

8.1.1 Mach的发展历史311

8.1.3 Mach微内核312

8.1.2 Mach的设计目标312

8.1.4 Mach的BSD UNIX服务器314

8.2 Mach中的进程管理314

8.2.1 进程314

8.2.2 线程316

8.2.3 调度319

8.3 Mach的存储管理321

8.3.1 虚拟内存322

8.3.2 存储共享324

8.3.3 外部存储管理器326

8.6.4 Mach中的分布式共享存储329

8.4 Mach中的通信330

8.4.1 端口330

8.4.2 消息的发送与接收334

8.4.3 网络消息服务器338

8.5 Mach的UNIX仿真340

8.6 小结341

习题342

9.1.1 Chorus的发展史343

9.1 Chorus简介343

第9章 实例研究3：Chorus343

9.1.2 Chorus的设计目标344

9.1.3 Chorus系统结构344

9.1.4 内核概念346

9.1.5 内核结构348

9.1.6 UNIX子系统349

9.1.7 面向对象子系统349

9.2 Chorus中的进程管理349

9.2.1 进程349

9.2.2 线程350

9.2.3 调度351

9.2.4 陷阱、异常和中断352

9.2.5 进程管理的内核调用353

9.3 Chorus的内存管理354

9.3.1 区域和段354

9.3.2 映像程序（Mapper）355

9.3.3 分布式共享存储器356

9.3.4 内存管理的内核调用356

9.4.2 端口358

9.4.1 消息358

9.4 Chorus中的通信358

9.4.3 通信操作359

9.4.4 通信的内核调用360

9.5 Chorus中的UNIX仿真361

9.5.1 UNIX进程的结构362

9.5.2 对UNIX的扩展362

9.5.3 Chorus上UNIX的实现363

9.6 COOL：一个面向对象的子系统367

9.6.1 COOL的体系结构367

9.6.3 COOL通用运行时系统368

9.6.2 COOL基层368

9.6.4 语言运行时系统369

9.6.5 COOL的实现369

9.7 Amoeba、Mach和Chorus的比较369

9.7.1 指导思想369

9.7.2 对象371

9.7.3 进程371

9.7.4 内存模式372

9.7.5 通信372

9.7.6 服务器373

9.8 小结374

习题375

第10章 实例研究4：DCE376

10.1 关于DCE的介绍376

10.1.1 DCE的历史376

10.1.2 DCE的目标376

10.1.3 DCE部件377

10.1.4 信元379

10.2 线程381

10.2.1 DCE线程介绍381

10.2.2 调度382

10.2.3 同步383

10.2.4 线程调用384

10.3 远程过程调用387

10.3.1 DCE RPC的目标387

10.3.2 客户与服务器的编写387

10.3.3 客户到服务器的绑定389

10.3.4 RPC的执行390

10.4 时间服务390

10.4.1 DTS时间模型391

10.4.2 DTS实现392

10.5 目录服务394

10.5.1 名字394

10.5.2 信元目录服务395

10.5.3 全局目录服务398

0.6 安全服务401

10.6.1 安全模式402

10.6.2 安全部件403

10.6.3 许可证与鉴别码404

10.6.4 认证过的RPC405

10.6.5 访问控制表（ACL）407

10.7 分布式文件系统408

10.7.1 DFS接口409

10.7.2 服务器核心中的DFS部件411

10.7.3 客户内核中的DFS部件413

10.7.4 用户空间中的DFS部件415

10.8 小结416

习题417

11.1 阅读材料建议419

11.1.1 介绍性和普通著作419

第11章 读物列表与参考书目419

11.1.2 分布式系统通信420

11.1.3 分布式系统同步420

11.1.4 分布式系统进程和处理机421

11.1.5 分布式文件系统422

11.1.6 分布式共享存储器422

11.1.7 实例研究1：Amoeba422

11.1.8 实例研究2：Mach423

11.1.9 实例研究3：Chorus423

11.1.10 实例研究4：DCE423

11.2 文献目录（按字母顺序排列）424