L’enseignement des systèmes concurrents, dispensé en première année du master informatique, TI, traite la synchronisation d’activités concurrentes dans un modèle centralisé synchrone et asynchrone. Ce modèle correspond, de manière pratique, aux applications parallèles s’exécutant sur une architecture à mémoire commune mono ou multiprocesseurs. On y aborde dans une première partie le problème de l’Exclusion Mutuelle, les solutions matérielles : masquage d’interruptions, instruction TAS (Test and Set), ainsi que les solutions logicielles : verrou et sémaphores. Dans la deuxième partie, le problème de la Synchronisation des processus est abordé, ainsi que les solutions par : Evènements, RDV, et Moniteurs de Hoare. Les travaux pratiques de cet enseignement consistent principalement à la mise en œuvre, avec le langage ADA, d’un certain nombre d’exemples types comme le producteur-consommateur et les Lecteurs-rédacteurs, en utilisant deux de ses outils de synchronisation: les RDV ADA et les Objets protégés, qui sont une implémentation des Moniteurs de Hoare.

À la fin de cette UE/EC, vous serez capable de :

•  Maîtriser les problèmes de l’Exclusion mutuelle/ synchronisation des processus dans une architecture multiprocesseurs à mémoire commune.
• Savoir mettre en œuvre une solution de synchronisation de processus en utilisant des outils comme les sémaphores de Dijkstra, les RDV ADA et les moniteurs de Hoare.

session 1 30% contrôle continu écrit + 20% TP + 50% examen terminal

session 2 : 100% examen écrit