Languages and algorithms for distributed Applications

lsinf2345  2019-2020  Louvain-la-Neuve

Languages and algorithms for distributed Applications
Note du 29 juin 2020
Sans connaitre encore le temps que dureront les mesures de distances sociales liées à la pandémie de Covid-19, et quels que soient les changements qui ont dû être opérés dans l’évaluation de la session de juin 2020 par rapport à ce que prévoit la présente fiche descriptive, de nouvelles modalités d’évaluation des unités d’enseignement peuvent encore être adoptées par l’enseignant ; des précisions sur ces modalités ont été -ou seront-communiquées par les enseignant·es aux étudiant·es dans les plus brefs délais.
5 crédits
30.0 h + 15.0 h
Q1
Enseignants
Van Roy Peter;
Langue
d'enseignement
Anglais
Préalables
  • Introduction aux systèmes distribués
  • Modèles formels des systèmes distribués
  • Spécification et implémentation des systèmes distribués
  • Détecteurs de defaillances
  • Diffusion fiable
  • Diffusion causale
  • Mémoire partagée
  • Consensus et ses applications
  • Systèmes à grande échelle (bouche à oreille et pair à pair)
Thèmes abordés
  • Etude des bases théoriques des algorithmes répartis, et des langages pour la programmation répartie.
  • Etude des questions spécifiques des systèmes répartis et mobiles: répartition géographique, gestion de ressources localisées et réparties, tolérance aux fautes, sécurité, interopérabilité et ouverture.
  • Utilisation pratique de quelques langages représentatifs et avancés pour la programmation de systèmes collaboratifs, répartis et mobiles.
Acquis
d'apprentissage

A la fin de cette unité d’enseignement, l’étudiant est capable de :

1 Eu égard au référentiel AA du programme « Master ingénieur civil en informatique », ce cours contribue au développement, à l'acquisition et à l'évaluation des acquis d'apprentissage suivants :
  • INFO1.1-3
  • INFO2.2-4
  • INFO5.4-5
  • INFO6.1, INFO6.4
Eu égard au référentiel AA du programme « Master [120] en sciences informatiques », ce cours contribue au développement, à l'acquisition et à l'évaluation des acquis d'apprentissage suivants :
  • SINF1.M2
  • SINF2.2-4
  • SINF5.4-5
  • SINF6.1, SINF6.4
Les étudiants ayant suivi avec fruit ce cours seront capables de
  • définir les systèmes répartis et les algorithmes répartis avec les concepts qu'ils contiennent et les propriétés qu'ils donnent aux programmes;
  • concevoir des applications collaboratives sur des systèmes répartis en utilisant des modèles rigoureux qui permettent de gérer la concurrence et les pannes partielles;
  • implémenter des applications collaboratives sur des systèmes répartis en utilisant les techniques appropriées;
  • utiliser un certain nombre d'outils avancés pour le développement d'applications réparties et mobiles.
Les étudiants auront développé des compétences méthodologiques et opérationnelles. En particulier, ils ont développé leur capacité à
  • penser à l'aide d'abstractions (raisonner correctement sur un système qui comprend plusieurs couches d'abstractions, et de définir de nouvelles abstractions pour simplifier la résolution d'un problème).
 

La contribution de cette UE au développement et à la maîtrise des compétences et acquis du (des) programme(s) est accessible à la fin de cette fiche, dans la partie « Programmes/formations proposant cette unité d’enseignement (UE) ».
Contenu
  • Introduction aux systèmes distribués
  • Modèles formels des systèmes distribués
  • Spécification et implémentation des systèmes distribués (y compris sûreté et vivacité)
  • Détecteurs de défaillances
  • Diffusion fiable
  • Diffusion causale
  • Mémoire partagée
  • Consensus
  • Applications de consensus
  • Systèmes à grande échelle (bouche à oreille et pair à pair)
Méthodes d'enseignement
  • Cours magistral chaque semaine
  • Séance de travaux pratiques en salle informatique, toutes les deux semaines, pour résoudre des problèmes simplifiés en utilisant les concepts vu au cours
  • Projet de conception et d'implémentation pour aplliquer ces concepts dans le cadre d'une application plus complexe
Modes d'évaluation
des acquis des étudiants
  • Test dispensatoire 25% (vers la 7e semaine)
  • Projet 25%
  • Examen final (50%) (ou 75% si on refait la partie du test)
Le projet est obligatoire et se fait pendant le quadrimestre.  Il ne peut être fait qu'une fois et il compte pour toute l'année académique
Autres infos
Préalables :
  • LINGI1131 : expertise dans au moins un système de programmation et bases de programmation concurrente
Ressources
en ligne
LSINF2345 sur Moodle: https://moodleucl.uclouvain.be/course/view.php?id=1824
Bibliographie
Mandatory course material:
  • Course slides (on Moodle)
Bibliography:
  • Rachid Guerraoui and Luis Rodrigues. "Introduction to Reliable Distributed Programming". Springer-Verlag, 2006.
  • Hagit Attiya and Jennifer Welch. "Distributed Computing: Fundamentals, Simulations, and Advanced Topics". McGraw-Hill, 1998.
Support de cours
  • Introduction to Reliable Distributed Programming
Faculté ou entité
en charge
INFO


Programmes / formations proposant cette unité d'enseignement (UE)

Intitulé du programme
Sigle
Crédits
Prérequis
Acquis
d'apprentissage
Master [120] : ingénieur civil en science des données
DATE2M
5
Master [120] : ingénieur civil en informatique
INFO2M
5
Master [120] en sciences informatiques
SINF2M
5
Master [120] en science des données, orientation technologies de l'information
DATI2M
5