本书对分布式算法进行了全面介绍，包括同步模型、异步模型和部分同步模型，针对这些模型讨论互斥性、一致性和通信问题，为设计、实现和分析分布式算法提供了蓝图。本书对分布式算法领域的许多经典问题给出了多种解决算法或者不可能性结果，绝大部分的算法附有详细的证明过程，并且有jing确的复杂度衡量。本书还配有大量习题，并在每章后列出了详细的参考文献。本书可作为高等院校计算机专业的研究生教材，尤其适合对计算机理论或体系结构感兴趣的学生学习，还适合分布式领域的设计人员和研究人员参考。

涵盖同步模型、异步模型和部分同步模型，为设计、实现和分析分布式算法提供蓝图

计算机\算法

本书对分布式算法进行全面介绍，包含同步模型、异步模型和部分同步模型，针对这些模型讨论互斥性、一致性和通信问题，为设计、实现和分析分布式算法提供了蓝图，适合学生、程序员、系统分析人员和研究人员等不同类型的读者阅读。书中涉及该领域重要的算法和不可能解，而且采用简单的自动机理论进行论述，其中涉及的问题包括资源分配、通信、分布式处理器之间的一致性、数据一致性、死锁检测、领导者进程的选取、全局快照等。
本书特色
对几乎所有算法都给出了数学证明，并且根据精确定义的复杂度标准分析算法的复杂度。
按照系统模型组织内容，便于查阅。首先根据定时模型，然后在定时模型内再根据进程间的通信机制展开讨论。
论述严谨且直观，便于读者理解。提供设计新的算法和证明新的不可能解的基本数学工具，讲解如何对分布式系统进行严格的推理（包括形式化建模），为所需的行为设计精确的指标，证明其正确性并用实际的度量标准来评价性能。
作者简介
南希·A. 林奇（Nancy A. Lynch）　麻省理工学院电子工程和计算机科学系教授，领导麻省理工学院的分布式系统理论研究组，在分布式算法和不可能解以及分布式系统的形式化建模和证明方面编写了大量著作。

[美]南希·A. 林奇(Nancy A. Lynch) 著：南希·A. 林奇（Nancy A.Lynch） 麻省理工学院电子工程和计算机科学系教授，领导麻省理工学院的分布式系统理论研究组，在分布式算法和不可能解以及分布式系统的形式化建模和证明方面编写了大量著作。