Languages and algorithms for distributed Applications

lsinf2345  2018-2019  Louvain-la-Neuve

Languages and algorithms for distributed Applications
5 credits
30.0 h + 15.0 h
Q2
Teacher(s)
Language
English
Main themes
  • 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.
Aims

At the end of this learning unit, the student is able to :

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).
 

The contribution of this Teaching Unit to the development and command of the skills and learning outcomes of the programme(s) can be accessed at the end of this sheet, in the section entitled “Programmes/courses offering this Teaching Unit”.
Content
  • 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 défaillances
  • Diffusion fiable
  • Diffusion de causalité
  • Mémoire partagée
  • Consensus
  • Applications de consensus
Teaching methods
  • 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 concpets vu au cours
  • Projet de conception et d'implémentation pour aplliquer ces concepts dans le cadre d'une application plus complexe
Evaluation methods
  • 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
Other information
Préalables :
  • LINGI1131 : expertise dans au moins un système de programmation et bases de programmation concurrente
Bibliography
Support obligatoire:
  • transparents en ligne
Références
  • 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.
  • Peter Van Roy et Seif Haridi, Chapter 11 de Concepts, Techniques, and Models of Computer Programming, MIT Press, 2004.
  • Peter Van Roy, Per Brand, Seif Haridi et Raphael Collet,  A Lightweight Reliable Object Migration Protocol, Springer LNCS 1686, 1998.
Faculty or entity


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

Title of the programme
Sigle
Credits
Prerequisites
Aims
Master [120] : ingénieur civil en science des données
5

Master [120] : ingénieur civil en informatique
5

Master [120] en sciences informatiques
5

Master [120] en science des données, orientation technologies de l'information
5