分布式系統設計原理與應用（簡體書）

本書較全面地介紹了分布式系統設計中的一些重要問題，包括基本概念、問題和一些可能的解決方案，主要內容有DCDL語言、分布式環境下的并行計算、Petri網行為分析模型、互斥算法和選舉算法、死鎖處理、自適應路由、分布式系統可靠性設計、靜態負載凋度、數據管理等內容。 本書可作為研究生的分布式系統設計課程的教材，也可作為高年級本科生和研究生的高級操作系統課程的教材。

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