Skip to Main content Skip to Navigation
Conference papers

Programming at the edge of synchrony

Abstract : Synchronization primitives for fault-tolerant distributed systems that ensure an effective and efficient cooperation among processes are an important challenge in the programming languages community. We present a new programming abstraction, ReSync, for implementing benign and Byzantine fault-tolerant protocols. ReSync has a new round structure that offers a simple abstraction for group communication, like it is customary in synchronous systems, but also allows messages to be received one by one, like in the asynchronous systems. This extension allows implementing network and algorithm-specific policies for the message reception, which is not possible in classic round models. The execution of ReSync programs is based on a new generic round switch protocol that generalizes the famous theoretical result of ?. We evaluate experimentally the performance of ReSync's execution platform, by comparing consensus implementations in ReSync with LibPaxos3, etcd, and Bft-SMaRt, three consensus libraries tolerant to benign, resp. byzantine faults.
Document type :
Conference papers
Complete list of metadata

https://hal.inria.fr/hal-03134314
Contributor : Cezara Dragoi Connect in order to contact the contributor
Submitted on : Monday, February 8, 2021 - 11:24:58 AM
Last modification on : Friday, January 21, 2022 - 3:18:33 AM
Long-term archiving on: : Sunday, May 9, 2021 - 6:54:27 PM

File

oopsla20F.pdf
Files produced by the author(s)

Identifiers

Collections

Citation

Cezara Dragoi, Josef Widder, Damien Zufferey. Programming at the edge of synchrony. SPLASH 2020 - ACM SIGPLAN conference on Systems, Programming, Languages, and Applications: Software for Humanity, Oct 2020, Chicago / Virtual, United States. ⟨10.1145/3428281⟩. ⟨hal-03134314⟩

Share

Metrics

Les métriques sont temporairement indisponibles