分布式計(jì)算（第二版）

第1章　引言
　1.1　分布式系統(tǒng)　
　1.2　分布式計(jì)算理論　
　1.3　內(nèi)容概要　
　1.4　理論和實(shí)踐的關(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章　共享存儲(chǔ)器中的互斥
　　4.1　共享存儲(chǔ)器系統(tǒng)的形式化模型
　　4.2　互斥問題
　　4.3　使用強(qiáng)原語的互斥
　　4.4　使用強(qiáng)原語的互斥
　　練習(xí)
　　本章注釋
　第5章　容錯(cuò)一致性
　　5.1　有損毀故障的同步系統(tǒng)
　　5.2　有Byzantine故障的同步系統(tǒng)
　　5.3　異步系統(tǒng)中的不可能性
　　練習(xí)
　　本章注釋
　第6章　因果關(guān)系和時(shí)間
　　6.1　捕獲因果關(guān)系
　　6.2　應(yīng)用因果關(guān)系的例子
　　6.3　時(shí)鐘同步
　　練習(xí)
　　本章注釋
第二部分
　第7章　模擬的形式化模型
　第8章　廣播與多播
　第9章　分布式共享存儲(chǔ)器
　第10章　讀／寫對(duì)象的容錯(cuò)模擬
　第11章　模擬同步
　第12章　改進(jìn)算法的容錯(cuò)性
　第13章　容錯(cuò)的時(shí)鐘同步
第三部分　
　第14章　隨機(jī)化
　第15章　任意對(duì)象的無等待模擬
　第16章　異步系統(tǒng)中的可解問題
　第17章　解決最終穩(wěn)定系統(tǒng)的一致性問題
參考文獻(xiàn)