这节课好难。说说自己的思考。 不准确的时钟之所以有效，是不是因为它可以打破论证的第三条，让不会终止的共识过程终止。 还有，这里其实没有所谓的准确和不准确，大多数节点持有的状态就是正确的状态，加上一个时钟可以标记出节点处于共识的轮次。 这里出错的节点就是崩溃的节点吧。检测出崩溃的节点，目的应该就是抛弃他们，从而依赖剩余的大多数节点来达成共识，同时要考虑通讯不稳定的情况。 完整性可以让正确的节点排除掉“每一个”故障节点，这是共识可以终止的条件，我觉得弱完整性就可以了。 但是完整性的前提是正确的节点不能被其余正确的节点误以为不正常了，只要一些正确的节点不要被怀疑，从而可以组成大多数就行了，即弱的正确性。