Distributed Computing LPD

Distributed Algorithms

Master course, Fall 2017

Prerequisites: none.

Note: this course is independent from the course Concurrent Algorithms.


News

  • [New] Lecture room changed to CM 1.
  • Links to Wandida short lectures on broadcast.
  • DA 2017 page is online.

Dates and schedule

  • The course is given on Mondays, 15:15−17:00, in CM 1.
  • The exercises are given on Mondays, 17:15-18:00, in BC01 and BC03.
  • Bonus exam date : December 4, 3:00-5:00 pm, Room TBA.
  • Final exam date: to be decided by EPFL administration (January-February)

Teaching team


Textbook

  • Rachid Guerraoui and Luis Rodrigues - Introduction to Reliable Distributed Programming, available at 'La Fontaine' (with a student discount) or at amazon.de.
  • Christian Cachin, Rachid Guerraoui and Luis Rodrigues - Introduction to Reliable and Secure Distributed Programming

Additional Material

  • We prepared a document describing the language used for module specification and implementation, the notion of layering, and the notion of process. (odt pdf)
  • A Latex sample for algorithm implementation can be found here: alg-sample.tex

Slides and exercises

Note that the slides will most likely be edited as the semester progresses, so make sure you have the latest version.

Lecture Slides Exercises
Introduction intro.pdf ex01.pdf logic101.pdf
sol01.pdf Logic101Solution.pdf
Reliable Broadcast rb.pdf ex02.pdf sol02.pdf
Causal Broadcast cb.pdf ex03.pdf sol03.pdf
Channels in Practice + Gossip channels-gossip.pdf ex04.pdfsol04.pdf
Total Order Broadcast tob.pdf ex05.pdf sol05.pdf
Consensus consensus.pdf ex06.pdf sol06.pdf
Shared Memory shared-memory.pdf ex07.pdf ex07-2.pdf
sol07.pdf sol07-2.pdf
TRB
GM & VSC
TRB.pdf
GM-VSC.pdf
ex08.pdf sol08.pdf

Information on exercises, grading, and exam

  • Exercises are made available on the course webpage each Monday.
  • Exercises are not graded and do not count towards the final grade. However, solving them helps you better understand the course material and prepare for the final exam.
  • Solutions to exercises will be given during the exercise sessions one week later after the exercises were given. Also, solutions will be available on the course webpage one week later after the exercises were given.
  • There will be a midterm in the first week of december. It will be only counted as a bonus.