垂直原子广播与被动复制（扩展版）

原子广播是一种可靠的通信抽象，确保所有进程以共同的全局顺序传递相同的消息集合。它是使用主动复制（即状态机复制）或被动复制（即主备份复制）实现容错服务的基本构建块。我们考虑实现可重构原子广播的问题，该问题进一步允许用户动态更改参与进程的集合，例如在发生故障或负载变化时。我们为该通信抽象给出了完整的安全性和活性规范，并提出了一种新的实现协议——垂直原子广播，该协议利用辅助服务来促进重构。与先前的方案不同，我们的协议通过在协商下一配置的过程中继续处理消息，显著降低了从功能配置进行重构时的系统停机时间。此外，我们证明即使将协议修改为支持被动复制所需的更强变体，这一优势仍然可以保持。