Theorie et pratique de la concurrence
Sujets de controle continu en travail individuel
Pour chaque sujet, la liste de taches a accomplir fait reference aux
notations suivantes :
- EA : ecriture d'algorithme en langage du cours
- EM : ecriture d'algorithme avec moniteurs
- ES : ecriture d'algorithme en Promela
- EPC : ecriture du programme en C
- EPJ : ecriture du programme en Java
- VS : verification avec Spin d'exclusion mutuelle
- PI : preuve informelle, invariant du programme specifie formellement
- PF : preuve formelle d'exclusion mutuelle et d'absence de blocage
- Noyau multi-processeurs avec ordonanceur a memoire.
- Noyau multi-processeurs avec primitive multi-fork.
- Sémaphores et la salle de bain unisexe.
(Alali,Huynh)
- Moniteurs et la salle de bain unisexe.
(Esteve,Sy)
- Sémaphores et la diffusion atomique de messages (broadcast).
(Binot,)
- Moniteurs et la diffusion atomique de messages (broadcast).
(Gambier,Dzido)
- Probleme des fumeurs de cigarettes.
(Menguellati,Zgraja)
- Sémaphores et la liste partagée.
(Rolland,Laverre,Couturier)
- Moniteurs et la liste partagée.
(Carraud,Mehrez)
- Sémaphores et le dîner des sauvages.
(Anisse,Mafiot)
- Moniteurs et le dîner des sauvages.
(Cassignol,Berthod)
- Sémaphores et le transport de côte.
- Moniteurs et le transport de côte.
(Tordjman,Chenet)
- Sémaphores et le pont à voie unique.
(Solein,Nzuzi)
- Moniteurs et le pont à voie unique.
(Boukerker,Maarek)
- Sémaphores et la pièce des rendez-vous.
(Bredoux,Idrawati)
- Moniteurs et la pièce des rendez-vous.
(Melun,Lapios)