Section critique

zak -  
zipe31 Messages postés 38797 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

2 réponses

zipe31 Messages postés 38797 Date d'inscription   Statut Contributeur Dernière intervention   6 435
 
Salut,

Oui et alors ?
0
zak
 
comment je peut verifie les 4 conditions de la section critique
0
Info
 
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 )
0
zipe31 Messages postés 38797 Date d'inscription   Statut Contributeur Dernière intervention   6 435
 
Salut,

zak - 25 oct. 2011 ;-\
0