Eventually Durable State Machines

dc.contributor.authorKathuria, Kriti
dc.date.accessioned2024-07-05T16:32:11Z
dc.date.available2024-07-05T16:32:11Z
dc.date.issued2024-07-05
dc.date.submitted2024-07-01
dc.description.abstractTypically, applications are designed to guarantee durability of the data they store. Durability is achieved by replicating client write requests to multiple machines. This replication adds to the time it takes for the application to respond to client requests. And so, latency-sensitive applications may implement ad-hoc mechanisms to circumvent durability costs, such as responding without replicating writes. Such ad-hoc mechanisms are hard to reason about and may leave the application in an inconsistent state. We propose Eventually Durable State Machine, a principled approach for applications to respond without waiting for replication to complete. The ED model offers fast response time but leaves applications vulnerable to data loss when failures occur. The ED model presents a strong ordering guarantee and a clear failure semantics to reason about the lost writes. Further, we develop ED Raft protocol, a derivative of the Raft consensus protocol, to implement the Eventually Durable State Machine. We describe the ED Raft and its key properties, and show that ED Raft supports the ED model.en
dc.identifier.urihttp://hdl.handle.net/10012/20705
dc.language.isoenen
dc.pendingfalse
dc.publisherUniversity of Waterlooen
dc.subjecteventual durabilityen
dc.subjectreplicated state machineen
dc.titleEventually Durable State Machinesen
dc.typeMaster Thesisen
uws-etd.degreeMaster of Mathematicsen
uws-etd.degree.departmentDavid R. Cheriton School of Computer Scienceen
uws-etd.degree.disciplineComputer Scienceen
uws-etd.degree.grantorUniversity of Waterlooen
uws-etd.embargo.terms0en
uws.contributor.advisorSalem, Ken
uws.contributor.affiliation1Faculty of Mathematicsen
uws.peerReviewStatusUnrevieweden
uws.published.cityWaterlooen
uws.published.countryCanadaen
uws.published.provinceOntarioen
uws.scholarLevelGraduateen
uws.typeOfResourceTexten

Files

Original bundle
Now showing 1 - 1 of 1
Loading...
Thumbnail Image
Name:
Kathuria_Kriti.pdf
Size:
1.67 MB
Format:
Adobe Portable Document Format
Description:
License bundle
Now showing 1 - 1 of 1
No Thumbnail Available
Name:
license.txt
Size:
6.4 KB
Format:
Item-specific license agreed upon to submission
Description: