Distributed algorithms
CS-451
Media
Media
This file is part of the content downloaded from Distributed algorithms.
Distributed algorithms are fundamental and ubiquitous in the modern computing landscape. In essence, these algorithms enable computing over several machines, in a local IP-like network, a cloud or in a P2P network. Failures are common and computations need to proceed despite partial failures of machines or communication links. This course will cover the foundations of reliable distributed computing with an emphasis on broadcast and agreement algorithms.
The official course page can be accessed here.
- Teaching teamProfessor:Rachid Guerraoui, Office IN... (Text and media area)
- TextbookRachid Guerraoui and Luis Rodrigues - In... (Text and media area)
- Dates and schedule What When Where Course lectures... (Text and media area)
- Grading schemeYour final grade is a combination of... (Text and media area)
- Announcements (Forum)
- Student Questions (Forum)
- Lecture (slides): Reliable Broadcast (File)
- Exercise: Intro (File)
- Exercise: Intro - solutions (File)
- Exercise: Reliable and Causal Broadcast (File)
- Exercise: Reliable Broadcast - solutions (1/2) (File)
- Project introduction (URL)
- Project Description (File)
- Exercise: Reliable and Causal Broadcast - solutions (File)
- Exercise: Total Order Broadcast (File)
- Exercise: Total Order Broadcast - solutions (File)
- Lecture (slides): Total Order Broadcast (File)
- Exercise: Consensus (File)
- Exercise: Consensus - solutions (File)
- FLP Impossibility (File)
- Lecture (slides): Consensus (File)
- Exercise: Consensus - solutions (1/2) (File)
- Lecture (slides): TRB (File)
- Lecture (slides): NBAC (File)
- Exercise: Consensus (part 2) - solutions (File)
- Exercise: NBAC & TRB (File)
- Exercise (slides): NBAC & TRB - solutions (File)
- Exercises (video recording): NBAC & TRB (URL)
- Lecture (slides): GM & VSC (File)
- Lecture (video recording): GM & VSC (URL)
- Exercise (slides): GM & VSC (File)
- Exercises: GM & VSC - solutions (File)
- Exercises (video recording): GM & VSC (URL)
- Exercises (video recording): GM & VSC - solutions (URL)
- Exercise (slides): Indistinguishability Technique (File)
- Exercises (slides): Indistinguishability Technique (solutions) (File)
- Lattice Agreement (Recording) (URL)
- Lattice Agreement (File)
- Byzantine-Resilient Machine Learning (File)
- Challenging question: Validity & Consensus (File)
- Challenging question: Reliable Broadcast & Consensus (File)