简介

• 在可能存在叛军的情况下，采用合适的通讯协议，让多个将军达成共识，执行统一的作战计划
• 二忠一叛难题
• 它是分布式领域最复杂的容错模型
• 莱斯利·兰伯特（Leslie Lamport）The Byzantine Generals Problem

二忠一叛难题

• 总共有三个将军，其中一个作为指挥官
• 通过信使相互传递作战指令，进攻或者撤退
• 所有忠诚的将军必须执行统一的作战计划，忠诚的将军必须执行忠诚的指挥官发布的指令
• 假如 LIEUTENANT2 叛变，LIEUTENANT1 收到的作战指令就是“进攻，撤退”
• 假如 COMMANDER 叛变，LIEUTENANT1 和 LIEUTENANT2 收到的作战指令都是“进攻，撤退”

口信消息型解法

• 叛变人数为 m 需要已知
• 则所有参与者的人数至少为 3m+1
• 第一轮由指挥官发送作战指令
• 第二轮由各位将军相互发送指令
• 收到指令的将军按照少数服从多数的原则执行指令
• 按照这个公式，前面的例子叛军为 1 人的情况，则需要 1 个指挥官和 3 个将军

假如 LIEUTENANT3 叛变了，那么首先指挥官向各位将军发送“进攻”的指令，由于 3 号将军叛变了，所以最终 1 号将军收到的指令是 2 个进攻，1 个撤退，2 号将军同样收到 2 个进攻，1 个撤退，这样忠诚的将军将会执行一致的指令

假如 COMMANDER 叛变了，分别向 1 号将军发送了“进攻”，向 2 号将军发送了“撤退”，向 3 号将军发送“进攻”，那么通过第二轮的协商后，1，2，3 号将军得到的指令都是“进攻，进攻，撤退”，这样按照少数服从多数的原则，忠诚的将军最终执行了一致的作战指令。