~/talk

Picsou: Enabling Replicated State Machines to Communicate Efficiently

Talkat OSDI '25 · 2025-07-07..07-09· [distributed-systems]
links:none on file
links:none on file
links:none on file
links:none on file
name:Ethan Xu
links:none on file
links:none on file
links:none on file
slides:none on file

Picsou introduces a formal primitive, Cross-Cluster Consistent Broadcast (C3B), and a practical protocol that uses TCP-like cumulative ACKs plus rotating quorum acknowledgments or Quacks so RSMs know when a correct receiver has definitely seen a message. Picsou claims constant metadata overhead in the failure-free case, minimal retransmits on failure, works for both crash and Byzantine RSMs, and shows up to 24× better throughput than prior approaches on microbenchmarks and applications like disaster recovery and data reconciliation.

AI-written summary · about

  1. 0:00Picsou introduction
  2. 1:23RSM communication needs
  3. 3:08RSM communication design
  4. 4:54RSM failure handling
  5. 6:39Cross-cluster broadcast
  6. 8:03Reliable message protocol
  7. 10:28Quorum acknowledgements
  8. 12:59Quax retransmission
  9. 13:20Performance comparison
  10. 15:27Conclusion
~/search
type to search 6,249 conferences, 138,987 speakers and 185,172 talks
~/help
cmdctrl k
search every conference, speaker and series
/
focus the filter search
h
home
c
conferences
s
speakers
e
series
t
light / dark — the status bar button does the same
?
this help
esc
close this, then clear every filter — or just the search, while you are typing in it

Ignored while you are typing. Pages without a filter rail have no search to focus.