Programmé en UV2 MAJ INF
Présentation :
Les systèmes informatiques actuels reposent de plus en plus souvent sur un ensemble de processeurs qui collaborent pour exécuter une même tâche. Les ordinateurs multi-core ou l'Internet en sont des exemples frappants. La conception d'un programme pouvant s'exécuter sur un système distribué n'est pourtant pas une tâche aisée.
La modélisation de systèmes distribués et la conception de programmes concurrents sont eu coeur de ce module. Pour l'ingénieur du XXIème siècle, une excellente capacité à concevoir des programmes capables de tirer profit de la multiplicité des processeurs est nécessaire. Ce module vise à apporter quelques bases dans ce domaine.
Nous utiliserons deux modèles théoriques (LTS et FSP) de programmation concurrente. L'équipe pédagogique a retenu ces deux modèles parce qu'ils touchent la plupart des difficultés de la programmation concurrente tout en restant relativement simple.
Objectifs pédagogiques :
- Être capable de de modéliser dans ces formalismes des problèmes simples liés à la programmation concurrente
- Être capable d'identifier quelques pièges classiques de la programmation concurrente en général
- Assimiler quelques briques fondamentales de la théorie des systèmes distribués
Pré-requis :
Un minimum de maîtrise du langage Java est espéré.
Volume horaire :
21h
Contenu détaillé :
Le module se divise grossièrement en :
- trois cours qui donnent les bases fondamentales de la programmation concurrente
- trois PC (petites classes) qui permettent d'approfondir les connaissances. Une de ces PC est une découverte en exercice de la théorie des systèmes distribués
- six séances de Travaux Pratiques (TP) qui visent à parfaire l'utilisation des modèles formels LTS et FSP.
Travaux personnels encadrés :
Le module comportera une majorité de travaux pratiques et petites classes.
Année 2016/2017
Dernière mise à jour le 08-FEB-16
Validation par le responsable de programme le
| 
