AI简介
这是一本全面介绍分布式算法的书籍,涵盖了同步模型、异步模型和部分同步模型,针对这些模型讨论互斥性、一致性和通信问题,为设计、实现和分析分布式算法提供了蓝图。本书对分布式算法领域的许多经典问题给出了多种解决算法或者不可能性结果,绝大部分的算法附有详细的证明过程,并且有精确的复杂度衡量。本书还配有大量习题,并在每章后列出了详细的参考文献。
书籍分为三部分,第一部分主要介绍同步网络算法,讨论了同步网络模型、同步环中的领导者选择、一般同步网络中的算法以及链路故障时的分布式一致性等。其中,同步网络模型部分详细介绍了同步网络系统、故障、输入和输出、运行、证明方法、复杂度度量、随机化等方面的内容。同步环中的领导者选择部分讨论了领导者选举问题、相同进程的不可能性结果、基本算法、通信复杂度为O (nlogn)的算法、非基于比较的算法、基于比较的算法的下界、非基于比较的算法的下界等内容。一般同步网络中的算法部分则涵盖了领导者选举、广度优先搜索、最短路径、最小生成树、最大独立集等算法。
第二部分主要介绍异步算法,包括异步系统模型、异步共享存储器模型、互斥、资源分配、一致性、原子对象等。其中,异步系统模型