第一部分 同步网络算法

本书的第一部分由第2～7章组成，这几章包括同步网络模型的算法和时间下限，其中网络中的处理器在同步轮中执行步骤和交换消息。

作为这一部分的头一章，第2章只给出了同步网络的形式化模型。现在可以跳过本章，而在阅读介绍算法的章节第3～7章时，如有需要再返回来阅读。第3章讲述一个简单的问题——如何在环网中选取唯一的领导者。第4章概述基于任意图的同步网络中使用的基本算法。第5章和第6章分别介绍出现链路故障和处理器故障时，如何在同步网络中达到一致性的基本问题。最后，第7章介绍基本一致性问题的扩展和变形。