C2 – The Problem of Consensus in Distributed Systems

Agreement and consensus in distributed systems, the impossibility results, and how consensus is made possible in practice.

corso dei lucidi

Sistemi distribuiti (modulo 1) (laurea magistrale, 2024/2025) — Andrea Omicini

usati nelle lezioni

gli stessi lucidi in altre edizioni

pubblicazione di riferimento

Paxos Made Live: An Engineering Perspective (articolo in atti, 2007) — Tushar D. Chandra, Robert Griesemer, Joshua Redstone

Revisiting the Paxos algorithm (capitolo di libro, 1997) — Roberto De Prisco, Butler W. Lampson, Nancy A. Lynch

Distributed Commit With Bounded Waiting (articolo in atti, 1982) — Danny Dolev, H. Raymond Strong

Hundreds of impossibility results for distributed computing (articolo in rivista, 2003) — Faith Fich, Eric Ruppert

Impossibility of distributed consensus with one faulty process (articolo in rivista, 1985) — Michael J. Fischer, Nancy A. Lynch, Michael S. Paterson

ZooKeeper: Wait-free Coordination for Internet-scale Systems (articolo in atti, 2010) — Patrick Hunt, Mahadev Konar, Flavio P Junqueira, Benjamin Reed

The Part-Time Parliament (articolo in rivista, 1998) — Leslie Lamport

Paxos Made Simple (articolo in rivista, 2001) — Leslie Lamport

Fast Paxos (articolo in rivista, 2006) — Leslie Lamport

There is More Consensus in Egalitarian Parliaments (articolo in atti, 2013) — Iulian Moraru, David G. Andersen, Michael Kaminsky

In Search of an Understandable Consensus Algorithm (articolo in atti, 2014) — Diego Ongaro, John K. Ousterhout

A Simple Totally Ordered Broadcast Protocol (articolo in atti, 2008) — Benjamin Reed, Flavio P. Junqueira

Paxos Made Moderately Complex (articolo in rivista, 2015) — Robbert Van Renesse, Deniz Altinbuken

presentazione collegata

Distributed Consensus: Making Impossible Possible (QCon London 2016, 29/03/2016) — Heidi Howard