Etude de problemes d'ordonnancement multiprocesseur avec communication par diffusion

A study of some multiprocessor scheduling problems with broadcast communication

• Auteur / Autrice : LAURENCE PHELIPPEAU-GELINEAU
• Direction : Philippe Chrétienne
• Type : Thèse de doctorat
• Discipline(s) : Sciences appliquées
• Date : Soutenance en 1996
• Etablissement(s) : Paris 6

Résumé

Nous nous interessons a un nouveau probleme d'ordonnancement dans lequel la diffusion de messages est le mode de communication. L'objet de ce travail est d'optimiser l'ordonnancement d'une application informatique chargee de la regulation d'un turboreacteur. L'architecture embarquee sur laquelle doit s'executer l'application est constituee par un reseau multiprocesseur. Dans le contexte reel, l'application est soumise a des contraintes temps reel, les communications entre les processeurs du calculateur doivent s'effectuer par diffusion de messages, de plus, des contraintes de placement et de precedence entre les taches sont prises en compte. Afin de modeliser ce probleme, des approximations ont ete effectuees, permettant de definir formellement une nouvelle classe de problemes d'ordonnancement correspondant aux besoins de l'entreprise. Des resultats theoriques ont ete obtenus, en particulier concernant la complexite des problemes. Certaines proprietes ont aussi ete montrees. Une etude bibliographique nous a permis de presenter les principales methodes generalement utilisees pour la construction d'un ordonnancement. En s'appuyant sur cette etude, une resolution par des methodes de liste et des methodes tabou est proposee. Ces methodes ont ete adaptees aux specificites du probleme. Pour les algorithmes de liste, nous definissons les differentes regles de priorite utilisees. Pour la methode tabou, nous proposons differentes manieres de construire un voisinage. Une implementation informatique de ces algorithmes a ete realisee. De nombreuses experimentations ont ete effectuees sur des donnees generees aleatoirement. Les differentes methodes ont ete comparees. Les methodes de liste permettent un bon compromis entre la qualite des solutions trouvees et le temps de calcul necessaire. Les methodes tabou ameliorent sensiblement les solutions, au prix d'un temps de calcul beaucoup plus important. Des perspectives de recherches induites par ce travail sont presentees dans la conclusion