Exclusion Mutuelle:solution monoprocesseur(1)
Variable commune
Occupé : Booléen initialisé à faux ;
Processus Pi
Var privée déjà_occupé : booléen init. à vrai ;
Tant que déjà_occupé faire
Masquer les IT
déjà_occupé :=Occupé ;
Occupé :=Vrai ;
Démasquer les IT ;
FinTq
SC
Occupé := Faux ;
Fin.
Diapositive précédente
Diapositive suivante
Revenir à la première diapositive
Afficher la version graphique