分布式計算（第二版）

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