Les verrous

Soit une variable p accessible aux processus, p=1 si ressource occupée p=0 sinon.
Un processus doit pouvoir consulter p pour pouvoir entrer en section critique et remettre p à 0 en sortant.
Soit p un verrou et on lui associe un file d'attente f(p).
Si un processus ne peut entrer en section critique il entre dans la file d'attente.
Au départ p est à 0.