Qu'est-ce qu'un sémaphores

Le sémaphore est un objet informatique se présentant (en schématisant) sous la forme d'une variable globales accessible par tout les process. Cet objet a deux compteurs associés NCNT et ZCNT.

Un sémaphore est associé à un identificateur (de type entier).

Les propriétés des sémaphores sont les suivantes:

• Un sémaphore supporte les opérations d'initialisations à une valeur plus grande ou égale à zéro, ainsi que les opérations d'incrémentations et de décrémentations.
• Si la valeur d'un sémaphore est décrémentée alors que le sémaphore vaut zéro, le process exécutant cette opération est mis en attente jusqu'à moment où un autre process incrémente le sémaphore. En cas de mise en attente, le compteur NCNT est incrémenté. Il totalise le nombre de process en attente.
• Un process peut être en attente sur la valeur zéro d'un sémaphore. Dans ce cas c'est le compteur ZCNT qui totalise le nombre de process en attente.
• Les process en attente sont réactivés dans leurs ordres d'arrivée (FIFO)
• Un process en attente est réactivé:
  1. lorsque le sémaphore a une valeur supérieure ou égale à zéro
  2. lorsque le process reçoit un signal
  3. lorsque que le sémaphore est détruit.