INF 411 A : Programmation concurrente et distribution


Retour
Imprimer la fiche programme
Code analytique: EDOINFMA2
Responsable  :    
Programmé en UV2 MAJ INF

Présentation :

Le parallélisme d'activités permet de modéliser de nombreux phénomènes dans les systèmes informatiques.
La programmation concurrente permet de décrire ces activités dans un cadre mono processeur. Les différentes notions liées à la concurrence sont mises en évidence et des outils de résolution sont proposés.
La distribution permet de traiter des systèmes plus larges, mais pose des problèmes supplémentaires, et nécessite donc des notions complémentaires pour les aborder et présenter des solutions.

Ce module se propose de présenter les notions théoriques au travers d'exemples démonstratifs.
Les notions fondamentales sont abordées de façon conceptuelles. Des méthodes systématiques et de vérification de propriétés sont abordées.

Objectifs (obsolète):

Ce module est une sensibilisation à la programmation concurrente et à la distribution. Les compétences acquises à l'issue du module sont :
- être capable d'expliquer les notions de base du parallélisme, des sytèmes concurrents et distribués
- savoir programmer une application concurrente en mettant en oeuvre une méthode basée sur les invariants
- svoir proposer des méthodes de vérifications de propriétés d'applications concurrentes ou distribuées


Pré-requis :

Programmation séquentielle
langage Java

Volume horaire : 21h


Contenu détaillé :

C1 : introduction
PC1 : exemples, problèmes de partage
C2 : concurrence, en java ( thread, synchronize, wait, notifyAll), l’exclusion mutuelle
PC2 : Problème de partage de ressources
STP1 : Implantation
C3 : Synchronisation, partage de données, invariants
STP2 : Exemple
C4 : Propriétés : interblocage, sûreté, vivacité
PC3 : analyse de spécification
C5 : correspondance de modèles et vérification
STP3 +
STP4 : gestion de la correspondance entre code et modèle
C6 : ouverture vers les systèmes distribués
STP5 : illustration d’un problème de distribution



Année 2007/2008
Dernière mise à jour le 05-JUL-07
Validation par le responsable de programme le


IMT Atlantique
Campus de Brest
Technopôle Brest-Iroise
CS 83818
29238 Brest Cedex 3
France

Tél  +33 (0)2 29 00 11 11
Fax +33 (0)2 29 00 10 00