《分布式算法(Distributed Algorithms)》

在《分布式算法》中，作者Nancy Lynch 为设计、实现和分析分布式算法提供了蓝图。她将她的书面向广大读者，包括学生、程序员、系统设计师和研究人员。

分布式算法包含该领域最重要的算法和不可能结果，所有这些都在一个简单的自动机理论设置中。这些算法被证明是正确的，并且根据精确定义的复杂性测量值分析其复杂性。涵盖的问题包括资源分配，通信，分布式进程之间的共识，数据一致性，死锁检测，领导者选举，全局快照等等。

材料根据系统模型进行组织 - 首先通过时序模型，然后通过进程间通信机制进行组织。系统模型的材料被隔离在单独的章节中，以便于参考。

演示是完全严谨的，但足够直观，可以立即理解。本书让读者熟悉了该领域的重要问题、算法和不可能性结果：读者可以在实践中发现问题时识别问题，应用算法来解决它们，并利用不可能性结果来确定问题是否无法解决。本书还为读者提供了基本的数学工具，用于设计新的算法和证明新的不可能结果。此外，它还教读者如何仔细推理分布式算法 - 正式对它们进行建模，为它们所需的行为设计精确的规范，证明它们的正确性，并用现实的度量来评估它们的性能。

附件包包括本书的中文版和英文原版；