Abstract FR:

L'allocation repartie des ressources est l'un des paradigmes des problemes de controle rencontres dans les systemes repartis. Cette these traite des algorithmes distribues d'allocation de ressources permettant de synchroniser un ensemble de processus concurrents afin de garantir l'acces exclusif aux ressources critiques du systeme distribue. Dans la premiere partie, nous avons presente diverses notions pour situer le contexte de notre etude. Nous avons fait ressortir une classification des algorithmes distribues d'exclusion mutuelle selon deux points de vue : leur nature et leur theorie pour realiser l'acces exclusif a une seule ressource. Dans la deuxieme partie, nous avons propose quatre politiques de generalisation de l'exclusion mutuelle selon les criteres : le nombre de ressources disponibles dans le systeme, le nombre d'exemplaires de chaque ressource, et le nombre de processus en section critique. Nous nous sommes donc interesses a l'allocation de k ressources disponibles en un seul exemplaire dans un systeme distribue structure en k groupes de processus. Dans cette optique, nous avons propose d'une part trois methodes de marquage initial d'un sous-ensemble de processus du systeme reparti. D'autre part, nous avons developpe trois nouveaux algorithmes distribues d'allocation de k ressources. Le premier algorithme dit circulaire est une generalisation a k ressources de l'algorithme de le lann. Cet algorithme fonctionne sur une structure logique statique des k-anneaux et se base sur une strategie de liberation simultanee. Le deuxieme algorithme dit hierarchique est une generalisation a k ressources de l'algorithme de naimi et trehel. Cet algorithme fonctionne sur une structure logique dynamique des k-arborescences et se base sur une strategie d'allocation incrementale. Enfin, un algorithme a demande globale qui est une generalisation a k ressources de l'algorithme de suzuki et kasami. Cet algorithme est independant de toute structure logique et se base sur une strategie d'allocation simultanee. Des simulations de ces nouveaux algorithmes nous ont permis d'etablir une etude comparative en faisant apparaitre des resultats quantitatifs et qualitatifs sur le comportement de ces algorithmes en vue de leur mise en uvre pratique.