1.4.2 Le problème de la K-exclusion mutuelle
1.4.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.
1.4.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:
1.4.2.2.a 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].
1.4.2.2.b Solution 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].
| 
