54、共识与相关问题解析

共识与相关问题解析

在分布式系统中，消息传递和进程间的协调是关键问题，其中共识问题及其相关问题尤为重要。下面我们将详细探讨这些问题。

1. 消息排序与多播

消息排序有两种重要类型：成对全序和全局全序。
- 成对全序 ：如果一个正确的进程在交付发送到组 ( g’ ) 的消息 ( m’ ) 之前交付了发送到组 ( g ) 的消息 ( m )，那么组 ( g \cap g’ ) 中任何交付 ( m’ ) 的其他正确进程都会在交付 ( m’ ) 之前交付 ( m )。
- 全局全序 ：设 “<” 为交付事件之间的排序关系，要求 “<” 遵守成对全序且无环（在成对全序下，“<” 默认不是无环的）。

实现这些排序的一种方法是将每个消息 ( m ) 多播到系统中的所有进程组。每个进程根据自己是否属于组 ( m ) 来决定丢弃或交付该消息。但这种实现效率低下，因为多播应尽量减少涉及的进程数量。

在同步和异步系统中，我们已经描述了可靠无序多播、（可靠）FIFO 有序多播、（可靠）因果有序多播和全序多播的算法，也说明了如何实现既全序又因果有序的多播。不过，在异步分布式系统中，即使只有一个进程崩溃故障，也无法保证实现可靠且全序的交付协议，而在同步系统中则是可能的。

2. 共识及相关问题概述

共识问题及相关的拜占庭将军问题和交互式一致性问题，统称为协议问题。大致来说，问题在于一个或多个进程提出一个值后，其他进程要就该值达成一致。

例如，两支军队需要一致决定是进攻还是撤退；控制宇宙飞船引擎的所有正确进程要在提出