Pavage algébrique : pavage de boucles parallèles guidé par le volume pour un équilibre de charge quasi-parfait
Langue Anglais
Accéder au document

Ce document est protégé en vertu du Code de la Propriété Intellectuelle.

Modalités de diffusion de la thèse :
  • Thèse consultable sur internet, en texte intégral.
  • Thèse avec 2 versions : seule la version intégrale est proposée ; sur authentification (communication intranet).
 
Auteur : Rossetti, Clément
Date de soutenance : 18-12-2025

Directeur(s) de thèse : Clauss, Philippe

Président : Rastello, Fabrice
Rapporteur(s) : Puaut, Isabelle - Touati, Sid-Ahmed-Ali
Membre(s) du jury : Alias, Christophe

Établissement de soutenance : Strasbourg
Laboratoire : Laboratoire des sciences de l'ingénieur, de l'informatique et de l'imagerie (Strasbourg ; 2013-....)
École doctorale : École doctorale Mathématiques, sciences de l'information et de l'ingénieur (Strasbourg ; 1997-....)
 
Discipline : Informatique
Classification : Informatique

Mots-clés libres : Calcul haute performance, Compilation polyédrique, Optimisation de boucles, Parallélisme, Parallélisation Automatique, Pavage, Stencils
Mots-clés :
  • Calcul intensif (informatique)
Résumé : Dans cette thèse, nous présentons le pavage algébrique, une nouvelle technique d’optimisation de boucles fondée sur le modèle polyédrique. Contrairement au pavage rectangulaire classique basé sur une taille fixe de pavés, cette approche divise l’espace d’itération en pavés définis par leur volume (nombre d’itérations), permettant un équilibre de charge quasi parfait lors de la parallélisation. Les bornes des pavés sont calculées dynamiquement à l’exécution grâce à des expressions algébriques appelées expressions trahrhe. Une extension de cette technique, le pavage algébrique trapézoïdal, adapte les pavés aux dépendances des calculs stencil tout en conservant un volume contrôlé. Les résultats expérimentaux montrent des gains significatifs face aux compilateurs polyédriques existants. Ces méthodes ont été implémentée sdans le compilateur source-à-source Pesto, générant du code C parallèle avec OpenMP.
 
Type de contenu : Text
Format : PDF
 
Entrepôt d'origine : STAR : dépôt national des thèses électroniques françaises
Identifiant : 2025STRAD055
Type de ressource : Thèse