Thread

Systèmes d’Exploitation
chapitre 7
Moniteurs
F. Moal
2012/2013

2
Moniteurs
Gestion des contraintes de synchronisation
et d’exclusion mutuelle
par : BRINCH HANSEN, HOARE 1973
But : décharger le programmeur de la gestion explicite de
l’exclusion mutuelle

3
Moniteurs
Idée de départ: Encapsulation
Var r: ressource
Process p;
…
with r do <section critique>
…
with r do <section critique>
…
End p;

4
Moniteurs
Moniteur : type abstrait de données [classe]
Encapsulation
-Variables
-Opérations [méthodes]
-Conditions
Condition : évènement dont on attend la réalisation
Ex: tampon_vide / tampon_plein

5
Moniteurs
A chaque condition C d’un moniteur sont
associées 3 opérations :
C.attendre [C.wait] : met en attente le processus
qui l’exécute (une file d’attente par condition)
C.vide : faux s’il existe un ou plusieurs
processus en attente de C, vrai sinon
C.signaler [C.signal] : réveille un unique
processus en attente de C, s’il existe.