Résumé de section

    • Contenu :

      • Systèmes distribués
      • Algorithmes distribués
      • Cas d'étude : Algorithme d'exclusion mutuelle de LeLann
      • Algorithmes à vague
      • Cas d'étude : circulation de jeton
    • Circulation de jeton dans un réseau connexe

      • Conception de l'algorithme
      • Preuve de correction
      • Etude de complexité
    1. Suite du TD DFS
    2. Cours sur l'implantion d'algorithmes distribués dans Sinalgo
    3. TP DFS
    • Tutoriel d'installation du plug-in Sinalgo sous Eclipse.

      1. Circulation de jeton infinie dans un arbre
      2. Circulation de jeton dans un réseau connexe
      3. Circulation de jeton infinie dans un réseau connexe
    • Les horloges logiques en SD

    • Propagation d'Information avec Retour

      • Spécification du problème
      • Conception d'un algorithme de PIR
      • Preuve de l'algorithme
      • Etude de sa complexité
      • Implémentation de l'algorithme vue en TD
      • Utilisation de PIR pour résoudre l'élection de leader dans un réseau identifié connexe
    • Routage et acheminement

  • Cette séance est consacrée au problème de la prise d'instantané (snapshot) distribuée 

    Pour cela, nous allons étudier l'article fondamental de Chandy et Lamport intitulé "Distributed Snapshots: Determining Global States of Distributed Systems"

  • Cette séance consiste en une introduction à la tolérance aux pannes dans les systèmes distribués.