中文名: 分布式算法原名: Distributed Algorithms
作者: Lynch
陈国良图书
分类: 软件
资源格式: PDF
版本: 英文扫描版
出版社: Lynch
Gebali
Berman
Shonkwiler
书号: 1558603484
发行时间: 1996年
地区: 美国
语言: 英文
内容简介：
在本书中，作者给出设计，实现和分析分布式算法的蓝图。本书适合学生、程序员、系统分析员和研究人员等不同类型的读者。本书包括这个领域最重要的算法和不可能解．而且都采用简单的自动机理论进行论述。对所有算法的正确性都给予证明．并且根据精确定义的复杂度标准分析算法的复杂度。其中涉及的问题包括资源分配、通信、分布式处理器之间的一致性、数据一致性、死锁检测、领导者进程的选取、全局快照等。
本书的内容按照系统模型组织，首先是根据定时模型．然后在定时模型内再根据进程间的通信机制。不同系统的材料分别独立成章，便于查阅。
本书论述十分严谨，但又很直观．便于读者迅速理解。本书也为读者提供设计新的算法和证明新的不可能解的基本数学工具。而且，它教给读者怎样对分布式系统进行严格的推理 —包括形式化建模，为它们所需的行为设计精确的指标，证明它们的正确性．并且用实际的度量标准来评价它们的性能。
本书对分布式算法进行全面介绍，包括最为重要的算法和不可能性结果。绝大部分的解都给出了数学证明。这些算法都根据精确定义的复杂度衡量方法进行分析。本书还讲述针对许多典型问题的算法、各类系统模型及其能力。章后提供大量习题并列出了详细的参考文献。
本书可作为高等院校计算机系研究生的教材，尤其适合对计算机理论或体系结构感兴趣的学生学习，还适合分布式设计人员、研究人员及其相关技术人员参考。
目录:
前言
第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