Home

Awesome

Consensus: Bridging Theory and Practice

This repository contains Diego Ongaro's PhD dissertation, Consensus: Bridging Theory and Practice, published by Stanford University in 2014. The dissertation PDFs and the dissertation sources are licensed under the Creative Commons Attribution license, as described in the LICENSE file.

Several pre-built PDFs are included:

All of these use the same page numbers starting at page 1, though book.pdf has an additional blank page before the introduction (page xviii).

The source materials for the dissertation are made available here in the hopes that they might be useful, for example, to reformat the dissertation for a different medium or to copy sections for use in other documents (per the LICENSE). It requires the following to build:

Updates and Errata

Chapter 3: Basic Raft algorithm

Chapter 4: Cluster membership changes

Chapter 6: Client interaction

Chapter 7: Raft user study / Appendix A: User study materials

Chapter 8: Correctness / Appendix B: Safety proof and formal specification

Chapter 10: Implementation and performance

Bibliography