Exclusion Mutuelle:solution Multiprocesseur (2)
while(test_and_set(v)=occupé) do /*attendre de façon active*/
Sémantique: Si v est libre, test_and_set renvoie libre, et on entre en SC avec v occupé;
Protocole sortie {v :=libre ; }
Inconvénient: attente active.