Les sémaphores

Le principe est de mettre en place un compteur S >= 0. Ce compteur est accédé par deux opérations atomiques, P(s) = wait(S>0) ; S-- et V(s) = S +=1 . Pour permettre les synchronisations, on doit en fait créer un sémaphore par cause (lui-même crée une file par sémaphore).