Implémentation

Les sémaphores peuvent être implémentés de la façon suivante :

• Un sémaphore de taille $m$ est implémenté à l'aide de 3 sémaphores binaires et d'un entier.

  Les opérations wait et signal des sémaphores binaires sont implémentés avec les instructions TestAndSet et/ou Swap

• Les interruptions sont interdites pendant l'exécution des wait et signal.