Asynchrony-Resilient Sleepy Total-Order Broadcast Protocols
Francesco D'Amato, Giuliano Losa, Luca Zanolini

TL;DR
This paper introduces a mechanism to enhance dynamically available total-order broadcast protocols, enabling them to safely tolerate bounded asynchronous periods by trading off assumptions on churn rate, thus improving practical robustness.
Contribution
It proposes a simple, configurable message-expiration approach that allows existing protocols to deterministically handle bounded asynchrony periods, balancing safety and performance.
Findings
The mechanism ensures safety during bounded asynchronous periods.
Applying the method to existing protocols improves their robustness.
The approach allows small synchrony bounds for fast common-case performance.
Abstract
Dynamically available total-order broadcast (TOB) protocols tolerate fluctuating participation, e.g., as high as 99% of their participants going offline, which is especially useful in permissionless blockchain environments. However, dynamically available TOB protocols are synchronous protocols, and they lose their safety guarantees during periods of asynchrony. This is a major issue in practice. In this paper, we propose a simple but effective mechanism for tolerating bounded periods of asynchrony in dynamically available TOB protocols that ensure safety deterministically. We propose to trade off assumptions limiting the online/offline churn rate in exchange for tolerating bounded asynchronous periods through the use of a configurable message-expiration period. In practice, this allows picking a small synchrony bound , and therefore obtain a fast protocol in the common case,…
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Taxonomy
TopicsDistributed systems and fault tolerance · Real-Time Systems Scheduling · Petri Nets in System Modeling
