中文名: 分布式算法
原名: Distributed Algorithms
作者: Lynch
Gebali
Berman
Shonkwiler
圖書分類: 軟件
資源格式: PDF
版本: 英文掃描版
出版社: Morgan Kaufmann
書號: 1558603484
發行時間: 1996年
地區: 美國
語言: 英文
簡介:

djvu 閱讀器：
http://windjview.sourceforge.net
內容簡介：
　　 在本書中，作者給出設計，實現和分析分布式算法的藍圖。本書適合學生、程序員、系統分析員和研究人員等不同類型的讀者。本書包括這個領域最重要的算法和不可能解．而且都采用簡單的自動機理論進行論述。對所有算法的正確性都給予證明．並且根據精確定義的復雜度標准分析算法的復雜度。其中涉及的問題包括資源分配、通信、分布式處理器之間的一致性、數據一致性、死鎖檢測、領導者進程的選取、全局快照等。
　　 本書的內容按照系統模型組織，首先是根據定時模型．然後在定時模型內再根據進程間的通信機制。不同系統的材料分別獨立成章，便於查閱。
　　 本書論述十分嚴謹，但又很直觀．便於讀者迅速理解。本書也為讀者提供設計新的算法和證明新的不可能解的基本數學工具。而且，它教給讀者怎樣對分布式系統進行嚴格的推理 —包括形式化建模，為它們所需的行為設計精確的指標，證明它們的正確性．並且用實際的度量標准來評價它們的性能。
　　 本書對分布式算法進行全面介紹，包括最為重要的算法和不可能性結果。絕大部分的解都給出了數學證明。這些算法都根據精確定義的復雜度衡量方法進行分析。本書還講述針對許多典型問題的算法、各類系統模型及其能力。章後提供大量習題並列出了詳細的參考文獻。
　　 本書可作為高等院校計算機系研究生的教材，尤其適合對計算機理論或體系結構感興趣的學生學習，還適合分布式設計人員、研究人員及其相關技術人員參考。
內容簡介：

目錄:
前言
第1章 引言 1
1.1 相關主題 1
1.2 我們的觀點 2
1.3 本書內容綜述 3
1.4 參考文獻注釋 7
1.5 標記 7
第一部分 同步網絡算法
第2章 建模i：同步網絡模型 10
2.1 同步網絡系統 10
2.2 故障 11
2.3 輸入和輸出 11
2.4 運行 11
2.5 證明方法 12
2.6 復雜度度量 12
2.7 隨機化 12
2.8 參考文獻注釋 13