CSC 2415 --- Advanced Topics in Distributed Computing
Sam Toueg
General Course Information
Suggested project topics
(pdf file with active links to partial bibliography; requires password)
Some lecture notes and handouts
Link to Leslie Lamport's ``Paxos made simple'' paper
Paxos slides
Paxos proof
Failure Detectors
CT Consensus Algorithm
Consensus with Efficient Reads
Bounded Disagreement
On the Number of Objects with Distinct Power and the Linearizability of Set Agreement Objects
On BG simulation:
David's lecture
google slides
Daniel Lister.
A pedagogical presentation of the BG-simulation
.
Elizabeth Borowsky and Eli Gafni.
Generalized FLP impossibility result for t-resilient asynchronous computations.
Elizabeth Borowsky et al.
The BG distributed simulation algorithm
.
Soma Chaudhuri and Paul Reiners.
Understanding the Set Consensus Partial Order Using the Borowsky-Gafni Simulation (Extended Abstract)
and
here
.