Systèmes d’Exploitation
Chapitre 6
Sémaphores
F. Moal
2012/2013
2
Sémaphores
Par DIJKSTRA – 1971
Idée : encapsuler les solutions diverses au
pb de la section critique pour fournir une
interface unique et assurer la portabilité.
3
Sémaphores
Définition : un sémaphore est une variable S
de type entier à laquelle on ne peut
accéder que par 2 opérations :
P [puis-je ?]
V [vas-y]
4
Sémaphores
P : je m’approprie le jeton si je peux
Entrée en section critique
V : je restitue le jeton
Sortie de la section critique
S : nombre de jetons dans la boite
5
Sémaphores
Solution :
Procédure P(S)
tant que S ≤ 0 faire rien ftq
S = S-1
Procédure V(S)
S = S+1
P et V : opérations rendues atomiques par l’OS
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
1
/
22
100%
