Fiches de cours

Distributed algorithms

CS-451

Enseignant(s) :

Guerraoui Rachid

Langue:

English

Summary

Computing is often distributed 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. The foundations of reliable distributed computing will be studied.

Content

Reliable broadcast       
Causal Broadcast   
Total Order Broadcast   
Consensus   
Non-Blocking Atomic Commit  
Group Membership, View Synchrony
Terminating Reliable Broadcast   
Shared Memory in Message Passing System
Byzantine Fault Tolerance 
Self Stabilization
Population protocols   (models of mobile networks)

Blockchain

Distributed Machine Learning

Gossip

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: they can be taken in parallel.

Learning Outcomes

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

Teaching methods

Ex cathedera

Lectures, exercises and practical work

Assessment methods

Midterm and final exams

Project

Supervision

Office hours Yes
Assistants Yes
Forum Yes

Resources

Ressources en bibliothèque
Notes/Handbook

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

Websites

Dans les plans d'études

Semaine de référence

 LuMaMeJeVe
8-9 PO01 Polydôme   
9-10    
10-11 PO01 Polydôme   
11-12     
12-13     
13-14     
14-15     
15-16CM1    
16-17    
17-18BC01
BC02
BC03
    
18-19     
19-20     
20-21     
21-22     
 
      Cours
      Exercice, TP
      Projet, autre

légende

  • Semestre d'automne
  • Session d'hiver
  • Semestre de printemps
  • Session d'été
  • Cours en français
  • Cours en anglais
  • Cours en allemand