Exclusion mutuelle distribuée
Exclusion mutuelle distribu´ee
1
Exclusion mutuelle
Probl`eme
IContexte de plusieurs processus s’ex´ecutant en mˆeme temps
ITrouver un m´ecanisme distribu´e qui permet d’acc´eder `a une
ressource partag´ee par un seul processus `a la fois
IDiagramme d’´etats pour les processus
dehors
Demandeur Dedans
mécanisme
Libération
Accèder
3
Exclusion mutuelle
Probl`eme
IContexte de plusieurs processus s’ex´ecutant en mˆeme temps
ITrouver un m´ecanisme distribu´e qui permet d’acc´eder `a une
ressource partag´ee par un seul processus `a la fois
IDiagramme d’´etats pour les processus
dehors
Demandeur Dedans
mécanisme
Libération
Accèder
3
Propri´et´e de l’exclusion mutuelle
Sˆuret´e (safety) : au plus un processus est `a la fois dans la
section critique (dans l’´etat dedans)
Vicacit´e (liveness) : tout processus demandant `a entrer dans
la section critique (`a passer dans l’´etat dedans) y entre en un
´etat fini.
dehors
Demandeur Dedans
mécanisme
Libération
Accèder
4
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
1
/
48
100%
