Descriptif
Le cours abordera la conception d'applications concurrente : modèles de concurrence, politiques d'ordonnancement, mécanismes de synchronisation. Ces concepts seront illustrés par la mise en oeuvre de l'interface de programmation C/POSIX et par celle du modèle objet Java. Le cours portera également sur des patrons de conception pour la programmation concurrente ainsi que la vérification d'applications concurrentes.
Objectifs pédagogiques
Acquis d'apprentissageÀ l'issue de l'UE, l'élève sera capable de:
- Décrire les architectures multi-coeurs et les problématiques posées par les systèmes concurrents modernes.
- Développer des programmes simples en langages concurrents notamment en C/POSIX en se conformant aux bonnes pratiques de programmation.
- Expliquer les principaux mécanismes et patrons de conception nécessaires à la conception de systèmes concurrents.
- Mettre en œuvre les primitives fournies par les bibliothèques et les langages de programmation concurrente.
Compétences de rattachement (et justification)
- BC8.3 – Concevoir et développer des solutions technologiques en s’appuyant sur un paradigme de programmation spécifique ou en concevant des architectures matérielles et logicielles spécifiques; Justification : Mettre en œuvre les primitives fournies par les bibliothèques et les langages de programmation concurrente.
- BC8.2 – Modéliser et déterminer l'architecture logicielle et matérielle en intégrant des technologies, des composants matériels et logiciels avec différentes configurations; Justification : Développer des programmes simples en langages concurrents notamment en C/POSIX en se conformant aux bonnes pratiques de programmation.
- BC6.1 – Identifier et caractériser les éléments et les fonctions d’un système d’information, d’un réseau ou d’un système de communication; Justification :
24 heures en présentiel
9 heures de travail personnel estimé pour l’étudiant.
Diplôme(s) concerné(s)
Parcours de rattachement
Format des notes
Numérique sur 20Littérale/grade réduitPour les étudiants du diplôme M1 CPS - Système Cyber Physique
L'UE est acquise si Note finale >= 10- Crédits ECTS acquis : 2.5 ECTS
Programme détaillé
