Department of Computer Science and Technology

Technical reports

ARC: Analysis of Raft Consensus

Heidi Howard

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


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

  author =	 {Howard, Heidi},
  title = 	 {{ARC: Analysis of Raft Consensus}},
  year = 	 2014,
  month = 	 jul,
  url = 	 {},
  institution =  {University of Cambridge, Computer Laboratory},
  doi = 	 {10.48456/tr-857},
  number = 	 {UCAM-CL-TR-857}