Algorithmique parallèle et distribuée - KAIN8M08

  • Volumes horaires

    • CM 15.0
    • Projet -
    • TD 15.0
    • Stage -
    • TP -
    • DS 2.0

    Crédits ECTS

    Crédits ECTS 0.5

Objectif(s)

Objectifs : Comprendre la complexité de gestion des systèmes distribués.
Etudier et analyser quelques algorithmes classiques.
Comprendre la difficulté d'observation et de vérification des systèmes distribués
Vise à : Apprendre aux étudiants la notion d'abstraction, un modèle abstrait de système distribué, l'approche algorithmique.

Contenu(s)

Modèle asynchrone d'un système distribué.
Algorithme de vague.
Algorithme d'élection.
Gestion de ressources et exclusion mutuelle distribuée.
Etat global.
Analyse et preuve de correction des algorithmes.
Programmation.

Prérequis

Algorithmique impérative
Notions de systèmes, systèmes distribués et réseau

Contrôle des connaissances

40% Contrôle continu

  • 20% Devoir maison (DM)
  • 20% Devoir sur table (DS)
    60% examen terminal :
  • 1 épreuve écrite - 2h
  • tout document autorisé (E)
  • En cas de tiers-temps : sujet adapté (sujet adapté pour les 1/3 temps)
    En cas de non validation d’une UE, le jury peut autoriser l’élève ingénieur à passer des épreuves complémentaires pour la valider.

Calendrier

Le cours est programmé dans ces filières :

  • Formations d'ingénieur - INFO - Semestre 8

Informations complémentaires

Code de l'enseignement : KAIN8M08
Langue(s) d'enseignement : FR

Vous pouvez retrouver ce cours dans la liste de tous les cours.

Bibliographie

"Introduction to Distributed Algorithms" Gerard Tel
"Distributed Algorithms"Nancy Ann Lynch