CS-451 / 8 credits

Teacher: Guerraoui Rachid

Language: English


Summary

Computing is nowadays distributed over several machines, in a local IP-like network, a cloud or a P2P network. Failures are common and computations need to proceed despite partial failures of machines or communication links. This course will study the foundations of reliable distributed computing.

Content

Keywords

Distributed algorithms, checkpointing, replication, consensus, atomic broadcast, ditributed transactions, atomic commitment, 2PC, Machine Learning

Learning Prerequisites

Required courses

Basics of Algorithms, networking and operating systems

Recommended courses

The lecture is orthogonal to the one on concurrent algorithms: it makes a lot of sense to take them in parallel.

Learning Outcomes

By the end of the course, the student must be able to:

  • Choose an appropriate abstraction to model a distributed computing problem
  • Specify the abstraction
  • Present and implement it
  • Analyze its complexity
  • Prove a distributed algorithm
  • Implement a distributed system

Teaching methods

Ex cathedera

Lectures, exercises and practical work

Assessment methods

Final exam

Project

Resources

Ressources en bibliothèque

Notes/Handbook

Reliable and Secure Distributed Programming
Springer Verlag
C. Cachin, R. Guerraoui, L. Rodrigues

In the programs

  • Semester: Fall
  • Exam form: Written (winter session)
  • Subject examined: Distributed algorithms
  • Lecture: 3 Hour(s) per week x 14 weeks
  • Exercises: 2 Hour(s) per week x 14 weeks
  • Practical work: 1 Hour(s) per week x 14 weeks
  • Semester: Fall
  • Exam form: Written (winter session)
  • Subject examined: Distributed algorithms
  • Lecture: 3 Hour(s) per week x 14 weeks
  • Exercises: 2 Hour(s) per week x 14 weeks
  • Practical work: 1 Hour(s) per week x 14 weeks
  • Semester: Fall
  • Exam form: Written (winter session)
  • Subject examined: Distributed algorithms
  • Lecture: 3 Hour(s) per week x 14 weeks
  • Exercises: 2 Hour(s) per week x 14 weeks
  • Practical work: 1 Hour(s) per week x 14 weeks
  • Semester: Fall
  • Exam form: Written (winter session)
  • Subject examined: Distributed algorithms
  • Lecture: 3 Hour(s) per week x 14 weeks
  • Exercises: 2 Hour(s) per week x 14 weeks
  • Practical work: 1 Hour(s) per week x 14 weeks
  • Semester: Fall
  • Exam form: Written (winter session)
  • Subject examined: Distributed algorithms
  • Lecture: 3 Hour(s) per week x 14 weeks
  • Exercises: 2 Hour(s) per week x 14 weeks
  • Practical work: 1 Hour(s) per week x 14 weeks
  • Semester: Fall
  • Exam form: Written (winter session)
  • Subject examined: Distributed algorithms
  • Lecture: 3 Hour(s) per week x 14 weeks
  • Exercises: 2 Hour(s) per week x 14 weeks
  • Practical work: 1 Hour(s) per week x 14 weeks
  • Semester: Fall
  • Exam form: Written (winter session)
  • Subject examined: Distributed algorithms
  • Lecture: 3 Hour(s) per week x 14 weeks
  • Exercises: 2 Hour(s) per week x 14 weeks
  • Practical work: 1 Hour(s) per week x 14 weeks
  • Semester: Fall
  • Exam form: Written (winter session)
  • Subject examined: Distributed algorithms
  • Lecture: 3 Hour(s) per week x 14 weeks
  • Exercises: 2 Hour(s) per week x 14 weeks
  • Practical work: 1 Hour(s) per week x 14 weeks
  • Semester: Fall
  • Exam form: Written (winter session)
  • Subject examined: Distributed algorithms
  • Lecture: 3 Hour(s) per week x 14 weeks
  • Exercises: 2 Hour(s) per week x 14 weeks
  • Practical work: 1 Hour(s) per week x 14 weeks
  • Exam form: Written (winter session)
  • Subject examined: Distributed algorithms
  • Lecture: 3 Hour(s) per week x 14 weeks
  • Exercises: 2 Hour(s) per week x 14 weeks
  • Practical work: 1 Hour(s) per week x 14 weeks
  • Semester: Fall
  • Exam form: Written (winter session)
  • Subject examined: Distributed algorithms
  • Lecture: 3 Hour(s) per week x 14 weeks
  • Exercises: 2 Hour(s) per week x 14 weeks
  • Practical work: 1 Hour(s) per week x 14 weeks

Reference week

 MoTuWeThFr
8-9 CE2   
9-10 CE2   
10-11 CE2   
11-12     
12-13     
13-14BCH2201    
14-15    
15-16INF2
INF1
    
16-17     
17-18     
18-19     
19-20     
20-21     
21-22     

Tuesday, 8h - 9h: Lecture CE2

Tuesday, 9h - 10h: Exercise, TP CE2

Tuesday, 10h - 11h: Exercise, TP CE2

Monday, 13h - 15h: Lecture BCH2201

Monday, 15h - 16h: Exercise, TP INF2
INF1