目录 1
第一章网络操作系统（NOS）的结构模型 1
§1—1引论 1
§1—2 NOS的结构模型 4
§1—3 IPC层的结构模型 7
§1—4服务支持层的结构模型 13
§1—5服务器的结构模型 22
§1—6对象的共享 32
§1—7分布文件系统的HPC模型 33
§1—8关于应用层 37
第二章名字与命名机构 38
§2—1引论 38
§2—2命名系统的目标 40
§2—3面向使用人员的名字 43
§2—4唯一的面向机器的名字 46
§2—5关于寻址和寻路由的问题 52
第三章网络中的并行控制 56
§3—1引论 56
§3—2网络中事件的排序 58
§3—3资源共享的同步机构 61
§3—4时钟同步机构 63
§3—5数据库多拷贝同步更新 65
第四章分布事务管理 84
§4—1引论 84
§4—2分布事务的原子性和坚持性 86
§4—3分布事务的并行控制 102
§4—4分布事务的结构 106
第五章可靠性问题 111
§5—1基本概念 111
§5—2提高可靠性的非锁提交协议 114
§5—3容错与增加事务处理能力 124
§5—4网络状态的取得 131
§5—5数据不一致性的检测和解决 134
§5—6检查点和冷启动问题 137
第六章名字服务器的设计 141
§6—1引论 141
§6—2 V—系统的名字服务器设计 144
第七章分布式程序设计语言 157
§7—1引论 157
§7—2 Ada语言概述 159
§7—3子程序、程序包和任务 168
§7—4一个简化的分布式程序设计语言CMAY 186
§7—5分布程序设计中的原语 190
§7—6一个CMAY分布程序实例 198
第八章文件服务器设计 200
§8—1引论 200
§8—2文件的使用和管理 207
§8—3支持原子事务的文件服务器内部设计 213
§8—4文件服务器对通讯的要求 223
§8—5文件服务器实例简介 228
第九章第二代以网络为基础的 231
分布式操作系统——NSW 231
§9—1引论 231
§9—2MSG的设计 235
§9—3网络与局部的接口进程Foreman 253
§9—4 FE和WM的结构 273
§9—5 NSW文件操作进程File package（FP） 287
第十章 第三代以网络为基础的 299
分布式操作系统……C ronus 299
§10—1系统的拓朴结构 299
§10—2 Cronus的对象模型 301
§10—3 Cronus内核的结构 310
§10—4分布式应用软件开发 313
参考文献与书目 322