Section critique
zak
-
zipe31 Messages postés 34620 Date d'inscription Statut Contributeur Dernière intervention -
zipe31 Messages postés 34620 Date d'inscription Statut Contributeur Dernière intervention -
Bonjour,
le probleme suivant est proposé comme solution au probleme de la section critique entre deux processe
Di : Booléen; Tour : Entier;
Initialement Di = Faux (i=1,2);
Procedure Pi
Repeter
Di:= vrai;
Tantque Tour <> i Fair
Tantque Dj Fair
<Rien>
Fait
Tour := i;
Fait
<section critique>
Di:=Faux;
Jusqu'à Faux
Verifier les 4 condition de la section critique
le probleme suivant est proposé comme solution au probleme de la section critique entre deux processe
Di : Booléen; Tour : Entier;
Initialement Di = Faux (i=1,2);
Procedure Pi
Repeter
Di:= vrai;
Tantque Tour <> i Fair
Tantque Dj Fair
<Rien>
Fait
Tour := i;
Fait
<section critique>
Di:=Faux;
Jusqu'à Faux
Verifier les 4 condition de la section critique
2 réponses
-
Salut,
Oui et alors ?
-
Bonjour,
tu dois vérifier :
- l'exclusion mutuelle (pas deux processus dans la section critique)
- le blocage mutuel doit être évité (si 2 processus veulent entrer en SC ils ne doivent pas se bloquer)
- La progression ( un processus ne doit pas empêcher un autre de rentrer en SC)
et enfin
- l'attente bornée. (quand un processus attend indéfiniment )
