Ecole d'ingénieur et centre de recherche en télécommunications

Algorithmes distribués

[DistAlg]
T Enseignement Technique


Résumé

  • Ce cours étudie les algorithmes distribués et la concurrence en mettant l'accent sur le modèle à base de message dans les systèmes répartis.
  • Le cours se penche aussi sur les concepts fondamentaux des algorithmes distribués dans le modèle à mémoire partagée dans le contexte des architectures à noyaux multiples.

Description

  • Introduction
  • Réseauxsynchrones: Algorithmes d'élection. Primitives de la diffusion. Arbres couvrants.Consensus tolérant aux fautes. Accord des K-ensembles.
  • Calcul distribué asynchrone. Temps, horloges et ordre des événements. Horloge vectorielle. Election asynchrone  sans faute.
  • Détecteurs de fautes. Primitives de diffusion asynchrone.-Consensus dans les réseaux asynchrones avec détecteurs de fautes et hypothèses temporelles.
  • Transactions distribuées. Engagement atomique non-bloquant.
  • Adhésion à ungroupe.- Les registres. Cohérence sémantique. Émulations du  mémoire partagée dans le modèleà base de  messages.
  • Atomicité. Objets atomiques. Registres atomiques. Instantané atomique.
  • Réplication de machines d'état. Protocole de consensus Paxos. Tolerance aux fautes Byzantines.
  • Algorithmes aléatoires distribués.
  • Notions de base de la concurrence. L'exclusion  mutuelle. Dîner de philosophes. Puissance des registres.
  • Vérification des algorithmes distribués.
Nombre d'heures: 42.00