拜占庭将军问题

简介

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

二忠一叛难题

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