<?xml version="1.0" encoding="utf-8"?>
<TEI xmlns="http://www.tei-c.org/ns/1.0" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xmlns:hal="http://hal.archives-ouvertes.fr/" xmlns:gml="http://www.opengis.net/gml/3.3/" xmlns:gmlce="http://www.opengis.net/gml/3.3/ce" version="1.1" xsi:schemaLocation="http://www.tei-c.org/ns/1.0 http://api.archives-ouvertes.fr/documents/aofr-sword.xsd">
  <teiHeader>
    <fileDesc>
      <titleStmt>
        <title>HAL TEI export of tel-00733850v2</title>
      </titleStmt>
      <publicationStmt>
        <distributor>CCSD</distributor>
        <availability status="restricted">
          <licence target="https://creativecommons.org/publicdomain/zero/1.0/">CC0 1.0 - Universal</licence>
        </availability>
        <date when="2026-05-14T21:07:45+02:00"/>
      </publicationStmt>
      <sourceDesc>
        <p part="N">HAL API Platform</p>
      </sourceDesc>
    </fileDesc>
  </teiHeader>
  <text>
    <body>
      <listBibl>
        <biblFull>
          <titleStmt>
            <title xml:lang="en">Adapting the polytope model for dynamic and speculative parallelization</title>
            <title xml:lang="fr">Adaptation du modèle polyhédrique à la parallélisation dynamique et spéculatice</title>
            <author role="aut">
              <persName>
                <forename type="first">Alexandra</forename>
                <surname>Jimborean</surname>
              </persName>
              <idno type="halauthorid">505716-0</idno>
              <affiliation ref="#struct-93785"/>
            </author>
            <editor role="depositor">
              <persName>
                <forename>ABES</forename>
                <surname>STAR</surname>
              </persName>
              <email type="md5">f5aa7f563b02bb6adbba7496989af39a</email>
              <email type="domain">abes.fr</email>
            </editor>
          </titleStmt>
          <editionStmt>
            <edition n="v1">
              <date type="whenSubmitted">2012-09-19 17:06:47</date>
            </edition>
            <edition n="v2" type="current">
              <date type="whenSubmitted">2012-11-08 09:47:08</date>
              <date type="whenModified">2026-03-30 22:40:14</date>
              <date type="whenReleased">2012-11-08 14:52:16</date>
              <date type="whenProduced">2012-09-14</date>
              <date type="whenEndEmbargoed">2012-11-08</date>
              <ref type="file" target="https://theses.hal.science/tel-00733850v2/document">
                <date notBefore="2012-11-08"/>
              </ref>
              <ref type="file" subtype="author" n="1" target="https://theses.hal.science/tel-00733850v2/file/Jimborean_Alexandra_2012_ED269.pdf" id="file-749657-1114797">
                <date notBefore="2012-11-08"/>
              </ref>
            </edition>
            <respStmt>
              <resp>contributor</resp>
              <name key="131274">
                <persName>
                  <forename>ABES</forename>
                  <surname>STAR</surname>
                </persName>
                <email type="md5">f5aa7f563b02bb6adbba7496989af39a</email>
                <email type="domain">abes.fr</email>
              </name>
            </respStmt>
          </editionStmt>
          <publicationStmt>
            <distributor>CCSD</distributor>
            <idno type="halId">tel-00733850</idno>
            <idno type="halUri">https://theses.hal.science/tel-00733850</idno>
            <idno type="halBibtex">jimborean:tel-00733850</idno>
            <idno type="halRefHtml">Modeling and Simulation. Université de Strasbourg, 2012. English. &lt;a target="_blank" href="https://www.theses.fr/2012STRAD020"&gt;&amp;#x27E8;NNT : 2012STRAD020&amp;#x27E9;&lt;/a&gt;</idno>
            <idno type="halRef">Modeling and Simulation. Université de Strasbourg, 2012. English. &amp;#x27E8;NNT : 2012STRAD020&amp;#x27E9;</idno>
            <availability status="restricted">
              <licence target="https://about.hal.science/hal-authorisation-v1/">HAL Authorization<ref corresp="#file-749657-1114797"/></licence>
            </availability>
          </publicationStmt>
          <seriesStmt>
            <idno type="stamp" n="CNRS">CNRS - Centre national de la recherche scientifique</idno>
            <idno type="stamp" n="STAR">STAR - Dépôt national des thèses électroniques</idno>
            <idno type="stamp" n="UNIV-STRASBG">Université de Strasbourg</idno>
            <idno type="stamp" n="SCR_CTI">Chimie Théorique Inorganique</idno>
            <idno type="stamp" n="TDS-MACS">Réseau de recherche en Théorie des Systèmes Distribués, Modélisation, Analyse et Contrôle des Systèmes</idno>
            <idno type="stamp" n="SITE-ALSACE">Archive ouverte du site Alsace</idno>
            <idno type="stamp" n="UNIVOAK">UNIVOAK</idno>
          </seriesStmt>
          <notesStmt/>
          <sourceDesc>
            <biblStruct>
              <analytic>
                <title xml:lang="en">Adapting the polytope model for dynamic and speculative parallelization</title>
                <title xml:lang="fr">Adaptation du modèle polyhédrique à la parallélisation dynamique et spéculatice</title>
                <author role="aut">
                  <persName>
                    <forename type="first">Alexandra</forename>
                    <surname>Jimborean</surname>
                  </persName>
                  <idno type="halauthorid">505716-0</idno>
                  <affiliation ref="#struct-93785"/>
                </author>
              </analytic>
              <monogr>
                <idno type="nnt">2012STRAD020</idno>
                <imprint>
                  <date type="dateDefended">2012-09-14</date>
                </imprint>
                <authority type="institution">Université de Strasbourg</authority>
                <authority type="school">École doctorale Mathématiques, sciences de l'information et de l'ingénieur (Strasbourg ; 1997-....)</authority>
                <authority type="supervisor">Philippe Clauss</authority>
                <authority type="jury">François Bodin [Président]</authority>
                <authority type="jury">André Seznec [Rapporteur]</authority>
                <authority type="jury">Albert Cohen [Rapporteur]</authority>
                <authority type="jury">John Cavazos</authority>
                <authority type="jury">Vincent Loechner</authority>
              </monogr>
            </biblStruct>
          </sourceDesc>
          <profileDesc>
            <langUsage>
              <language ident="en">English</language>
            </langUsage>
            <textClass>
              <keywords scheme="author">
                <term xml:lang="en">Loops</term>
                <term xml:lang="en">Automatic parallelization</term>
                <term xml:lang="en">Dynamic optimizations</term>
                <term xml:lang="en">Polyhedral model</term>
                <term xml:lang="en">Compiler</term>
                <term xml:lang="en">Runtime system</term>
                <term xml:lang="en">Speculative parallelization</term>
                <term xml:lang="en">LLVM</term>
                <term xml:lang="en">Partial parallelism</term>
                <term xml:lang="fr">Programmation parallèle</term>
              </keywords>
              <classCode scheme="halDomain" n="info.info-mo">Computer Science [cs]/Modeling and Simulation</classCode>
              <classCode scheme="halTypology" n="THESE">Theses</classCode>
              <classCode scheme="halOldTypology" n="THESE">Theses</classCode>
              <classCode scheme="halTreeTypology" n="THESE">Theses</classCode>
            </textClass>
            <abstract xml:lang="en">
              <p>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.</p>
            </abstract>
            <abstract xml:lang="fr">
              <p>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.</p>
            </abstract>
          </profileDesc>
        </biblFull>
      </listBibl>
    </body>
    <back>
      <listOrg type="structures">
        <org type="researchteam" xml:id="struct-93785" status="OLD">
          <orgName>Informatique et Calcul Parallèle Scientifique</orgName>
          <orgName type="acronym">ICPS-LSIIT</orgName>
          <date type="end">2012-12-31</date>
          <desc>
            <address>
              <addrLine>Bd S. Brant 67412 Illkirch</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://icps.u-strasbg.fr</ref>
          </desc>
          <listRelation>
            <relation active="#struct-93775" type="direct"/>
            <relation active="#struct-199013" type="indirect"/>
            <relation name="UMR7005" active="#struct-441569" type="indirect"/>
          </listRelation>
        </org>
        <org type="laboratory" xml:id="struct-93775" status="OLD">
          <orgName>Laboratoire des Sciences de l'Image, de l'Informatique et de la Télédétection</orgName>
          <orgName type="acronym">LSIIT</orgName>
          <desc>
            <address>
              <addrLine>Pole API Bd Sebastien Brant BP 10413 67412 Illkirch CEDEX</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://lsiit.u-strasbg.fr/</ref>
          </desc>
          <listRelation>
            <relation active="#struct-199013" type="direct"/>
            <relation name="UMR7005" active="#struct-441569" type="direct"/>
          </listRelation>
        </org>
        <org type="institution" xml:id="struct-199013" status="VALID">
          <idno type="IdRef">131056549</idno>
          <idno type="ROR">https://ror.org/00pg6eq24</idno>
          <orgName>Université de Strasbourg</orgName>
          <orgName type="acronym">UNISTRA</orgName>
          <desc>
            <address>
              <addrLine>4 rue Blaise Pascal - CS 90032 - 67081 Strasbourg cedex</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">https://www.unistra.fr/</ref>
          </desc>
        </org>
        <org type="regroupinstitution" xml:id="struct-441569" status="VALID">
          <idno type="IdRef">02636817X</idno>
          <idno type="ISNI">0000000122597504</idno>
          <idno type="ROR">https://ror.org/02feahw73</idno>
          <orgName>Centre National de la Recherche Scientifique</orgName>
          <orgName type="acronym">CNRS</orgName>
          <date type="start">1939-10-19</date>
          <desc>
            <address>
              <country key="FR"/>
            </address>
            <ref type="url">https://www.cnrs.fr/</ref>
          </desc>
        </org>
      </listOrg>
    </back>
  </text>
</TEI>