2.2 LE probLèmE DE LA K-EXcLusioN
mutuELLE
2.2.1 Description du problème
Le problème de la K-exclusion mutuelle est une
généralisation du problème de l'exclusion mutuelle simple,
dans ce cas les sites partagent non seulement une ressource mais K exemplaires
de la même ressource.
Cette disponibilité de ressources n'autorise pas
l'accès simultané à une ressource, il faut toujours
assurer l'accès exclusif à chaque exemplaire.
2.2.2 Résolution du problème
Les solutions du problème de la K-exclusion
mutuelle sont basées sur les solutions utilisées pour
résoudre le problème de l'exclusion mutuelle simple, on peut donc
avoir deux types de solutions:
- Solution utilisant des permissions : le processus
désirant entrer en SC doit demander des permissions à un ensemble
de processus, la réception d'un nombre suffisant de ces permissions
permet au processus d'utiliser la ressource.
L'algorithme de Raymond est la première solution
pour la K-exclusion mutuelle basée sur les permissions
[Ray88].
- Solutions utilisant des jetons : dans ce cas, il
n'existe pas un seul jeton mais k jetons (k étant le nombre de
ressources), seule la possession d'un jeton permet à un site demandeur
l'accès à la SC.
Parmi les solutions apportées basées sur
les jetons on distingue l'algorithme de Srimani et Reddy
[Sri89].
|