Documente Academic
Documente Profesional
Documente Cultură
Exclusion mutuelle
Eric Cariou
Master Technologies de l'Internet 1re anne
Universit de Pau et des Pays de l'Adour
Dpartement Informatique
Eric.Cariou@univ-pau.fr
1
Exclusion mutuelle
Processus distribus
Exclusion mutuelle
acqurir
Dedans
Demandeur
< gr par le systme >
Principe gnral
Algorithme
Avantages
Inconvnients
Principe gnral
Plusieurs versions
Inconvnients
Avantages
11
Initialisation
Jeton : j [ 1 .. N ] : jeton [ j ] = 0
Un site donn possde le jeton au dpart
Pj envoie le jeton Pi
14
Principe gnral
Deux modes
15
Permission individuelle
Permission individuelle
16
Permission individuelle
Une horloge Hi
Une variable dernier qui contient la date de la dernire demande
d'accs la ressource
L'ensemble Ri
Un ensemble d'identificateurs de processus dont on attend une
rponse : attendu
Un ensemble d'identificateurs de processus dont on diffre le
renvoi de permission si on est plus prioritaire qu'eux : diffr
Initialisation
Hi = dernier = 0
diffr = , attendu = Ri
17
Permission individuelle
Algorithme de [Ricart & Agrawala, 81], fonctionnement (suite)
Hi = Hi + 1
dernier = Hi
attendu = Ri
Envoie une demande de permission tous les processus de Ri
avec estampille ( Hi, i )
Se met alors en attente de rception de permission de la part de
tous les processus dont l'identificateur est contenu dans attendu
Quand l'ensemble attendu est vide, le processus a reu la
permission de tous les autres processus
Envoie une permission tous les processus dont l'id est dans diffr
diffr est ensuite rinitialis (diffr = )
18
Permission individuelle
Algorithme de [Ricart & Agrawala, 81], fonctionnement (suite)
19
Permission individuelle
Algorithme de [Ricart & Agrawala, 81], fonctionnement (fin)
Permission individuelle
21
22
Algorithme de [ Maekawa, 85 ]
i,j [ 1..N ] : Ri Rj
i : | Ri | = K
K N et D = K
Fonctionnement de l'algorithme
Initialisation
24
rponses = 0
Envoie une demande de permission tous les processus de Ri
Quand rponses = | Ri |, Pi a reu une permission de tous, il
accde alors la ressource
Aprs l'accs la ressource, envoie un message tous les
processus de Ri pour les informer que la ressource est libre
vote = vrai
25
26
27
28