同步系统

同步模型给算法一个已知最坏时间尺度：正确进程一步、消息传输和时钟偏差在规定界内完成。因此等待超过界限可作为可证明的故障或缺失证据，而不只是猜测。同步不是所有节点锁步执行；异步动作仍可交错，只是最坏延迟被算法知道并能转成轮次。

在无故障同步网络中，直径 $D$ 给出信息传播至全网所需轮数的上界。消息丢失、Byzantine 行为和时钟漂移仍需额外模型；同步性不会自动消除这些问题。

若每条边消息至多一轮到达，直径为 $D$ 的连通网络中，洪泛信息在 $D$ 轮内到达所有节点。协议在第 $r$ 轮只处理标记为 $r$ 的消息，可屏蔽具体到达时刻。若实际延迟偶尔超过已知上界，超时会把正确节点误判为故障，证明不再适用；未知界或未知生效时刻应改由部分同步模型公理库部分同步模型Partial synchrony · Partially synchronous system时间界存在但其数值或开始生效时刻不为算法预先掌握的分布式系统模型。精确描述。

轮次状态机公理库状态机State machine · Transition system用状态集合、初始状态和转移关系描述系统可能执行轨迹的模型。与离散时间公理库自然数模型Natural numbers · Peano system由零元、后继和二阶归纳原则范畴性刻画的离散数系模型。定义同步执行，消息系统公理库消息传递系统Message-passing system进程仅通过发送和接收消息交互的分布式模型。据此获得可靠超时。选主公理库选主问题Leader election使所有正确进程最终一致输出同一唯一进程为领导者的分布式任务。、可靠广播公理库可靠广播Reliable broadcast保证有效性、一致性和完整性的广播抽象。与 Byzantine 协议可用固定轮数分析；纯异步模型中的不可能性常在同步或部分同步公理库部分同步模型Partial synchrony · Partially synchronous system时间界存在但其数值或开始生效时刻不为算法预先掌握的分布式系统模型。假设下恢复活性。实现时必须把理论延迟界、时钟模型和故障类型逐项映射到系统机制。