Semaphore

On a deux primitives P(s) et V(s) qui sont indévisibles.

P(s)
debut;
e(s) := e(s) - 1;
si e(s) < 0 alors
 debut;
 /* on suppose processus r */
 etat(r) := bloque;
 mettre le processus r dans la file f(s);
 fin;
fin;