Filière: Informatique et systèmes de communication
Orientation: Informatique logicielle
Module: Programmation système

Descriptif de cours

Retour Systèmes concurrents

  • 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