Week 7: Consensus

Lecture notes:
Consensus
Lecture slides ( 6 per page)
Supplemental notes:
Discussion in answers.com.
Leslie Lamport, Robert Shostak, Marshall Pease, The Byzantine Generals Problem, SRI International
A paper on the Byzantine Generals Problem
The Byzantine Generals Problem
Notes from the University of Wisconsin - Madison
The Byzantine Generals Problem
Leslie Lamport, Paxos Made Simple, Nov. 1, 2001.
Lampson, Butler, How to Build a Highly Available System Using Consensus, Microsoft Research
Iair Amir, Jonathan Kirsch, Paxos for System Builders: An Overview, Johns Hopkins University.
Iair Amir, Jonathan Kirsch, Paxos for System Builders, Johns Hopkins University, Technical Report CNDS-2008-2, March 2008.
Michael J. Fischer, Nancy A. Lynch, Michael S. Paterson, Impossibility of Distributed Consensus with One Faulty Process, Journal of the Association for Computing Machinery, Volume 32, No. 2, April 1984, pp. 374-382.
Bracha, G. and Toueg, S. Asynchronous Consensus and Broadcast Protocols, Journal of the ACM 32, 4 (October 1985), 824–840.
Buzzwords:
consensus, faults, fail-stop, fail-silent, Byzantine fault, synchronous vs. asynchronous system, two army problem, byzantine generals problem, Paxos, Paxos proposer, paxos acceptor, replicated state machine, active-active, active-passive, leasing vs. locking, hierarchical leases.