Vers un solveur tensoriel parallèle rapide basé sur les tâches pour les problèmes de haute dimension
Auteur / Autrice : | Atte Torri |
Direction : | Olivier Coulaud |
Type : | Projet de thèse |
Discipline(s) : | Informatique |
Date : | Inscription en doctorat le 01/12/2021 |
Etablissement(s) : | université Paris-Saclay |
Ecole(s) doctorale(s) : | École doctorale Sciences et technologies de l'information et de la communication |
Partenaire(s) de recherche : | Laboratoire : Laboratoire interdisciplinaire des sciences du numérique (Orsay, Essonne ; 2021-....) |
Equipe de recherche : ParSys - Systèmes Parallèles | |
Référent : Ecole Normale Supérieure Paris-Saclay |
Mots clés
Résumé
Les tenseurs ont acquis une immense popularité ces dernières années en raison de leur aptitude à exprimer naturellement des données de haute dimension dans des applications fondamentales de nombreux domaines, notamment le traitement du signal, la chimie/physique quantique, le calcul scientifique, l'analyse des données massives et l'apprentissage automatique. En particulier, les méthodes tensorielles ont été employées avec beaucoup de succès dans la résolution de systèmes linéaires de haute dimension et de problèmes de valeurs propres survenant dans des applications de calcul quantique, en raison de leur aptitude à compresser efficacement ces opérateurs de haute dimension en utilisant ce qu'on appelle des décompositions tensorielles. Cependant, l'utilisation de ces techniques sur des problèmes à grande échelle nécessite des algorithmes parallèles rapides et des bibliothèques de solveurs tensoriels efficaces, ce qui est un besoin imminent dans ce domaine. L'objectif de cette thèse est de répondre à ce besoin en développant un cadre de solveur tensoriel évolutif qui traite ces problèmes de haute dimension à l'échelle sur des architectures HPC hétérogènes modernes. La thèse se concentrera sur la recherche de structures de données efficaces pour exprimer des opérateurs (matrices) et des opérandes (vecteurs) de haute dimension sous forme tensorielle, sur la conception de schémas de distribution de données intelligents pour l'exécution parallèle et sur une parallélisation efficace de la plupart des opérations tensorielles en utilisant un paradigme de programmation basé sur les tâches qui peut tirer parti de la pleine puissance de calcul des clusters de calcul hétérogènes modernes. Tous les travaux de thèse seront intégrés dans la bibliothèque de tenseurs Celeste en cours de développement dans le cadre du projet ANR JCJC SELESTE.