Abstract FR:

Cette thèse étudie les problèmes de contrôle qui se posent lorsqu'on veut gérer des réseaux de processeurs à mémoires locales ou machines distribuées. Le chapitre 1 a pour objet la mise en évidence de l'expression de problèmes distribués sous forme d'équations à l'aide du concept de point fixe qui offre une vision unificatrice de l'algorithmique distribuée. Le chapitre 2 propose une modélisation markovienne pour représenter localement les processus distribués et globalement les relations s'établissant entre ces processus. L'intérêt théorique et la pertinence de ce modèle markovien sont prouvés par son application à plusieurs problèmes: en effet, il permet de résoudre de façon satisfaisante et complète le problème du "dîner des philosophes" (chapitre 9), celui de l'exclusion mutuelle (chapitre 4) et celui de l'inter blocage (chapitre 5) en définissant une famille de de règles de bon fonctionnement. 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 afin d'obtenir un fonctionnement optimal des algorithmes distribués (selon des critères adéquats). Dans ces études, l'équité se révèle avoir un rôle important ct dans le chapitre 6, cette notion est étudiée après avoir été mis en évidence par des expériences de programmation en Occam sur réseau de Transputers. Enfin, le chapitre 7 présente l'application du calcul diffusant à la résolution du problème de détection de situations stables exprimées par des équations de point-fixe.