39-拜占庭问题及算法.pdfVIP

拜占庭问题及算法

拜占庭问题（）又叫拜占庭将军（）问题，讨论的是

允许存在少数节点作恶（消息可能被伪造）场景下的如何达成共识问题。

拜占庭问题最早是用来解释异步系统中共识问题的一个虚构模型。拜占庭是古代东罗马帝国的首都，由

于地域宽广，守卫边境的多个将军（系统中的多个节点）需要通过信使来传递消息，达成某些一致决

定。但由于将军中可能存在叛徒（系统中节点出错），这些叛徒将向不同的将军发送不同的消息，试图

干扰共识的达成。这种情况十分类似于分布式系统中多个节点达成共识的问题。

拜占庭问题即讨论在此情况下，如何让忠诚的将军们能达成行动的一致。

典例三将军模型

拜占庭有个将军，他们都可以独立的作出决策，选择进攻和撤退，彼此之间通过信使传递消息。对于

一场战争，所有的将军必须作出共同的作战决策并依此执行，只有半数以上的将军同时进攻才能取得战

斗的胜利，作战计划的制定遵循少数服从多数原则。为了简化问题，我们采用个将军进行说明。

假设现有三个将军、、，他们都是忠诚于拜占庭的将军，对于一场战斗，他们