Verrou

verouiller(p)
si p = 0 alors p = 1 
sinon mettre le processus dans la file d'attente f(p),
/* ce qui le fait passer a l'etat bloque */

deverouiller(p)
si f(p) n'est pas vide alors sortir un processus de f(p),
/* ce qui le rend actif */
sinon p=0

le verrou p et la file f(p) sont des ressources critiques qu'il faut protéger.