Systèmes informatiques et applications concurrentes

Unité d'enseignement du Cnam

Prérequi200s

élèves avec les connaissances de la programmation et des systèmes informatiques vues en premier cycle du Cnam ou équivalent

Contenu de la formation

Programmation concurrente pour les systèmes et les applications
Introduction. Actualité de la programmation concurrente, utilité, difficultés, développements.
Rappel sur la gestion cooperative et concurrente des ressources partagées entre utilisateurs ou processus.
Concurrence dans la machine virtuelle fournie à l'utilisateur par le système d'exploitation. Processus et environnement d'exécution. Espace d'adressage : exemple d'Unix et Linux.
Le système fournissant des services communs et une plate-forme commune. Gestion des processus et partage des ressources. Structures de systèmes. Introduction et exemples sur l'allocation des ressources. Mesure de charge, d'occupation de l'espace d' adressage.
Ordonnancement des processeurs, (Exemples : Unix, Linux, Chorus, Temps réel). Ordonnancement des transferts disques.
Gestion de mémoire. Allocation. Placement par zone, par page. Mémoire virtuelle paginée. Ecroulement. Stratégies globales d'allocation de ressources. Localité, espace de travail.
Fiabilité de la concurrence Interblocage
Interblocage. Détection et prévention de l'interblocage. Prévention statique (classes ordonnées) et prévention dynamique (algorithme du banquier).
Paradigmes et "patterns" de la concurrence
Présentation des principaux paradigmes (et "patterns") de la concurrence tels qu'ils résultent de l'expérience des communautés systèmes d'exploitation, systèmes et applications temps réel, systèmes et applications embarqués, systèmes et applications répartis : exclusion mutuelle, producteurs-consommateurs, lecteurs-rédacteurs, dîner des philosophes. Système centralisé ou réparti. Exemples d'utilisation dans des applications
Concurrence et environnement d'exécution
Analyse des contraintes que la programmation concurrente apporte pour l'environnement d'exécution : gestion des processus (process, threads, tasks), des variables locales, globales et persistantes (piles, tas), de la protection (espaces d'adressages séparés, segmentation), de la communication (canaux, mémoire virtuelle partagée)
Programmation des paradigmes et "patterns"
Présentation des solutions dans les principaux systèmes et langages utilisés : API systèmes (sémaphores, mutex, conditions, signaux, normes Posix), langage Java.
Synchronisation par mémoire commune. Mécanismes élémentaires d'exclusion mutuelle. Sémaphore, moniteurs (aperçu), méthodes synchronisées de JAVA.
Programmation de la synchronisation par "design patterns" avec des sémaphores. Propriétés, coopération entre processus, producteurs-consommateurs. Lecteurs-rédacteurs, dîner des philosophes. Les techniques de programmation. Sémaphores privés. Allocation de mémoire. Solutions en programmation par objets.
Synchronisation par messages. Cas d'UNIX et de LINUX. Boîte aux lettres. Client-serveur.  "Design patterns" pour les paradigmes.
Synchronisation par messages dans les systèmes répartis. Ordre partiel causal, ordre total à la Lamport, algorithme réparti d'exclusion mutuelle.
Formalisation, Validation, Performances
Présenter les principales abstractions utiles : compteurs abstraits, assertions, automates synchronisés ;  relation d'ordre entre événements.
Aperçu sur les besoins de validation et de performance des programmes concurrents.
Présentation formelle de la détection et de la prévention de l'interblocage.

Fiche mise à jour le 11/07/2011

- Les inscriptions sont permanentes
- Début de la formation : A compter de l'inscription
- Durée de la formation : 12 mois

Objectifs

Conservatoire national des Arts et Métiers

La fiche détaillée du partenaire

http://formation.cnam.fr/zaffiche_ue_externe.php?code_formation=SMB137

CONSERVATOIRE NATIONAL DES ARTS ET METIERS ACADEMIE * CNAM

Centre régional du Cnam - La Réunion Adresse CRA du Cnam de la Réunion 18 rue Claude Chappe ZAC 2000 BP 274 97827 Le Port Cedex Voir le site tél : 02.62.42.28.37 Contact(s) CENTRE RÉGIONAL DU CNAM - LA RÉUNION