高級操作系統(tǒng)

第一章  分布式計算機系統(tǒng)
1.1  分布式系統(tǒng)的特征
1.1.1  資源共享
1.1.2  開放性
1.1.3  并發(fā)性
1.1.4  容錯性
1.1.5  透明性
1.2  分布式系統(tǒng)的總體評價
1.2.1  優(yōu)點
1.2.2  不足
1.3  分布式系統(tǒng)的結(jié)構(gòu)
1.4  分布式系統(tǒng)的資源管理
1.5  分布式系統(tǒng)的拓樸結(jié)構(gòu)
1.5.1  全互連結(jié)構(gòu)
1.5.2  部分互連結(jié)構(gòu)
1.5.3  層次結(jié)構(gòu)
1.5.4  星形結(jié)構(gòu)
1.5.5  環(huán)形結(jié)構(gòu)
1.5.6  多存取總線結(jié)構(gòu)
1.5.7  環(huán)星形結(jié)構(gòu)
1.5.8  有規(guī)則結(jié)構(gòu)
1.5.9  不規(guī)則結(jié)構(gòu)
1.5.10  立方體結(jié)構(gòu)
1.6  計算機網(wǎng)絡(luò)
1.6.1  遠程網(wǎng)
1.6.2  局域網(wǎng)
1.6.3  網(wǎng)絡(luò)分層結(jié)構(gòu)及通信協(xié)議
1.7  分布式操作系統(tǒng)
1.7.1  多機操作系統(tǒng)的基本結(jié)構(gòu)
1.7.2  設(shè)計分布式操作系統(tǒng)時應(yīng)考慮的問題
1.7.3  構(gòu)造分布式操作系統(tǒng)的途徑
1.7.4  分布式操作系統(tǒng)析結(jié)構(gòu)模型
1.7.5  分布式操作系統(tǒng)的層次劃分
1.7.6  分布式操作系統(tǒng)的控制策略
1.7.7  分布式系統(tǒng)與計算機網(wǎng)絡(luò)
1.7.8  分布式操作系統(tǒng)的設(shè)計方法
1.8  小結(jié)
第二章  分布式通信
2.1  概述
2.1.1  發(fā)送策略
2.1.2  連接策略
2.1.3  爭奪處理
2.1.4  保密
2.2  消息傳遞
2.2.1  消息傳遞原語
2.2.2  同步消息傳遞方式的應(yīng)用
2.2.3  組通信
2.2.4  組通信的實現(xiàn)
2.2.5  組通信的一個實例
2.3  遠程過程調(diào)用
2.3.1  RPC的功能
2.3.2  RPC的通信模型
2.3.3  RPC的結(jié)構(gòu)及實現(xiàn)
2.3.4  RPC的語義
2.3.5  多對多RPC模型
2.4  異步分布進程通信模型
2.4.1  PCAP模型
2.4.2  通道語法規(guī)則
2.4.3  PCAP模型的基本算法及其改進
2.4.4  一個層次-F通道應(yīng)用
2.4.5  性能分析
2.5  小結(jié)
第三章  分布式協(xié)同處理
3.1  事件定序與時間戳
3.1.1  同步物理時鐘
3.1.2  邏輯時間和邏輯時鐘
3.2  分布式互斥
3.2.1  分布式互斥算法的基本假定
3.2.2  集中式算法
3.2.3  Lamport算法
3.2.4  Ricart和Agrawala算法
3.2.5  令牌傳遞算法
3.3  選擇算法
3.3.1  Bully算法
3.3.2  基于環(huán)結(jié)構(gòu)的算法
3.4  小結(jié)
第四章  資源管理
4.1  資源共享
4.1.1  數(shù)據(jù)遷移
4.1.2  計算遷移
4.1.3  作業(yè)遷移
4.2  資源管理
4.2.1  局部集中管理
4.2.2  分散式管理
4.2.3  分級式管理
4.2.4  分散式資源管理算法
4.2.5  招標處理
4.3  資源配圖
4.3.1  進程分配圖
4.3.2  進程等待圖
4.3.3  利用時間戳預(yù)防死鎖
4.3.4  死鎖檢測方法
4.3.5  集中式死鎖檢測方法
4.3.6  層次式死鎖檢測方法
4.4  小結(jié)
第五章  進程與處理機管理
5.1  進程和線程
5.1.1 地址空間
5.1.2  創(chuàng)建新進程
5.1.3  線程
5.1.4  線程和多進程
5.1.5  線程編程
5.1.6  線程調(diào)度
5.1.7  線程的實現(xiàn)
5.2  進程管理
5.2.1  分布式進程
5.2.2  分布工進程的狀態(tài)與切換
5.2.3  分布式進程的同步與互斥
5.3  處理機管理
5.3.1  處理機的狀態(tài)及其轉(zhuǎn)換
5.3.2  處理機通信
5.3.3  處理機分配與調(diào)度
5.4  小結(jié)
第六章  任務(wù)分配與負載平衡
6.1  任務(wù)分配
6.1.1  任務(wù)分配環(huán)境
6.1.2  影響系統(tǒng)性能的因素
6.1.3  基于圖論的分配策略
6.1.4  0-1程序設(shè)計策略
6.1.5  "合-閥值"啟發(fā)式分配算法
6.1.6  啟發(fā)式算法簡評
6.1.7  一個改進的啟發(fā)式算法
6.1.8  基于遺傳算法和模擬退火算法的任務(wù)分配策略
6.1.9  基于非循環(huán)有向任務(wù)圖的任務(wù)調(diào)度策略
6.2  負載平衡
6.2.1  概述
6.2.2  負載平衡算法分類
6.2.3  負載平衡算法的組成
6.2.4  發(fā)送者主動算法
6.2.5  接收者主要算法
6.2.6  以向主動算法
6.2.7  梯度模型
6.2.8  接收者主動的透算法
6.2.9  預(yù)約策略
6.2.10  投標策略
6.2.11  廣播策略
6.3  智能型任務(wù)調(diào)度算法
6.3.1  任務(wù)調(diào)度中的知識及其表示
6.3.2  任務(wù)調(diào)度程序的結(jié)構(gòu)
6.3.3  任務(wù)調(diào)度算法的實現(xiàn)
6.4  小結(jié)
第七章  分布式文件系統(tǒng)
7.1  分布式文件系統(tǒng)的要求
7.2  分布式文件系統(tǒng)的組成
7.3  設(shè)計策略
7.4  接口
7.4.1  展開文件服務(wù)
7.4.2  與UNIX的比較
7.4.3  目錄服務(wù)
7.5  文件系統(tǒng)實現(xiàn)技術(shù)
7.5.1  文件組結(jié)構(gòu)
7.5.2  權(quán)限和存取控制
7.5.3  文件定位
7.5.4  快速緩存
7.6  NFS分析
7.7  小結(jié)
第八章  命名服務(wù)
8.1  概述
8.1.1  各字與屬性
8.1.2  名字服務(wù)系統(tǒng)
8.1.3  名字服務(wù)的一般要求
8.2  一般的命名方式
8.3  分布式系統(tǒng)中的命名方式
8.3.1  名字管理器的主要功能
8.3.2  分布式系統(tǒng)中的命名方案
8.3.3  唯一標識符和字符串名
8.4  名字服務(wù)器的設(shè)計
8.5  分布式系統(tǒng)的透明性
8.5.1  透明性
8.5.2  與透明性相關(guān)的幾個問題
8.6  實例分析
8.6.1  SNS
8.6.2  Internet域名系統(tǒng)(IDNS)
8.7  小結(jié)
第九章  事務(wù)的并發(fā)控制
9.1  概述
9.2  鎖機制
9.2.1  鎖的實現(xiàn)
9.2.2  提高鎖機制的并發(fā)度
9.3  樂觀并發(fā)控制
9.3.1  事務(wù)驗證
9.3.2  向后驗證
9.3.3  向前驗證
9.3.4  向關(guān)驗證和向后驗證的比較
9.3.5  饑餓問題
9.4  時間戳定序
9.5  并發(fā)控制方法的比較
9.6  小結(jié)
第十章  分布式事務(wù)
10.1  概述
10.2  簡單分布式事務(wù)和嵌套事務(wù)
10.2.1  分布式事務(wù)的協(xié)調(diào)者
10.3  原子提交協(xié)議
10.3.1  兩階段提交協(xié)議
10.3.2  嵌套事務(wù)的兩階段提交協(xié)議
10.4  分布式事務(wù)的并發(fā)控制
10.4.1  分布式事務(wù)的鎖機制
10.4.2  多布式事務(wù)中的時間戳定序的并發(fā)控制
10.4.3  分布式事務(wù)中樂觀并發(fā)控制
10.5  分布式死鎖
10.6  帶復(fù)制數(shù)據(jù)的事務(wù)
10.6.1  復(fù)制事務(wù)的體系結(jié)構(gòu)
10.6.2  有效副本復(fù)制
10.6.3  網(wǎng)絡(luò)分割
10.6.4  帶驗證的有效副本
10.6.5  定數(shù)一致方法
10.6.6  虛擬分割算法
10.7  小結(jié)
第十一章  恢復(fù)與容錯
11.1  概述
11.2  事件恢復(fù)
11.2.1  登錄
11.2.2  影子版本
11.2.3  恢復(fù)文件中的事務(wù)狀態(tài)表及意向表表目
11.2.4  事務(wù)的故障模型
11.3  容錯
11.3.1  故障特征
11.3.2  Byzantine故障
11.4  分層故障屏蔽和成組故障屏蔽
11.4.1  分層屏蔽
11.4.2  成組故障屏蔽
11.4.3  穩(wěn)定存儲器
11.4.4  主服務(wù)器與備份服務(wù)器
11.5  小結(jié)
第十二章  分布式共享內(nèi)存
12.1  概述
12.1.1  消息傳遞與DSM的比較
12.1.2  DSM的主要處理方式
12.2  設(shè)計和應(yīng)用
12.2.1  數(shù)據(jù)結(jié)構(gòu)
12.2.2  同步模型
12.2.3  一致性模型
12.2.4  修改問題
12.2.5  顆粒性
12.2.6  抖動問題
12.3  有序一致性與Ivy系統(tǒng)
12.4  自由一致性與Munin系統(tǒng)
12.4.1  自由一致性
12.4.2  Munin系統(tǒng)
12.5  其他一致性模型
12.6  小結(jié)
第十三章  面向?qū)ο蟮姆植际讲僮飨到y(tǒng)設(shè)計
13.1  對象概念
13.2  利用對象構(gòu)造分布式操作系統(tǒng)的基本方法
13.3  對象的保護域和權(quán)限
13.4  對象的同步
13.5  進程管理
13.6  存儲管理
13.7  設(shè)備管理
13.8  I/O管理
13.9  通信管理
13.10  小結(jié)
第十四章  分布式操作系統(tǒng)實例分析
14.1  Mach系統(tǒng)
14.1.1  設(shè)計目標和主要設(shè)計特性
14.1.2  Mach的主要概念
14.1.3  端口、命名和保護
14.1.4  任務(wù)和線程
14.1.5  通信模型
14.1.6  通信實現(xiàn)
14.1.7  內(nèi)存管理
14.1.8  外部頁面
14.1.9  Mach主要特征的討論
14.2  Chorus系統(tǒng)
14.2.1  設(shè)計目標和主要設(shè)計特性
14.2.2  Chorus的主要概念
14.2.3  進程管理模型
14.2.4  命名和保護
14.2.5  資源和群組管理
14.2.6  通信模型及其實現(xiàn)
14.2.7  Chorus的主要特征
14.3  Amoeba系統(tǒng)
14.3.1  設(shè)計目標和主要設(shè)計特征
14.3.2  保護和權(quán)限
14.3.3  進程與通信
14.3.4  通信實現(xiàn)
14.3.5  Amoeba主要特征的討論
14.4  Mach,Chorus和Amoeba在者的比較
第十五章  新型分布式操作系統(tǒng)及其研制方法研究
15.1  新型分布式操作系統(tǒng)自動生成系統(tǒng)模型
15.2  需要解決的關(guān)鍵問題
15.3
參考文獻