分布式計算機.第二版（簡體書）

分布式計算系統現在越來越受到人們的重視，為使該較難的主題易于理解，本書簡要介紹分布式計算的數學基礎和理論，揭示設計分布式系統的底層問題（通信、協調、同步及不確定）和基本的算法概念及下界技術。所涉及模型的問題領域包括領導者選舉、互斥、一致性、時鐘同步等，以及最新的快速互斥算法、對列鎖、分布式共享存儲器、無等待層級和故障檢測器等。本書涵蓋了分布式計算理論的主要內容，強調不同模型之間的相似點，同時也解釋了它們之間的內在差異。 本書可作為大學計算機專業高年級本科生及研究生的教材，也可作為研究人員和專業人士的參考用書。

第1章　引言
　1.1　分布式系統　
　1.2　分布式計算理論　
　1.3　內容概要　
　1.4　理論和實踐的關系　
　本章注釋　
第一部分　
　第2章　消息傳遞系統中的基本算法　
2.1　消息傳遞系統的形式化模型　
2.2　生成樹上的廣播和斂播　
2.3　洪泛算法及構造生成樹　
2.4　構造指定根的深度—優先搜索生成樹　
2.5　構造不指定根的深度—優先搜索生成樹　
練習　
本章注釋　
　第3章　環中領導者選舉算法　
3.1　領導者選舉問題　
3.2　匿名環　
3.3　異步環
練習　
本章注釋　
　第4章　共享存儲器中的互斥
4.1　共享存儲器系統的形式化模型
4.2　互斥問題
4.3　使用強原語的互斥
4.4　使用強原語的互斥
練習
本章注釋
　第5章　容錯一致性
5.1　有損毀故障的同步系統
5.2　有Byzantine故障的同步系統
5.3　異步系統中的不可能性
練習
本章注釋
　第6章　因果關系和時間
6.1　捕獲因果關系
6.2　應用因果關系的例子
6.3　時鐘同步
練習
本章注釋
第二部分
　第7章　模擬的形式化模型
　第8章　廣播與多播
　第9章　分布式共享存儲器
　第10章　讀／寫對象的容錯模擬
　第11章　模擬同步
　第12章　改進算法的容錯性
　第13章　容錯的時鐘同步
第三部分　
　第14章　隨機化
　第15章　任意對象的無等待模擬
　第16章　異步系統中的可解問題
　第17章　解決最終穩定系統的一致性問題
參考文獻