两军问题
我们来看一下好处理器的情况,但通信线路有问题。这就是所谓的两军问题,可以概括如下:
A,B 两军师协同攻击敌军C, A和B在物理上是分开的,并使用信使进行通信。 A向B发送一个消息“ 让我们在黎明发起攻击 ”。 B收到消息并同意,用“ OK ”消息发送回信使者。信使到达A,但是A意识到B不知道信使是否安全地返回了。如果B不相信A得到了承认,那么就不会相信这次袭击应该发生,因为军队不会自己胜利。 A可以选择用“ A received the OK ” 的消息将信使发送回B,但A将不确定B是否接收到该消息。二军的问题表明,即使与没有缺陷的处理器,两个进程之间可证明协议是不是 可以用不可靠的通信通道。
拜占庭两军问题详解图解算法
在现实世界中,我们需要在通信和计算速度上设置上限,并且如果在有限的时间内没有响应,就要考虑一个过程是有缺陷的。
失败 - 停止,也称为失败 - 沉默,是失败的进程不通信的条件。
拜占庭故障是有故障的过程继续进行通信,但可能会产生错误信息。我们可以创建一个弹性的失败停止的共识算法。如果有n个进程,其中t可能有错误,那么进程永远不会期望收到超过(nt)个确认。现在一致的问题是要确保所有进程都做出相同的决定,即使每个进程从一组不同的进程接收(nt)答案(可能是由于部分网络分段或路由问题)。
故障停止弹性算法可以被演示如下。这是一个迭代算法。每个阶段包括:
一个进程广播它的首选值和它所看到的也有这个首选值的进程的数量(这个计数被称为基数,最初为1)。
该过程接收(nt)答案,每个答案