PBFT view-change:在有效快照之后，提交的操作会发生什么情况？

Question

PBFT表示，如果备份i的定时器在视图v中期满，则其通过多播<view-change, v+1, n, C, P, i>来开始v+1的视图改变，其中n是最后稳定检查点s的序列号，P是包含针对在i处准备的序列号高于n的每个请求m的集合Pm的集合。

现在，检查点是定期获取的，因此，可以在i处准备好序列号大于n的消息，这些消息已经提交。我们不希望这些被包含在Pm中，因为它们已经被提交了。那么，PBFT是如何处理这个问题的呢？

Answer 1

我认为这些消息会再次被执行。当视图更改发生时，所有节点都将位于同一检查点。

当视图v + 1的“新”主节点接收到有效的视图改变消息时，多播一个新视图消息。在发送的消息中，它表示：

• V:一组已收到的有效视图更改消息。
• P:一组预先准备好的未处理消息。这些消息的计算方式如下：
  • 从最后一个稳定的检查点，您将获得最后执行的请求的序列号。此值将与您收到的所有准备好的消息的最大序列号min-s.
  • Take相对应。此值将与max-s.
  • As结果相对应，它会生成与needed.

一样多的预先准备的消息

​

每个节点都保存不在检查点内的消息的日志，因此不需要再次处理这些消息。