Algorithmes distribués

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.