|
发表于 2005-1-12 16:04:30
|
显示全部楼层

<计算机科学丛书——分布式算法>
作者: [美]Nancy A.Lynch
ISBN号: 711113127
出版社: 机械工业出版社
本书对分布式算法进行全面介绍,包括最为重要的算法和不可能性结果。绝大部分的解都给出了数学证明。这些算法都很根据精确定义的复杂度衡量方法进行分析。本书还讲述针对许多典型问题的算法、各类系统模型及其能力。章后提供大量习题并列出了详细的参考文献。
本书可作为高等院校计算机系统研究生的教材,尤其适合对计算机理论或体系结构感兴趣的学生学习,还适合分布式设计人员、研究人员及其相关技术人员参考。
目录:
出版者的话
专家指导委员会
译者序
前言
第1章 引言
1.1 相关主题
1.2 我们的观点
1.3 本书内容综述
1.4 参考文献注释
1.5 标记
第一部分 同步网络算法
第2章 建模I: 同步网络模型
2.1 同步网络系统
2.2 故障
2.3 输入和输出
2.4 运行
2.5 证明方法
2.6 复杂度度量
2.7 随机化
2.8 参考文献注释
第3章 同步环中的领导者选择
3.1 问题
3.2 相同进程的不可能性结果
3.3 基本算法
3.4 通信复杂度为O(n log n)的算法
3.5 非基于比较的算法
3.5.1 时间片算法
3.5.2 变速算法
3.6 基于比较的算法的下界
3.7 非基于比较的算法的下界*
3.8 参考文献注释
3.9 习题
第4章 一般同步网络中的算法
4.1 一-般网络中的领导者选举
4.1.1 问题
4.1.2 简单的洪泛算法
4.1.3 降低通信复杂度
4.2 广度优先搜索
4.2.1 问题
4.2.2 基本的广度优先搜索算法
4.2.3 应用
4.3 最短路径
4.4 最小生成树
4.4.1 问题
4.4.2 基本定理
4.4.3 算法
4.5 最大独立集
4.5.1 问题
4.5.2 随机化算法
4.5.3 分析*
4.6 参考文献注释
4.7 习题
第5章 链路故障时的分布式一致性
5.1 协同攻击问题——确定性版本
5.2 协同攻击问题——随机化版本
5.2.1 形式化模型
5.2.2 算法
5.2.3 不一致的下限
5.3 参考文献注释
5.4 习题
第6章 进程故障下的分布式一致性
第7章 更多的一致性问题
第二部分 异步算法
第8章 建模II:异步系统模型
第二部分A 异步共享存储器算法
第9章 建模III:异步共享存储器模型
第10章 互斥
第11章 资源分配
第12章 一致性
第13章 原子对象
第二部分B 异步网络算法
第14章 建模IV:异步网络模型
第15章 基本异步网络算法
第16章 同步器
第17章 共享存储器与网络
第18章 逻辑时间
第19章 一致全局快照和稳定属性检测
第20章 网络资源分配
第21章 带进程故障的异步网络计算
第22章 数据链路协议
第三部分 部分同步算法
第23章 建模V:部分同步系统模型
第24章 部分同步的互斥
第25章 部分同步的一致性
参考文献
索引
[ Last edited by 扎西日泰 on 2005-1-12 at 04:15 PM ] |
|