User:Ahazred8/consensus

draft list of consensus protocols / software

 * Paxos (write-once distributed register)
 * Viewstamped Replication
 * Raft
 * PBFT
 * Chubby (Google)
 * Zookeeper/Zab (Apache)
 * ??? Zyzzyva/Zzyzx, HQ, Q/U, Aliph, Aardvark, RBFT, UpRight, BFT-SMaRt

Rationale: There doesn't seem to be a review of the literature that lists protocols / implementations. Is there anyone who has already compiled such a list?

I'm currently trying to compile such a list, though it's scattered Toplevel: http://ball.askemos.org/?_v=search&_id=710 sections are at the bottom labeld Paxos, PBFT, SACSP etc. I'd really like to get a list of implementations though there appears to be little beyond prototypes. True? -jfw

taxonomy: are quorum, consensus, bft all equivalent categories?

issues: notability


 * List SMR-based schemes: Lamport's 1984 state machine paper, Lynch, Dwork and Stockmeyer (1988), Viewstamped Replication: Oki and Liskov (1988), Paxos (1989), Chandra and Toueg ??? (1996), PBFT: Castro and Liskov (1999), BFT-TO: Correia, Neves and Verissimo (2012), .. [todo]
 * List Non-SMR schemes: [todo]

timeline

 * 1984: Lamport
 * 1988: Lynch, Dwork and Stockmeyer, Viewstamped Replication: Oki and Liskov
 * 1989: Paxos: Lamport
 * 1996: Chandra and Toueg
 * 1999: PBFT: Castro and Liskov
 * 2006: HQ Replication
 * 2012: BFT-TO: Correia, Neves and Verissimo
 * 2013: Raft: Ongaro and Ousterhout