同步混合消息敌手

分布式计算理论的发展滞后于实践，在其建模中一直存在偏见，即在模型中采用模仿现实机制。现实意味着处理器可能失效。但理论是关于预测现实后果，因此如果我们通过“人工模型”捕捉现实，而这些模型使分析更简单，我们就应追求人工模型。最近有人提倡分析分布式系统并将处理器视为绝对可靠。出问题的是消息传递子系统。此观点不仅能有效模拟现实，而且似乎允许将任何过去模型视为同步模型。同步模型比异步模型更易分析。此外，它产生了我们过去未考虑过的模型。此处提出的一个这样的模型是混合消息敌手（Hybrid Message-Adversary）。我们通过分析拜占庭故障的需要来动机化此模型。混合模型展现出过去未见的现象。