Fiches de cours 2017-2018

PDF
 

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)

Keywords

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

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

Assessment methods

Mid-term and final exams.

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
Videos

Dans les plans d'études

Semaine de référence

 LuMaMeJeVe
8-9     
9-10     
10-11     
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