Invited Paper: Monotonicity and Opportunistically-Batched Actions in Derecho

Ken Birman, Sagar Jha, Mae Milano, Lorenzo Rosa, Weijia Song, Edward Tremel

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Abstract

Our work centers on a programming style in which a system separates data movement from control-data exchange, streaming the former over hardware-implemented reliable channels, while using a new form of distributed shared memory to manage the latter. Protocol decisions and control actions are expressed as monotonic predicates over the control data guarding protocol actions. Provable invariants about the protocol are expressed as effectively-common knowledge, which can be derived from the monotonic predicates in effect during a particular membership epoch. The methodology enables a natural style of code that is easy to reason about, and it runs efficiently on modern hardware. We used this approach to create Derecho, an optimal Paxos-based data replication library that sets performance records, and we believe it is broadly applicable to the construction of reliable distributed systems on high-bandwidth networks.

Original languageEnglish (US)
Title of host publicationStabilization, Safety, and Security of Distributed Systems - 25th International Symposium, SSS 2023, Proceedings
EditorsShlomi Dolev, Baruch Schieber
PublisherSpringer Science and Business Media Deutschland GmbH
Pages172-190
Number of pages19
ISBN (Print)9783031442735
DOIs
StatePublished - 2023
Externally publishedYes
Event25th International Symposium on Stabilization, Safety, and Security of Distributed Systems, SSS 2023 - Jersey City, United States
Duration: Oct 2 2023Oct 4 2023

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume14310 LNCS
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

Conference

Conference25th International Symposium on Stabilization, Safety, and Security of Distributed Systems, SSS 2023
Country/TerritoryUnited States
CityJersey City
Period10/2/2310/4/23

All Science Journal Classification (ASJC) codes

  • Theoretical Computer Science
  • General Computer Science

Fingerprint

Dive into the research topics of 'Invited Paper: Monotonicity and Opportunistically-Batched Actions in Derecho'. Together they form a unique fingerprint.

Cite this