Inf on liubang's bloghttps://blog.liubang.cc/tags/inf/Recent content in Inf on liubang's blogHugoenCopyright © 2019-2026 LiuBang. All Rights Reserved.Mon, 25 May 2020 00:00:00 +0000分布式协议https://blog.liubang.cc/posts/inf/2020-05-25-%E5%88%86%E5%B8%83%E5%BC%8F%E5%8D%8F%E8%AE%AE/Mon, 25 May 2020 00:00:00 +0000https://blog.liubang.cc/posts/inf/2020-05-25-%E5%88%86%E5%B8%83%E5%BC%8F%E5%8D%8F%E8%AE%AE/拜占庭将军问题

简介

  • 在可能存在叛军的情况下，采用合适的通讯协议，让多个将军达成共识，执行统一的作战计划
  • 二忠一叛难题
  • 它是分布式领域最复杂的容错模型
  • 莱斯利·兰伯特（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 个撤退，这样忠诚的将军将会执行一致的指令

]]>