Informatique et systèmes de communication
- Admission : /fr/formation/bachelor/informatique-et-systemes-de-communication/admission/
- Programme de formation : /fr/formation/bachelor/informatique-et-systemes-de-communication/programme-de-formation/
- Structure des études : /fr/formation/bachelor/informatique-et-systemes-de-communication/structure-des-etudes/
- Perspectives : /fr/formation/bachelor/informatique-et-systemes-de-communication/perspectives/
- Mobilité : /fr/formation/bachelor/informatique-et-systemes-de-communication/mobilite/
- Personnes : /fr/formation/bachelor/informatique-et-systemes-de-communication/personnes/
- Admission : /fr/formation/bachelor/informatique-et-systemes-de-communication/admission/
- Programme de formation : /fr/formation/bachelor/informatique-et-systemes-de-communication/programme-de-formation/
- Structure des études : /fr/formation/bachelor/informatique-et-systemes-de-communication/structure-des-etudes/
- Perspectives : /fr/formation/bachelor/informatique-et-systemes-de-communication/perspectives/
- Mobilité : /fr/formation/bachelor/informatique-et-systemes-de-communication/mobilite/
- Personnes : /fr/formation/bachelor/informatique-et-systemes-de-communication/personnes/
Programme de formation
Filière:
Informatique et systèmes de communication
Orientation:
Informatique logicielle
Module: Programmation système
Descriptif de cours
Retour-
Objectifs
A la fin du cours, l'étudiant sait:
- Analyser un problème informatique et juger de la nécessité d'une approche concurrente.
- Concevoir un programme concurrent en identifiant, sur la base de critères objectifs, les différents processus et leur interaction.
- Utiliser à bon escient les outils de synchronisation entre processus.
- Appliquer les règles permettant d'éviter interblocage et privation.
- Représenter une application concurrente à l'aide d'un formalisme adéquat.
- Simuler à l'aide d'un formalisme adéquat le comportement dynamique d'un programme concurrent.
-
Contenu
- Introduction: première approche, définitions, caractéristiques et modèle.
- Exclusion mutuelle: problématique, réalisation (attente active, verrous).
- Synchronisation: problématique, réalisation (sémaphores, moniteurs)
- Langages/environnements de développement qui supportent de multiples processus: Python, Java, pthreads, etc
Forme d'enseignement et volume de travail
Cours magistral (y compris exercices)
40 périodes
Travaux pratiques / laboratoires
40 périodes
Examen de révision
oral (15 min.)
Spécification du cours
Année de validité
2025-2026
Année du plan d'études
2ème année
Semestre
Automne
Programme
Français,Bilingue
Filière
Informatique et systèmes de communication
Langue d'enseignement
Français
Identifiant
B2C-SYCO-S
Niveau
Intermédiaire
Type de cours
Fondamental
Formation
Bachelor
Modalités d'évaluation
- Contrôle continu: travaux écrits, TP/évaluation de rapports
- Examen: oral (15 min.)
Mode de calcul de la note de cours
Selon indications données lors du premier cours.
Ouvrage de référence
- Notes du professeur
- Références distribuées pendant le cours
- Concurrent Programming, Gregory Andrews, Addison-Wesley, 1992 IBSN 0805300864
Enseignant(s) et/ou coordinateur(s)
Patrick Bovey, Michael Mäder