Cornell University
Library
Cornell UniversityLibrary

eCommons

Help
Log In(current)
  1. Home
  2. Cornell University Graduate School
  3. Cornell Theses and Dissertations
  4. Ordering versus Bounded Delay: Timely Consensus

Ordering versus Bounded Delay: Timely Consensus

File(s)
Gioioso_cornell_0058O_11255.pdf (7.57 MB)
Permanent Link(s)
https://doi.org/10.7298/v7dr-q851
https://hdl.handle.net/1813/110403
Collections
Cornell Theses and Dissertations
Author
Gioioso, Katherine Rose
Abstract

Traditionally, consensus protocols have been designed under the best-effort delivery communication model. Motivated by the fact that datacenter networks enable co-designing network communication protocols and consensus protocols, an exciting recent line of research has demonstrated that it is possible to design high-performance consensus and state machine replication protocols by enabling a stronger communication model, one where the network provides message ordering. This thesis explores a very different communication model that can be enabled by datacenter networks---bounded message delays---and demonstrates that, under this model, it is possible to design consensus protocols that guarantee strong properties, including safety and termination even when all but one replica fails. Our contributions are three-fold. First, we present a network communication protocol that enables a novel Timely Unreliable Multicast (TUM) primitive; TUM guarantees that, for every message sent by a sender: (1) all receivers that receive the message receive it within a bounded amount of time that is known a priori; and (2) messages may be lost due to hardware failures only, and not due to buffer overflows. Second, we design Timely consensus and state machine replication protocols that build upon the TUM primitive to guarantee safety and termination, even with all but one replica failures (under the crash recovery failure model). Finally, using an end-to-end implementation of the TUM primitive and the Timely protocols, we demonstrate that \name protocols enable these properties while achieving high performance even under worst-case network hardware failures.

Description
74 pages
Date Issued
2021-08
Committee Chair
Agarwal, Rachit
Committee Member
Tardos, Eva
Degree Discipline
Computer Science
Degree Name
M.S., Computer Science
Degree Level
Master of Science
Type
dissertation or thesis
Link(s) to Catalog Record
https://newcatalog.library.cornell.edu/catalog/15160287

Site Statistics | Help

About eCommons | Policies | Terms of use | Contact Us

copyright © 2002-2026 Cornell University Library | Privacy | Web Accessibility Assistance