Enseignements de systèmes d'exploitation


Systèmes et algorithmes répartis (3IMA / Master)

Voir le module.


Systèmes concurrents (2IMA) -- 2005-2012

Module d'enseignement de 9 séances d'1h45 : introduction, exclusion mutuelle, sémaphore, moniteur, interblocage, API Java et C, processus communicants & Ada, transactions, synchronisation non bloquante, conclusion.
L'intégralité en 4 transparents par page.


Systèmes centralisés : mise en oeuvre du noyau (1IR)

Voir le module.


Intergiciels (2IR)

Voir le module.


Systèmes et applications distribués (2TR) -- 2011-2014

Intitulé peu clair pour un module d'enseignements de 7 séances d'1h45, similaire à celui d'intergiciels : introduction, socket, RPC - RMI, intergiciels à message, technologies web de base.
L'intégralité en 4 transparents par page.


Synchronisation d'activités parallèles (en Java)

Apprentissage des techniques de synchronisation d'activités parallèles : sémaphores, moniteur de Hoare, Java.

À partir d'implantations (fournies) des sémaphores (sémantique Dijkstra étendue : les sémaphores sont FIFO) et des moniteurs (sémantique Hoare : FIFO et priorité au signalé), il s'agit de résoudre différents problèmes de synchronisation : philosophes et spaghettis, lecteurs/rédacteurs, allocateur de ressources...


Vieilleries

Synchronisation d'activités parallèles (en C)

Apprentissage des techniques de synchronisation d'activités parallèles : sémaphores, moniteur de Hoare.

À partir d'implantations (fournies) des sémaphores (sémantique Dijkstra étendue : les sémaphores sont FIFO) et des moniteurs (sémantique Hoare : FIFO et priorité au signalé), il s'agit de résoudre différents problèmes de synchronisation : philosophes et spaghettis, lecteurs/rédacteurs, allocateur de ressources...

La compilation des exercices nécessite :


Mise en oeuvre des sockets (en C)

Programmation d'un mini-client et d'un mini-serveur pour l'échange de fichiers à distance (genre de ftp).

La compilation des exercices nécessite :

La reconstruction des fichiers de l'énoncé nécessite LATEX et HEVEA.


Threads et sockets en Java


Appel de méthode à distance (en java)


Philippe Quéinnec
Dernière mise à jour : 9 février 2017.