The Raft Consensus Algorithm Diego Ongaro and John Ousterhout November 2015 

Source URL: raft.github.io

• Fault-tolerant computer systems
• Computing
• Concurrent computing
• Distributed computing
• Paxos
• Replication
• Consensus
• Raft
• Leslie Lamport
• Virtual synchrony
• State machine replication

Consensus in the Cloud: Paxos Systems Demystified Ailidani Ailijiang∗ , Aleksey Charapko† and Murat Demirbas‡ Computer Science and Engineering University at Buffalo, SUNY Buffalo, NYEmail: ∗ ailidani@buffa

Source URL: www.cse.buffalo.edu

Planning for Change in a Formal Verification of the Raft Consensus Protocol Doug Woos Zachary Tatlock James R. Wilcox

Source URL: verdi.uwplse.org

• Fault-tolerant computer systems
• Computing
• Mathematics
• Distributed algorithms
• Mathematical induction
• Raft
• Formal verification
• Consensus
• Leader election
• Mathematical proof
• Paxos
• Cognitive science

Decoupled Quorum-Based Byzantine-Resilient Coordination in Open Distributed Systems Alysson Neves Bessani† Miguel Correia†

Source URL: www.di.fc.ul.pt

• Computing
• Fault-tolerant computer systems
• Concurrent computing
• State machine replication
• Byzantine fault tolerance
• Tuple
• Paxos
• Consensus
• Erlang
• Linda
• Replication

C:/Users/Nuno/PhD/papers/State Machine Replication (Paxos)/paxos-srds11/techreport.dvi

Source URL: infoscience.epfl.ch

Fact-based Inter-Process Communication Primitives for Programming Distributed Systems Robbert van Renesse, Department of Computer Science Cornell University Category: Representation The following position paper describes

Source URL: www.cs.cornell.edu

• Concurrent computing
• Computing
• Software engineering
• Fault-tolerant computer systems
• Distributed computing
• Inter-process communication
• Message-oriented middleware
• Publishsubscribe pattern
• Paxos
• Consensus
• Communications protocol
• Distributed algorithm

Paxos Made Simple Leslie Lamport 01 Nov 2001 Abstract The Paxos algorithm, when presented in plain English, is very simple.

Source URL: www.news.cs.nyu.edu

Spanner: Google’s Globally-Distributed Database James C. Corbett, Jeffrey Dean, Michael Epstein, Andrew Fikes, Christopher Frost, JJ Furman, Sanjay Ghemawat, Andrey Gubarev, Christopher Heiser, Peter Hochschild, Wilson

Source URL: css.csail.mit.edu

• Computing
• Data management
• Transaction processing
• Data
• Database management systems
• Databases
• Concurrency control
• Paxos
• Spanner
• Bigtable
• Two-phase commit protocol
• Replication

Appeared in the Proceedings of the 2013 USENIX Annual Technical Conference On the Efficiency of Durable State Machine Replication Alysson Bessani1 , Marcel Santos1 , Jo˜ao Felix1 , Nuno Neves1 , Miguel Correia2 {1 FCUL

Source URL: www.di.fc.ul.pt

• Fault-tolerant computer systems
• Computing
• State machine replication
• Replication
• Application checkpointing
• Byzantine fault tolerance
• In-memory database
• Paxos

Paxos Made Simple Leslie Lamport 01 Nov 2001 Abstract The Paxos algorithm, when presented in plain English, is very simple.

Source URL: css.csail.mit.edu

• Political philosophy
• Politics
• Fault-tolerant computer systems
• Consensus
• Communications protocol
• Proposal