Note ABES Speculative rewriting of recursive programs as loop candidates for efficient parallelization and optimization using and inspector-executor mechanism Réécriture spéculative de srogrammes récursifs en boucles candidates à une parallélisation et une optimisation efficaces utilisant un mécanisme inspecteur-exécuteur. Réécriture spéculative Programmes récursifs Parallélisation Optimisation Modèle polyédrique Inspecteur-exécuteur Speculative code rewriting Recursive programs Parallelization Optimization Polyhedral model Inspector-executor 005 Informatique Systèmes de réécriture (informatique) Programmation récursive Dans cette thèse, nous proposons Rec2Poly, un cadriciel pour la réécriture spéculative des programmes récursifs sous forme de boucles affines qui sont candidates à une parallélisation et une optimisation efficaces. Rec2Poly cherche un flot de contrôle dynamique et un comportement mémoire conformes au modèle polyédrique dans les récursions, en utilisant une technique de profilage hors ligne. Lorsqu’il réussit à modéliser le comportement d’un programme récursif sous forme de boucles affines, il peut utiliser le modèle de boucle affine pour générer automatiquement un code optimisé et parallélisé basé sur la stratégie inspecteur-exécuteur pour les prochaines exécutions du programme. L’inspecteur implique une version allégée du programme récursif d’origine dont le rôle est de collecter, générer et vérifier les informations d’exécution qui sont essentielles pour garantir l’exactitude du code itératif affine équivalent. L’exécuteur est composé des boucles affines qui peuvent être parallélisées voire optimisées à l’aide du modèle polyédrique. In this thesis, we introduce Rec2Poly, a framework for speculative rewriting of recursive programs as affine loops that are candidates for efficient optimization and parallelization. Rec2Poly seeks a polyhedral-compliant run-time control and memory behavior in recursions making use of an offline profiling technique. When it succeeds to model the behavior of a recursive program as affine loops, it can use the affine loop model to automatically generate an optimized and parallelized code based on the inspector-executor strategy for the next executions of the program. The inspector involves a light version of the original recursive program whose role is to collect, generate and verify run-time information that is crucial to ensure the correctness of the equivalent affine iterative code. The executor is composed of the affine loops that can be parallelized or even optimized using the polyhedral model. Electronic Thesis or Dissertation Text en PDF 2323411 Université de Strasbourg Strasbourg 2022-12-31 https://theses.hal.science/tel-03692446 application/pdf 2335242 https://publication-theses.unistra.fr/public/theses_doctorat/2021/Kobeissi_Salwa_2021_ED269.pdf http://www.theses.fr/2021STRAD012/abes https://theses.hal.science/tel-03692446 https://theses.hal.science/tel-03692446 https://theses.hal.science/tel-03692446 https://theses.hal.science/tel-03692446 Kobeissi Salwa 1994-02-06 FR 262297752 0EFB1S03EY0 21716335 4200018 https://theses.fr/2021STRAD012 2021STRAD012 https://doi.org/10.70675/682ef1f9zd105z4b47zb5cazbeb5511fa135 2021-06-24 Informatique Strasbourg 131056549 Doctorat Docteur es non oui Clauss Philippe MADS_DIRECTEUR_DE_THESE_1 098478389 Moreau Pierre-Etienne MADS_PRESIDENT_DU_JURY 134222849 Jimborean Alexandra MADS_MEMBRE_DU_JURY_1 164789650 Barthou Denis MADS_RAPPORTEUR_1 061281387 Alias Christophe MADS_RAPPORTEUR_2 195246446 École doctorale Mathématiques, sciences de l'information et de l'ingénieur (Strasbourg ; 1997-....) MADS_ECOLE_DOCTORALE_1 269 156504863 Laboratoire des sciences de l'ingénieur, de l'informatique et de l'imagerie (Strasbourg ; 2013-....) MADS_PARTENAIRE_DE_RECHERCHE_1 176969721 217648 ddc:004 Clauss Philippe Moreau Pierre-Etienne Jimborean Alexandra Barthou Denis Alias Christophe École doctorale Mathématiques, sciences de l'information et de l'ingénieur (Strasbourg ; 1997-....) Laboratoire des sciences de l'ingénieur, de l'informatique et de l'imagerie (Strasbourg) PDF 2323411