Soutenance de thèse de Grégoire PICHON, 29/11/2018

Résumé de la thèse:
De nombreuses applications scientifiques utilisent des modèles qui reviennent à résoudre des systèmes linéaires de la forme Ax = b, où la matrice A est creuse, c’est-à-dire composée majoritairement d’éléments nuls. En effet, dans de nombreuses simulations, la plupart des interactions peuvent être négligées. Les solveurs creux sont une étape de calcul coûteuse pour ces applications, optimiser leur performance pour les architectures modernes est donc un problème critique. Dans cette thèse, nous nous intéressons à l’utilisation de techniques de compression de données afin de réduire les complexités en temps et en mémoire des solveurs creux, notamment pour résoudre des problèmes trop grands pour passer en mémoire avec les techniques usuelles. Nous commençons par présenter la nouvelle version du solveur, qui intègre la technique de compression appelée Block Low-Rank. Dans le reste de la présentation, des stratégies de renumérotation des inconnues sont présentées afin d’améliorer la granularité des structures creuses et les taux de compression. Les contributions présentées sont validées dans le solveur creux PaStiX, développé à l’Inria Bordeaux – Sud-Ouest, qui peut résoudre des systèmes composés de millions d’inconnues au-dessus d’architectures modernes.

Jury:
Alfredo Buttari, Chargé de recherche CNRS, examinateur
Mathieu Faverge, Maître de conférence, Bordeaux INP, co-directeur de thèse
David Goudin, Ingénieur chercheur, CEA DAM – CESTA, invité
Gildas Kubické, Docteur, Responsable du laboratoire EMC, DGA, invité
Stéphane Lanteri, Directeur de recherche, Inria Sophia Antipolis, examinateur
Esmond Ng, Directeur de recherche, Lawrence Berkeley Nat. Lab., rapporteur
François Pellegrini, Professeur, Université de Bordeaux, examinateur
Pierre Ramet, Maître de conférence, Université de Bordeaux, directeur de thèse

Comments are closed.