Exclusion mutuelle distribuées

Exclusion mutuelle distribuées
Benmoussa Yahia
Université M’hamed Bougara de Boumerdès
[email protected]

2
Exclusion mutuelle distribuée
Parmi les objectif d’un système distribué :
– Transparence en terme d’accès concurrent aux
ressources partagés
Dans un système distribué, les ressources sont
accédées simultanément par plusieurs processus
Les processus doivent se synchroniser pour garantir
des accès cohérents aux ressources partagées

3
Exclusion mutuelle :
propriétés
L'accès en exclusion mutuelle doit respecter deux
propriétés
– Sûreté : au plus un processus est à la fois dans
la section critique (dans l'état dedans)
– Vivacité : tout processus demandant à entrer
dans la section critique (à passer dans l'état
dedans) y entre en un temps fini

4
Exclusion mutuelle :
propriétés

5
Algorithme centralisé
Un processus Pc est élu comme coordinateur
Si Pi veut entrer dans la SC S , il envoie un message
REQUEST pour obtenir la permission au processus
Pc.
Il se bloque jusqu’à ce qu’il reçoit un message GRANT
Si aucun processus n’est dans la SC S alors Pc envoie
un message GRANT à
Pi
Si un autre processus Pj est dans la SC S alors :
–Mettre la requête de Pi dans la file d’attente
–Attendre que Pj libère la SC en envoyant un message
RELEASE àPc
–Pc retire le premier processus dans la file d’attente et
lui envoie un message GRANT