分散式計算

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

本書可作為大學計算機專業高年級本科生及研究生的教材，也可作為研究人員和專業人士的參考用書。

第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章共享存儲器中的互斥

第5章容錯一致性

第6章因果關係和時間

第7章模擬的形式化模型

第8章廣播與多播

第9章分散式共享存儲器

第10章讀/寫對象的容錯模擬

第11章模擬同步

第12章改進演演算法的容錯性

第13章容錯的時鐘同步

第14章隨機化

第15章任意對象的無等待模擬

第16章非同步系統中的可解問題

參考文獻

……