1 - Fiche descriptive

Langue

Cette matière est enseignée en français.

Objectifs

Présenter d’une part les problèmes de synchronisation de processus parallèles dans un environnement à mémoire partagée. D’autre part introduire les outils avancés des systèmes d’exploitation centralisés et les systèmes communicants.

Programme/Contenu

– Cours :
– Introduction : sémantique du parallélisme par entrelacement, problème de l’exclusion mutuelle et solutions.
– Mécanismes de synchronisations (sémaphores, moniteurs)études de problèmes genériques (producteurs/consommateurs, lecteurs/rédacteurs, client/serveur ...) et analyse des solutions (interblocage, famine).
– Conception et mise en oeuvre de processus légers.
– Systèmes communicants : communication inter-machines sous UNIX (Socket). -Objets et services distribués (CORBA, RMI). -Middleware à message.
– TD : Problèmes de synchronisation traités avec des moniteurs de Hoare.
– TP : Synchronisation et threads POSIX - Socket UNIX. RMI - Middleware à message.

Mots clés

  • processus concurrents et communicants, système d'exploitation

Bibliographie

  • Techniques de synchronisation pour les Applications Parallèles - Auteur : G. PADIOU, A. SAYAH - Editeur : CEPADUES-Editions
  • Systèmes d’exploitation - Auteur : A. TANENBAUM - Editeur : InterÉditions
  • Programming with POSIX threads - Auteur : D. BUTENHOF - Editeur : Addison-Wesley
  • Distributed systems : concepts and design - Auteur : F. COULOURIS, J. DOLLIMORE, T. KINDBERG - Editeur : Addison-Wesley

2 - Organisation de la matière

UE utilisant cette matière

UE Promotions
NIC2 - MMA : Majeure Mathématiques Appliquées Ingénieur ENSEEIHT Informatique 2ème année Majeure Maths

Volume horaire

Element Volume horaire
Cours magistral 11.0
Travaux dirigés 3.0
Travaux pratiques 11.0
Total 25.0

Examens

Type Forme Coefficient
Contrôle continu Ecrit 2.0
Contrôle continu Projet 2.0

3 - Contacts

Responsables

  • Hagimont Daniel

Enseignants

  • Hagimont Daniel