English

Picsou: Enabling Replicated State Machines to Communicate Efficiently

Distributed, Parallel, and Cluster Computing 2025-06-25 v2 Cryptography and Security Networking and Internet Architecture

Abstract

Replicated state machines (RSMs) cannot communicate effectively today as there is no formal framework or efficient protocol to do so. To address this issue, we introduce a new primitive, Cross-Cluster Consistent Broadcast (C3B) and present PICSOU, a practical implementation of the C3B primitive. PICSOU draws inspiration from networking and TCP to allow two RSMs to communicate with constant metadata overhead in the failure-free case and a minimal number of message resends in the case of failures. PICSOU is flexible and allows both crash fault tolerant and Byzantine fault tolerant consensus protocols to communicate. At the heart of PICSOU's good performance and generality is the concept of QUACKs (quorum acknowledgments). QUACKs allow nodes in each RSM to precisely determine when messages have definitely been received, or likely lost. Our results are promising: we obtain up to 24x better performance than prior solutions on microbenchmarks and applications, ranging from disaster recovery to data reconciliation.

Keywords

Cite

@article{arxiv.2312.11029,
  title  = {Picsou: Enabling Replicated State Machines to Communicate Efficiently},
  author = {Reginald Frank and Micah Murray and Chawinphat Tankuranand and Junseo Yoo and Ethan Xu and Natacha Crooks and Suyash Gupta and Manos Kapritsos},
  journal= {arXiv preprint arXiv:2312.11029},
  year   = {2025}
}

Comments

Part of the proceedings of OSDI 2025

R2 v1 2026-06-28T13:54:23.129Z