分布式系統(tǒng)設(shè)計原理與應用

第1章　緒論
　1.1　分布式系統(tǒng)的定義
　1.2　互連網(wǎng)絡與特殊網(wǎng)絡
　1.3　設(shè)計模型
　1.4　習題
第2章　DCDL語言
　2.1　引言
　2.2　DCDL語言用法
　2.3　Bernstein條件
　2.4　進程通信與同步問題
　2.5　DCDL語言編程實例
　2.6　習題
第3章　分布式環(huán)境下的并行計算
3.1　并行計算模型
3.2　并行算法設(shè)計環(huán)境
3.3　并行算法舉例
3.4　習題
第4章　Petri網(wǎng)行為分析模型
　4.1　基本定義
　4.2　庫所／變遷系統(tǒng)
　4.3　出現(xiàn)序列和變遷序列
　4.4　進程
　4.5　不變量
　4.6　Petri網(wǎng)的應用
　4.7　習題
第5章　分布式系統(tǒng)的同步
5.1　因果相關(guān)事件
　5.2　全局狀態(tài)
　5.3　物理時鐘
　5.4　邏輯時鐘
　5.5　習題
第6章　互斥算法和選舉算法
　6.1　互斥問題簡介
　6.2　非令牌的解決方案
　6.3　基于令牌的解決方案
　6.4　選舉算法
　6.5　選舉過程的一種特殊實現(xiàn)——投標
　6.6 自穩(wěn)定算法
　6.7　習題
第7章　死鎖的預防、避免和檢測
　7.1　死鎖問題
　7.2　預防死鎖
　7.3　預防死鎖的例子
　7.4　死鎖避免
　7.5　死鎖的檢測和恢復
　7.6　檢測死鎖和恢復的例子
　7.7　習題
第8章　分布式系統(tǒng)路由算法
　8.1　分布式系統(tǒng)中的通信延遲
　8.2　一般類型網(wǎng)絡的最短路徑路由
　8.3　特殊類型網(wǎng)絡中的單播
　8.4　一些特殊類型網(wǎng)絡中的廣播
　8.5　一些特殊類型網(wǎng)絡中的組播
　8.6　習題
第9章 自適應、無死鎖和容錯路由
　9.1　虛信通和虛網(wǎng)絡
　9.2　完全自適應和無死鎖路由算法
　9.3　部分自適應和無死鎖路由算法
　9.4　容錯單播的一般方法
　9.5　特殊網(wǎng)絡中的容錯單播
……
第10章　分布式系統(tǒng)可靠性設(shè)計
第11章　靜態(tài)負載調(diào)度
第12章　動態(tài)負載均衡
第13章　分布式數(shù)據(jù)庫管理
參考文獻