分布式計算（第二版）

定　價：￥39.00

作　者：	（美國）（Hagit Attiya）阿蒂雅等著；駱志剛等譯
出版社：	電子工業(yè)出版社
叢編項：	國外計算機(jī)科學(xué)教材系列
標(biāo)　簽：	計算機(jī)理論

購買這本書可以去

ISBN：	9787121062438	出版時間：	2008-04-01	包裝：	平裝
開本：	16	頁數(shù)：	302 pages	字?jǐn)?shù)：

內(nèi)容簡介

　　分布式計算系統(tǒng)現(xiàn)在越來越受到人們的重視，為使該較難的主題易于理解，本書簡要介紹分布式計算的數(shù)學(xué)基礎(chǔ)和理論，揭示設(shè)計分布式系統(tǒng)的底層問題（通信、協(xié)調(diào)、同步及不確定）和基本的算法概念及下界技術(shù)。所涉及模型的問題領(lǐng)域包括領(lǐng)導(dǎo)者選舉、互斥、一致性、時鐘同步等，以及最新的快速互斥算法、對列鎖、分布式共享存儲器、無等待層級和故障檢測器等。本書涵蓋了分布式計算理論的主要內(nèi)容，強(qiáng)調(diào)不同模型之間的相似點，同時也解釋了它們之間的內(nèi)在差異。本書可作為大學(xué)計算機(jī)專業(yè)高年級本科生及研究生的教材，也可作為研究人員和專業(yè)人士的參考用書。

作者簡介

暫缺《分布式計算（第二版）》作者簡介

圖書目錄

第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)