Skip to Main content Skip to Navigation
Preprints, Working Papers, ...

Executable Rounds: a Programming Abstraction for Fault-Tolerant Protocols

Abstract : Fault-tolerant distributed systems are notoriously difficult to design and implement. Although programming languages for distributed systems is an active research area, appropriate synchronization primitives for fault-tolerance and group communication remains an important challenge. We present a new programming abstraction, HSync, for implementing benign and Byzantine distributed protocols. HSync is based on communication-closed rounds. Round models offer a simple abstraction for group communication and communication-closed rounds simplify dealing with faults. Protocols are implemented in a modular way in HSync. The language separates the message reception from the process local computation. It extends classic rounds with language constructs that give to the programmer the possibility to implement network and algorithm-specific policies for message reception. We have implemented an execution platform for HSync that runs on top of commodity hardware. We evaluate experimentally its performance, by comparing consensus implementations in HSync with LibPaxos3 and Bft-SMaRt, two consensus libraries tolerant to benign, resp. Byzantine faults.
Complete list of metadatas

Cited literature [41 references]  Display  Hide  Download
Contributor : Cezara Dragoi <>
Submitted on : Wednesday, October 16, 2019 - 9:38:06 AM
Last modification on : Tuesday, August 4, 2020 - 3:47:43 AM
Document(s) archivé(s) le : Friday, January 17, 2020 - 2:09:12 PM


Files produced by the author(s)


  • HAL Id : hal-02317446, version 1



Cezara Dragoi, Josef Widder, Damien Zufferey. Executable Rounds: a Programming Abstraction for Fault-Tolerant Protocols. 2019. ⟨hal-02317446⟩



Record views


Files downloads