Sémaphores: une deuxième implantation logicielle
Traduction directe de la spécification fonctionnelle:
- P(S) {
Si S.n > 0 alors S.n =S.n -1 ;
Sinon bloquer le processus en fin de S.en_attente ; }
- V(S) {
Si S.en_attente non-vide alors débloquer le processus en tête de S.en_attente ;
sinon S.n :=S.n +1 ;}