Archive 2020
ValidationCC+examen
EnseignantC. Delporte
Horaires hebdomadaires 3 h CM
Années

Sommaire

  1. Introduction: état global d'un système distribué. Exemple de la terminaison distribuée
  2. Algorithmes de vagues : relation de causalité de Lamport, exemple PIF, Resynch, calcul du minimum, vagues sur un anneau, sur un arbre, algorithme de probe-echo, algorithme de phases, snapshots.
  3. Élections : anneau, autres topologies
  4. Réseaux anonymes : algorithmes probabilistes: Monte-Carlo et Las Vegas, élection - calcul de la taille
  5. Défaillances des liens : problème de l'attaque coordonnée
  6. Défaillances des processus : envoi-réception de messages en présence de défaillances des processus;
  7. Défaillances des processus, cas synchrone, rondes synchronisées : consensus pour des pannes crash: algorithme d'inondation, généraux byzantins
  8. Défaillances des processus, cas asynchrone et résultat d'impossibilité
  9. Extensions et perspectives : implémentation des registres, objets, linéarisation, hiérarchie wait-free, détecteur de défaillances.