Distributed Algorithms - Preface

        分布式算法是设计用于在由许多互连处理器组成的硬件上运行的算法。分布式算法的各个部分同时独立运行，每个部分仅具有有限的信息量。即使各个处理器和通信信道以不同的速度运行，即使某些组件出现故障，这些算法也应该正常工作。
        分布式算法在广泛的应用中出现，包括电信、分布式信息处理、科学计算和实时过程控制。例如，今天的电话系统、航空公司预订系统、银行系统、全球信息系统、天气预报系统以及飞机和核电站控制系统都严重依赖于分布式算法。显然，算法正确有效地运行是很重要的。然而，由于它们运行的设置非常复杂，因此设计此类算法可能是一项极其困难的任务。
        这本书包含了分布式算法领域的全面介绍——最重要的算法和不可能的结果的集合，所有这些都在一个简单的自动机理论环境中呈现。对几乎所有的结果都给出了数学证明（或至少是略图）。算法根据精确定义的复杂性度量进行分析。总之，本材料为深入理解分布式算法提供了极好的基础。
        这本书是为几位读者而写的。首先，它被组织为一年级研究生计算机科学课程的教材，特别是对计算机系统、理论或两者都感兴趣的学生。它还可以作为分布式系统设计者的短期课程的文本。最后，它是设计人员、学生、研究人员和其他对该领域感兴趣的人的参考手册。
        这本书包含了许多典型问题的算法，包括共识、通信、资源分配和同步等问题，在几个不同的系统设置中。根据关于分布式设置的基本假设来组织算法和结果。第一层组织是根据时序模型——同步、异步或部分同步——而第二层是根据进程间通信机制——共享内存或消息传递。几个章节专门讨论了每种类型的系统模型；每组的第一章介绍了该类型系统的正式模型，而其余章节包含算法和不可能结果。在整个过程中，演示是严谨的，但它牢固地基于直觉。
        因为这个领域如此之大和活跃，本书并没有试图涵盖所有内容。选择所包含的结果是因为它们是最基本的。就复杂性度量而言，这些并不总是最佳结果；它们通常是简单的，说明了重要的一般设计或推理方法。
        本书将使您熟悉分布式计算领域中许多最重要的问题、算法和不可能的结果。当问题在实际环境中出现时，您将能够识别出问题，应用此处包含的算法来解决问题，并调用不可能的结果来证明问题无法解决。这本书还将让你对各种系统模型及其功能有一个很好的感觉，这样你就可以自己设计新的算法（甚至证明新的不可能的结果）。最后，这本书应该让你相信，仔细分析分布式算法和系统是可行的：对它们进行形式化建模，为它们所需的行为给出精确的规范，严格证明它们满足规范，确定适当的复杂性度量，并根据这些度量对它们进行分析。

        组织结构：第一层以时序模型进行划分，第二层根据进程通信机制（共享内存和消息传递）进行划分