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: 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} }