Note ABES Adapting the polytope model for dynamic and speculative parallelization Adaptation du modèle polyhédrique à la parallélisation dynamique et spéculatice Programmation parallèle Speculative parallelization Runtime system Compiler Polyhedral model Dynamic optimizations Loops Partial parallelism LLVM Automatic parallelization 005 Algorithmes parallèles Parallélisme (informatique) Programmation parallèle (informatique) Dans cette thèse, nous décrivons la conception et l'implémentation d'une plate-forme logicielle de spéculation de threads, ou fils d'exécution, appelée VMAD, pour "Virtual Machine for Advanced Dynamic analysis and transformation", et dont la fonction principale est d'être capable de paralléliser de manière spéculative un nid de boucles séquentiel de différentes façons, en ré-ordonnançant ses itérations. La transformation à appliquer est sélectionnée au cours de l'exécution avec pour objectifs de minimiser le nombre de retours arrières et de maximiser la performance. Nous effectuons des transformations de code en appliquant le modèle polyédrique que nous avons adapté à la parallélisation spéculative au cours de l'exécution. Pour cela, nous construisons au préalable un patron de code qui est "patché" par notre "runtime", ou support d'exécution logiciel, selon des informations de profilage collectées sur des échantillons du temps d'exécution. L'adaptabilité est assurée en considérant des tranches de code de tailles différentes, qui sont exécutées successivement, chacune étant parallélisée différemment, ou exécutée en séquentiel, selon le comportement des accès à la mémoire observé. Nous montrons, sur plusieurs programmes que notre plate-forme offre de bonnes performances, pour des codes qui n'auraient pas pu être traités efficacement par les systèmes spéculatifs de threads proposés précédemment. In this thesis, we present a Thread-Level Speculation (TLS) framework whose main feature is to speculatively parallelize a sequential loop nest in various ways, to maximize performance. We perform code transformations by applying the polyhedral model that we adapted for speculative and runtime code parallelization. For this purpose, we designed a parallel code pattern which is patched by our runtime system according to the profiling information collected on some execution samples. We show on several benchmarks that our framework yields good performance on codes which could not be handled efficiently by previously proposed TLS systems. Electronic Thesis or Dissertation Text en PDF 3082439 Université de Strasbourg Strasbourg 2012-12-31 https://theses.hal.science/tel-00733850 application/pdf 2870494 https://publication-theses.unistra.fr/public/theses_doctorat/2012/Jimborean_Alexandra_2012_ED269.pdf http://www.theses.fr/2012STRAD020/abes https://theses.hal.science/tel-00733850 https://theses.hal.science/tel-00733850 Jimborean Alexandra 1985-12-26 FR 164789650 20916395 https://theses.fr/2012STRAD020 2012STRAD020 https://doi.org/10.70675/cb7e67daz6620z4ce8z8150za75dfaed0005 2012-09-14 Informatique Strasbourg 131056549 Doctorat Docteur es non oui Clauss Philippe MADS_DIRECTEUR_DE_THESE_1 098478389 Bodin François MADS_PRESIDENT_DU_JURY Cavazos John MADS_MEMBRE_DU_JURY_1 Loechner Vincent MADS_MEMBRE_DU_JURY_2 Seznec André MADS_RAPPORTEUR_1 Cohen Albert MADS_RAPPORTEUR_2 École doctorale Mathématiques, sciences de l'information et de l'ingénieur (Strasbourg ; 1997-....) MADS_ECOLE_DOCTORALE_1 MA 156504863 Laboratoire des sciences de l'image, de l'informatique et de la télédétection (Strasbourg) MADS_PARTENAIRE_DE_RECHERCHE_1 UMR 7005 157549720 93785 ddc:004 Clauss Philippe Bodin François Cavazos John Loechner Vincent Seznec André Cohen Albert École doctorale Mathématiques, sciences de l'information et de l'ingénieur (Strasbourg ; 1997-....) Laboratoire des sciences de l'image, de l'informatique et de la télédétection (Strasbourg) PDF 3082439