• Langue : Français
• Discipline : Informatique
• Identifiant : Inconnu
• Type de thèse : Doctorat
• Date de soutenance : 01/01/1999

Résumé en langue originale

De multiples applications scientifiques ou industrielles nécessitent la résolution de systèmes linéaires non symétriques, décrits par des matrices creuses de très grande taille. De tels problèmes impliquent souvent l'usage de méthodes numériques itératives, ainsi que le recours au parallélisme. La méthode GMRES(m) donne de bons résultats mais sa parallélisation est limitée par les nombreuses communications engendrées. Sa convergence peut être accélérée grâce à la connaissance des valeurs propres, qui peuvent être calculées séparément sur une autre machine. Ceci conduit à la méthode hybride, décrite dans la première partie de cette thèse. Sa mise en oeuvre a été élaborée en collaboration avec Azeddine Essai, du laboratoire d'analyse numérique et d'optimisation, chargé des aspects numériques du problème.- Deux versions ont été réalisées : la première utilise deux machines parallèles très différentes et elle peut être qualifiée de parallèle hétérogène asynchrone, l'autre n'utilise qu'une machine parallèle en tirant parti des délais d'attente induits par les calculs séquentiels déportés, et elle est donc parallèle entrelacée. Dans la seconde partie, il s'agit de tirer profit de l'expérience acquise et des questions soulevées lors de la mise au point de ces implantations. Un objectif à court terme est l'écriture des différentes parties composant cette méthode numérique sous forme de composants logiciels génériques, pouvant se paralléliser de différentes façons, afin de pouvoir mettre en oeuvre cette méthode dans d'autres environnements parallèles, hétérogènes ou non.- Un objectif plus ambitieux est de définir les spécifications d'un langage de contrôle, permettant l'écriture aisée d'applications numériques hybrides pour des environnements parallèles éventuellement hétérogènes. Le système mars, qui permet d'obtenir une granularité adaptative en fonction de la charge des machines, a servi de base à la spécification de ce langage de contrôle.