Les sémaphores
Définition
Le sémaphore est un objet de type abstrait. Il est caractérisé par la donnée d’un compteur et d’une file d’attente.
Le sémaphore est accessible par l’intermédiaire de deux opérations :
- wait
- signal
Sémaphore S ;
S.P() ;
S.V() ;
Remarque:
Un sémaphore doit être toujours initialisé par une valeur entière non négative.
Intuitivement, le sémaphore est une barrière qu’il faut franchir avant de rentrer en section critique :
- P peut être assimilé à une demande de passage : demande de ticket.
- V peut être assimilé à l’opération consistant à rendre le ticket.
Le sémaphore est un objet partagé ; P et V sont exécutées en exclusion mutuelle
Implémentation
Le type sémaphore peut être défini de la manière suivante :
Remarques :
- Un sémaphore ne peut pas être initialisé à une valeur négative mais il peut le devenir après un certain nombre d’opérations P.
- La valeur courante du compteur d’un sémaphore est donnée par : Compteur == Compteur0 + NV - NP. Avec:
- Compteur0 est la valeur initiale
- NV est le nombre d’opérations V exécutées sur le sémaphore
- NP est le nombre d’opérations P exécutées sur le même sémaphore
- NF(S) = NP(S)
- NF(S) est le nombre de processus qui ont franchi la primitive P. Ils appartiennent à l’une des deux catégories suivantes :
- Ou bien n’ont pas été bloqués par celle – ci
- Ou bien ont été bloqués puis débloqués
