Module SR : Algorithmique et techniques de base des systèmes répartis

Module SR : Algorithmique et techniques de base des systèmes répartis

Equipe pédagogique :

Daniel Hagimont, Sacha Krakowiak, Jean-Bernard Stefani

Volume :

24h.

Spécialité :

S&L

La conception et la réalisation des systèmes et applications répartis s'appuient sur un ensemble de principes de base régissant la communication, la gestion de l'information, le partage de ressources, la tolérance aux fautes. L'objectif de ce module est de présenter ces principes en les illustrant par des exemples concrets d'application.

• Temps et état dans un système réparti asynchrone : horloges logiques, horloges vectorielles, coupures cohérentes, capture d'un état cohérent. Application : datation des événements, observation et mise au point de systèmes, synchronisation répartie.
• Algorithmes de base des systèmes répartis (élection, terminaison, etc). Applications : gestion de groupes, calcul réparti.
• Tolérance aux fautes : principes et mécanismes de base. Diffusion fiable, diffusion atomique, gestion de groupes, vues synchrones. Applications : Tolérance aux fautes dans un système client-serveur : serveur primaire, redondance active, gestion de copies multiples.
• Consensus et validation. Classes de détecteurs de pannes non fiables. Réalisation du consensus sous diverses hypothèses de fautes. Algorithmes de validation réparties. Applications : service de consensus, transactions réparties.
• Désignation répartie. Applications : services de noms, gestion de la mobilité, objets et agents mobiles
• Gestion répartie de l'information. Applications : cohérence de caches, objets répartis, mémoire virtuelle répartie.

Module SR : Algorithmique et techniques de base des systèmes répartis