Technical reports
ARC: Analysis of Raft Consensus
July 2014, 69 pages
This technical report is based on a dissertation submitted May 2014 by the author for the degree of Bachelor of Arts (Computer Science Tripos) to the University of Cambridge, Pembroke College.
| DOI | https://doi.org/10.48456/tr-857 |
Abstract
The Paxos algorithm, despite being synonymous with distributed consensus for a decade, is famously difficult to reason about and implement due to its non-intuitive approach and underspecification. In response, this project implemented and evaluated a framework for constructing fault-tolerant applications, utilising the recently proposed Raft algorithm for distributed consensus. Constructing a simulation framework for our implementation enabled us to evaluate the protocol on everything from understandability and efficiency to correctness and performance in diverse network environments. We propose a range of optimisations to the protocol and released to the community a testbed for developing further optimisations and investigating optimal protocol parameters for real-world deployments.
Full text
PDF (1.2 MB)
BibTeX record
@TechReport{UCAM-CL-TR-857,
author = {Howard, Heidi},
title = {{ARC: Analysis of Raft Consensus}},
year = 2014,
month = jul,
url = {https://www.cl.cam.ac.uk/techreports/UCAM-CL-TR-857.pdf},
institution = {University of Cambridge, Computer Laboratory},
doi = {10.48456/tr-857},
number = {UCAM-CL-TR-857}
}