请教一个关于拜占庭容错(PBFT)的问题

2020-05-06 11:10:29 148 阅读 AI 写同款 · GEO 优化AI 选题数据监测一键分发 ›

【区块链】PBFT（实用拜占庭容错）算法详解拜占庭将军问题：寻找一个方法，使得将军们能在一个有叛徒的非信任环境中建立对战斗计划的共识。共识算法的核心是在正常的节点间形成对网络状态的共识。共识算法协议的属性： 1）一致性：所有的非缺陷进程必须同意同一个值 2）正确性：如果所有的非缺陷进程有相同的初始值，那么所有的非缺陷进行所同意的值是同一个初始值。 3）可结束性：非缺陷进程必须最终必须确定一个值。 BFT拜占庭容错系统： ... 阅读详情

打扰各位了，这张图是从别人文章(《PBFT实用拜占庭容错算法深入详解》https://blog.csdn.net/TurkeyCock/article/details/81672759?utm_source=app) 里复制过来的，我研究了很久，因为能力有限，确实理解不了(我联系了原文的作者，作者应该很长时间没有上线了，所以联系不上)。我主要有三个问题一是在这张图里面CHECKPOINT(绿色)为什么是连续的，而CHECKPOINT都是有上百个的间隔(例如100个消息的间隔)。二是这幅图里面为什么COMMITED消息仍然要被PRE-PREPARE？我记得COMMITED消息已经获得确认而无需再发PRE-PREPARE消息，在P集合中收集的都是没有COMMITTED的消息，难道是在min_s和max_s之间的已经COMMITTED的消息仍然要重新开始PRE-PREPARE? 三是最多的视图VIEW达到了五个，最少的是两个，很奇怪为什么视图会不同步呢？NEW-VIEW应该是由同一个视图的主节点向各个副本发送的，因此我觉得视图应该是同步的，所以非常不理解这幅图的情况。谢谢大家。