L3

Utilisation des sémaphores

S est un entier, initialisé avant le programme.

// Pseudo code
S = 10;

// C
init(S, 10);

Ensuite, on appel P(S) et V(S).

Si le sémaphore est initialisé à 1 (un seul jeton), on parle d'exclusion mutuelle.

Ressource critique (ressource à manipuler) : le code dans cette ressource est appelée la section critique.