Réalisations logicielles des primitives P et V
Problème de l’exclusion mutuelle:
- initialiser S à 1, et la procédure d’entrée est P(S), et la procédure de sortie est V(S)
P et V sont des primitives plutôt que des procédures car elles sont non interruptibles
- possible sur monoprocesseur par masquage d'Interruption.