60、部分同步环境下的共识问题研究

部分同步环境下的共识问题研究

在分布式系统中，共识问题是一个核心挑战，尤其是在部分同步网络环境下。本文将深入探讨部分同步网络中共识问题的相关算法和理论，包括问题定义、故障检测器、基本结果（上界和下界）等内容。

1. 问题定义

在部分同步网络环境下，我们考虑的系统 A 是一个发送/接收网络系统，主要处理停止故障。系统 A 的外部接口包含 init(v)i 输入动作、 decide(v)i 输出动作以及 stopi 输入动作，其中 1 ≤ i ≤ n 且 v ∈ V 。用户 Ui 是一个 MMT 自动机，在任何定时执行中最多执行一个 init 动作。

我们对系统 A 和用户 Ui 组成的组合系统提出以下条件：
- 格式良好性 ：在组合系统的任何定时执行中，对于任何端口 i， Ui 和 A 之间的交互格式良好。
- 一致性 ：在任何定时执行中，所有决策值都相同。
- 有效性 ：在任何定时执行中，如果所有出现的 init 动作都包含相同的值 v，那么 v 是唯一可能的决策值。
- 无故障终止 ：在所有端口都发生 init 事件的无故障定时执行中，每个端口都会发生