互聯網是一個分布式系統(tǒng),無線通信、云計算或并行計算、多核系統(tǒng)、移動網絡也是如此。蟻群、大腦甚至人類社會都可以被建模為分布式系統(tǒng)。本書強調這些分布式系統(tǒng)中共同涉及的主題和技術,特別是強調分布式系統(tǒng)設計中的一些基本問題,涵蓋通信、協調、容錯性、本地性、并行性、打破對稱性、同步化、不確定性等。
譯者序
前言
第1章 頂點著色1
1.1 問題和模型1
1.2 著色樹3
1.3 本章注釋8
1.4 參考文獻9
第2章 樹算法13
2.1 廣播13
2.2 融合廣播15
2.3 廣度優(yōu)先搜索樹的構建15
2.4 最小生成樹的構建17
2.5 本章注釋20
2.6 參考文獻20
第3章 領導人選舉23
3.1 匿名領導人選舉23
3.2 異步環(huán)24
3.3 下界27
3.4 同步環(huán)29
3.5 本章注釋30
3.6 參考文獻31
第4章 分布式排序33
4.1 數組和網格33
4.2 排序網絡36
4.3 計數網絡40
4.4 本章注釋44
4.5 參考文獻45
第5章 共享內存47
5.1 模型47
5.2 互斥48
5.3 存儲和收集51
5.4 分離器53
5.5 二叉分離樹54
5.6 分離器矩陣56
5.7 本章注釋57
5.8 參考文獻57
第6章 共享對象59
6.1 集中式解決方案59
6.2 Arrow算法60
6.3 Ivy算法65
6.4 本章注釋69
6.5 參考文獻69
第7章 極大獨立集73
7.1 MIS73
7.2 原始的快速MIS75
7.3 快速MIS v278
7.4 應用83
7.5 本章注釋84
7.6 參考文獻85
第8章 本地下界87
8.1 模型87
8.2 本地性87
8.3 鄰域圖90
8.4 本章注釋94
8.5 參考文獻95
第9章 全局問題97
9.1 直徑和APSP97
9.2 下界圖100
9.3 通信復雜度102
9.4 分布式復雜度理論108
9.5 本章注釋109
9.6 參考文獻110
第10章 同步113
10.1 基礎知識113
10.2 本地同步器α114
10.3 全局同步器β115
10.4 混合同步器γ116
10.5 網絡分區(qū)118
10.6 時鐘同步120
10.7 本章注釋123
10.8 參考文獻124
第11章 穩(wěn)定性127
11.1 自穩(wěn)定性127
11.2 高級穩(wěn)定化132
11.3 本章注釋135
11.4 參考文獻136
第12章 社交網絡137
12.1 小世界網絡137
12.2 傳播研究145
12.3 本章注釋146
12.4 參考文獻146
第13章 無線協議149
13.1 基礎知識149
13.2 非統(tǒng)一的初始化150
13.3 使用碰撞檢測的統(tǒng)一初始化151
13.4 無碰撞檢測的統(tǒng)一初始化153
13.5 領導人選舉154
13.6 使用碰撞檢測的快速領導人選舉155
13.7 下界159
13.8 統(tǒng)一異步喚醒160
13.9 有用的公式161
13.10 本章注釋162
13.11 參考文獻162
第14章 標記方案165
14.1 鄰接關系165
14.2 有根樹167
14.3 道路網絡169
14.4 本章注釋171
14.5 參考文獻172
第15章 練習175