分布式理论：拜占庭将军问题

介绍

拜占庭将军问题是对分布式共识问题的一种情景化描述，由兰伯特于1082首次发表《The Byzantine Generals Problem》中提及，它是分布式领域最复杂的一个容错模型， 它描述了如何在存在恶意行为的情况下使分布式系统达成一致，了解拜占庭问题对于掌握分布式共识问题具有深刻意义。

拜占庭将军的故事

拜占庭帝国的几只军队此时驻扎在敌人的城墙之外，每个军队都有专门的将军来指挥，但因为各只军队分别驻扎在敌城的不同地方，将军之间只能通过信使来相互联系。再某天观察完敌情之后，将军们决定制定一个共同的作战计划，同时进攻或者撤退，因为敌人非常强大，至少有半数的军队同时发动进攻时才能取得胜利。此时，将军们遇到了难题：如何统一大家的作战计划？

将军的难题

首先，如果将军之间都是忠诚于拜占庭帝国的，那么很容易统一作战方案，只需要所有的将军之间彼此通信交换自己的意见（进攻还是撤退），最后所有的将军根据 少数服从多数 的原则来行动。

这里假设只有三支军队A, B, C, 其中 A, B 认为应该进攻，C认为应该撤退，将军之间的通信如下:

通过协商，所有的将军最后的行为都是统一的进攻，于是大破敌城！
但是，如果有将军私通敌国，发送误导性的信息这样的共识协商还能保证作战计划统一吗？答案无疑是否定的，假设现在B将领是叛将，故意给A,C发送不一样的信息，情况会发生改变: