Etude comportementale d'algorithmes distribués de contrôle / par Marc Bui ; sous la direction de Ivan Lavallée

Bibliogr. p. 125-128

Thèse de doctorat informatique 1989 Paris 11

L'objet de la thèse est l’étude des problèmes de contrôle qui se posent pour gérer des réseaux de processeurs a mémoire locale (dans des machines a architecture massivement parallèle). Cette thèse comporte 7 chapitres. Le chapitre 1 a pour objet la mise en évidence de l'expression de problèmes distribués sous forme d’équations a l'aide du concept de point fixe qui donne une vision unificatrice de la problématique de l'algorithmique distribuée. Le chapitre 2 présente une modélisation markovienne pour représenter individuellement les processus distribues et globalement les relations qui déterminent les liens entre ces processus. L’intérêt de ce modèle markovien est prouvé par son application a plusieurs problèmes: il permet de résoudre de façon satisfaisante et complète le problème du diner des philosophes (chapitre 3), celui de l'exclusion mutuelle (chapitre 4) et celui de l'interblocage (chapitre 5). Dans chacun de ces 3 chapitres, sont traitées les implications des comportements locaux sur le comportement global et le réglage des paramètres du modèle en vue d'obtenir un fonctionnement optimal des algorithmes distribues (selon des critères adéquats) pour un réseau de processeurs. Dans le chapitre 6, la description de la notion d’équité est présentée suite a la mise en évidence par des expériences de programmation sur réseau de processeurs de type Transputer en Occam. Enfin, chapitre 7 présente l'application du calcul diffusant pour résoudre le problème de détection des situations stables