Sémaphores: Réalisations logicielles

• I(S, x) {S.n :=x ; }
• P(S) /*S.n est tjs modifié par P(S)*/

{ S.n :=S.n -1 ;

Si S.n < 0 alors bloquer le processus en fin de S.en_attente ;}

• V(S) /*S.n est tjs modifié par V(S)*/

{ S.n :=S.n + 1 ;

Si S.n <= 0 alors débloquer le processus en tête de S.en_attente ; }

Diapositive précédente

Diapositive suivante

Revenir à la première diapositive

Afficher la version graphique