计算机科学丛书：分布式算法

　　出版者的话
　　专家指导委员会
　　译者序
　　前言
　　第1章引言
　　部分 同步网络算法
　　第2章建模I：同步网络模型
　　第3章同步环中的领导者选择
　　第4章一般同步网络中的算法
　　第5章链路故障时的分布式一致性
　查看完整　　

　　Nancy A.Lynch是麻省理工学院电子工程和计算机科学系的教授，领导麻省理工学院的分布式系统理论研究组。在分布式算法和不可能解以及分布式系统的形式化建模和证明方面，她编写了大量的著作。

　　本书对分布式算法进行全面介绍，包括为重要的算法和不可能性结果。绝大部分的解都给出了数学证明。这些算法都很根据精确定义的复杂度衡量方法进行分析。本书还讲述针对许多典型问题的算法、各类系统模型及其能力。章后提供大量习题并列出了详细的参考文献。本书可作为高等院校计算机系统研究生的教材，尤其适合对计算机理论或体系结构感兴趣的学生学习，还适合分布式设计人员、研究人员及其相关技术人员参考。

　　出版者的话
　　专家指导委员会
　　译者序
　　前言
　　第1章引言
　　部分 同步网络算法
　　第2章建模I：同步网络模型
　　第3章同步环中的领导者选择
　　第4章一般同步网络中的算法
　　第5章链路故障时的分布式一致性
　　第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章部分同步的一致性
　　参考文献
　　索引
^ 收 起　　

　　Nancy A.Lynch是麻省理工学院电子工程和计算机科学系的教授，领导麻省理工学院的分布式系统理论研究组。在分布式算法和不可能解以及分布式系统的形式化建模和证明方面，她编写了大量的著作。

　　本书对分布式算法进行全面介绍，包括为重要的算法和不可能性结果。绝大部分的解都给出了数学证明。这些算法都很根据精确定义的复杂度衡量方法进行分析。本书还讲述针对许多典型问题的算法、各类系统模型及其能力。章后提供大量习题并列出了详细的参考文献。本书可作为高等院校计算机系统研究生的教材，尤其适合对计算机理论或体系结构感兴趣的学生学习，还适合分布式设计人员、研究人员及其相关技术人员参考。