第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章 解決最終穩定係統的一緻性問題
參考文獻
· · · · · · (收起)