Université de Tizi Ouzou
Faculté de Génie Electrique et Informatique
Département d’Informatique
2021-2022
TD2 Systèmes d’exploitation L3
Mme ACHEMOUKH
1
Synchronisation par Moniteur
Un moniteur est une approche qui permet de
synchroniser entre plusieurs tâches utilisant des
ressources partagées.
C’est un module contenant: ²
Variables locales
Une ou plusieurs procédures
Une séquence d’initialisation
L’initialisation est executée une seule fois lors de la
création du Moniteur
2
Moniteur
File d’attente
Variables locales
Initialisation
Représentation d’un Moniteur 3
Synchronisation par Moniteur
Caractéristiques d’un Moniteur
-- Les variables locales sont accessibles seulement à
l’aide d’une procédure du moniteur
²
-- Un processus entre dans le moniteur en invoquant une
de ses procédures attrendre ou signaler
--Un seul processus peut exécuter dans le moniteur à
tous instant , mais plusieurs processus peuvent être en
attente dans le moniteur
4
Synchronisation par Moniteur
Caractéristiques d’un Moniteur
Le blocage et le réveil d’un processus s’expriment sur les
procédures du moniteur au moyen de condition c sur une
file de tâches (processus) .
-- La procédure attrendre /* c.attendre*/
²
Bloque le processus appelant et la place dans la file d’attente
corespondante à la condition c
-- La procédure signaler /* c.signaler*/
Débloque (réveille ) un processus en attente dans la file liée
à la condition c selon la stratégie FIFO
5
Exercice n° 1: (Le problème du rond-point)
On considère un rond-point comportant N voies (N = 3) numérotées de 0 à
N-1.
Tous les véhicules empruntant le rond-point tournent dans le même sens et
dans le sens croissant des indices des voies.
6
Exercice n° 1: (Le problème du rond-point)
En assimilant les véhicules à des processus , et le rond-
point à une ressource partagée.
processus véhicule
début Procédure Moniteur
... ²
Section critique
rond-point.Entrer(i);
<tourner dans le rond-point de i à j (dans le bon sens )>
rond-point.Sortir(j);
...
fin Procédure Moniteur
7
Exercice n° 1: (Le problème du rond-point)
1- Programme du moniteur en supposant qu’un
véhicule peut entrer dans le rond-point ssi aucun autre
véhicule n’est déjà présent dans le rond-point :
-- Condition d’accès au rond-point : rond- point libre
occuper= faux 8
Exercice n° 1: (Le problème du rond-point)
1- Programme du moniteur en supposant qu’un
véhicule peut entrer dans le rond-point ssi aucun autre
véhicule n’est déjà présent dans le rond-point :
occuper= vrai
9
Exercice n° 1: (Le problème du rond-point)
1- Programme du moniteur en supposant qu’un véhicule peut entrer dans le rond-
point ssi aucun autre véhicule n’est déjà présent dans le rond-point :
Rond_Point: Moniteur ;
var occuper : boolean ; Si Rond-Point occupé
accès : condition ; Alors mettre le
² processus vehicule en file
Procedure Entrer() ; d’attente
Debut
si occuper alors
accés.attendre;
Finsi Rond-Point occupé
occuper:=vrai;
Fin_Entrer;
10
Exercice n° 1: (Le problème du rond-point)
1- Programme du moniteur en supposant qu’un véhicule peut entrer dans le rond-
point ssi aucun autre véhicule n’est déjà présent dans le rond-point :
Rond_Point: Moniteur ;
var occuper : boolean ;
accès : condition ; Rond-point libre
Procedure Sortir();
Debut ²
occuper:=faux; Réveil du processus bloqué
accés.signaler;
Fin_Sortir.
INIT() /* initialisation*/
occuper:=faux; Etat initial
Rond-point libre
Fin _Rond_point.
11
Exercice n° 1: (Le problème du rond-point)
1- Programme du moniteur en supposant qu’un
véhicule peut entrer dans le rond-point ssi aucun autre
véhicule n’est déjà présent dans le rond-point :
-- Condition d’accès au rond-point : rond- point libre
12
Exercice n° 1: (Le problème du rond-point)
2. Programme du moniteur en supposant qu’il y a
partage de l’accès par les véhicules issus d’une même
voie :
-- Condition d’accès au rond-point :
n=0 (rond- point libre)
ou voie (voiture)= voie courante
13
Exercice n° 1: (Le problème du rond-point)
2- Programme du moniteur en supposant qu’il y a partage de l’accès par les
véhicules issus d’une même voie :
Donc c’est le réveil en chaîne pour les voitures de la voie
dont est issue le véhicule qui² est dans le Rond-Point.
-- Définir une file d’attente pour chaque voie
-- Chaque file d’attente est dotée d’une condition
14
Exercice n° 1: (Le problème du rond-point)
2- Programme du moniteur en supposant qu’il y a partage de l’accès par les
véhicules issus d’une même voie :
Rond_Point: Moniteur ;
Crée un type voie
Const N=3 ; Un tableau de conditions
Type voie = 0.. N-1 ; ²
Var accés = tableau [voie] de condition ;
vc: voie ;
voie courante
n :entier ;
Nombre de véhicules dans le
Rond-point
15
Exercice n° 1: (Le problème du rond-point)
2- Programme du moniteur en supposant qu’il y a partage de l’accès par les
véhicules issus d’une même voie :
Rond_Point: Moniteur ; voie courante correspond à la
Procedure Entrer(v :voie) ; voie passée en paramètre
Debut Demande d’accès par une
si n=0 alors voie ≠ voie courante
vc :=v ; ²
Finsi
bloquer les processus de
si (v ≠ vc) alors
la voie v
accés[v].attendre ;
Finsi
n :=n+1 ; Conditions vérifiées :
-Nbr de voitures est incrémenté
accés[v].signaler ; - Réveil en chaîne des voitures de la
Fin_Entrer. file liée à la voie v 16
Exercice n° 1: (Le problème du rond-point)
2- Programme du moniteur en supposant qu’il y a partage de l’accès par les
véhicules issus d’une même voie :
Rond_Point: Moniteur ;
Procedure Sortir(); Nbr de voitures est
décrémenté
var i : entier ;
Debut
n :=n-1 ; ² Changement de la voie
courante
i :=0 ;
Tantque (n=0) et (i<N-1) faire
vc :=(vc+1) MOD N ;
accés[vc].signaler ; Signaler à la file liée à la
voie vc que l’accès est
i :=i+1 ;
libre
Fin_Tantque ;
Fin_Sortir .
17
Exercice n° 1: (Le problème du rond-point)
2- Programme du moniteur en supposant qu’il y a partage de l’accès par les
véhicules issus d’une même voie :
Rond_Point: Moniteur ;
Const N=3 ;
Type voie = 0.. N-1 ;
Var accés = tableau [voie] de condition ;
²
vc: voie ;
n :entier ;
Procedure Entrer(v :voie) ;
Procedure Sortir();
INIT() /*
initialisation*/
n:=0
Fin _Rond_point. 18
Exercice n° 1: (Le problème du rond-point)
2. Programme du moniteur en supposant qu’il y a
partage de l’accès par les véhicules issus d’une même
voie :
attente
²
Réveil en chaîne
attente
-- Conditions d’accès au rond-point :
n=0 (rond- point libre)
ou voie (voiture)= voie courante
