algorithm - PBFT View 更改 : What happens to committed operations after the valid snapshot?

Question

PBFT 表示，如果备份 i 的计时器在 View v 中到期，那么它会通过多播 <view-change, v+1, n, C, P, i> 启动 v+1 的 View 更改。其中 n 是最后一个稳定检查点 s 的序列号，P 是一个集合，其中包含一个集合 Pm，用于每个在 i 准备的请求 m，其序列号高于 n。

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

Answer 1

我认为那些消息被再次执行了。当发生 View 更改时，所有节点都将处于同一检查点。

当 View v + 1 的"new"主 收到2⨍ 有效 View 更改消息，多播一个新 View 消息。在发送的消息中，它指示:

• V:一组已收到且有效的查看更改消息。
• P:一组预先准备好的未处理消息。这些消息计算如下:
  • 从最后一个稳定检查点，你得到最后执行的请求的序号。此值将对应于 min-s。
  • 取你收到的所有准备好的消息中最大的序列号。此值将对应于 max-s。
  • 因此，它会根据需要生成尽可能多的预先准备好的消息。

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