Section outline

    • 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.

    • Le but de ce projet est de programmer dans Sinalgo des algorithmes d'élection (au moins deux parmi ceux présentés dans les sections 2-5 du sujet) pour des réseaux identifiés dont la topologie est un anneau dirigé (topologie Circle dans Sinalgo).

      • Le projet sera réalisé en binôme ou trinôme.
      • Chaque groupe aura à programmer deux algorithmes obligatoires choisis par les responsables du cours. Les autres algorithmes pourront être programmés afin d’obtenir des points bonus.
      • Vos fichiers source devront être commentés de manière judicieuse et détaillée (cela sera pris en compte dans la notation !)

      • Vous devrez fournir une archive ZIP ou tgz contenant un rapport de 5 pages maximum et les sources de vos algorithmes.

      • Le projet fera l’objet d’une soutenance de 30 min par groupe lors de la dernière séance.

      • DATE LIMITE DE RENDU : 25 janvier 2026 à 23h59