A symbolic cost model for asynchronous parallel programs with structured dependences
Identifieur interne : 000980 ( Hal/Curation ); précédent : 000979; suivant : 000981A symbolic cost model for asynchronous parallel programs with structured dependences
Auteurs : Emmanuel Melin [France] ; Bruno Raffin [France] ; Xavier Rebeuf [France] ; Bernard Virot [France]Source :
Descripteurs français
- mix :
Abstract
We propose to associate a symbolic cost to a asynchronous parallel program. In contrast to classical approaches, we take into account all the dynamic asynchronism related to the different initial states that generate dynamic independences. We introduce an asynchronous intermediate model called SCP. It only imposes static independences allowing a sequential lecture of programs. To compute the symbolic cost, we condition the existence of a dependence by annotating it with a predicate on program variables. To evaluate the cost in the initial environment, predicates are transformed by a backward method based on the model Weakest Liberal Preconditions Calculus. The resulting symbolic cost is parameterized by the initial environment and integrates dynamic dependences.
Url:
Links toward previous steps (curation, corpus...)
- to stream Hal, to step Corpus: Pour aller vers cette notice dans l'étape Curation :000980
Links to Exploration step
Hal:inria-00099423Le document en format XML
<record><TEI><teiHeader><fileDesc><titleStmt><title xml:lang="en">A symbolic cost model for asynchronous parallel programs with structured dependences</title>
<author><name sortKey="Melin, Emmanuel" sort="Melin, Emmanuel" uniqKey="Melin E" first="Emmanuel" last="Melin">Emmanuel Melin</name>
<affiliation wicri:level="1"><hal:affiliation type="laboratory" xml:id="struct-1625" status="OLD"><orgName>Laboratoire d'Informatique Fondamentale d'Orléans</orgName>
<orgName type="acronym">LIFO</orgName>
<desc><address><addrLine>Batiment IIIA 6 Rue Léonard de Vinci - BP 6759 45067 ORLEANS CEDEX 2</addrLine>
<country key="FR"></country>
</address>
<ref type="url">http://www.univ-orleans.fr/lifo/</ref>
</desc>
<listRelation><relation name="EA4022" active="#struct-300297" type="direct"></relation>
<relation active="#struct-300379" type="direct"></relation>
</listRelation>
<tutelles><tutelle name="EA4022" active="#struct-300297" type="direct"><org type="institution" xml:id="struct-300297" status="VALID"><idno type="IdRef">026402971</idno>
<idno type="ISNI">0000000121581666 </idno>
<orgName>Université d'Orléans</orgName>
<orgName type="acronym">UO</orgName>
<desc><address><addrLine>Château de la Source - Avenue du Parc Floral - BP 6749 - 45067 Orléans cedex 2</addrLine>
<country key="FR"></country>
</address>
<ref type="url">http://www.univ-orleans.fr/</ref>
</desc>
</org>
</tutelle>
<tutelle active="#struct-300379" type="direct"><org type="institution" xml:id="struct-300379" status="VALID"><orgName>Ecole Nationale Supérieure d'Ingénieurs de Bourges</orgName>
<desc><address><country key="FR"></country>
</address>
</desc>
</org>
</tutelle>
</tutelles>
</hal:affiliation>
<country>France</country>
<placeName><settlement type="city">Orléans</settlement>
<region type="old region" nuts="2">Région Centre</region>
<region type="region" nuts="2">Centre-Val de Loire</region>
</placeName>
<orgName type="university">Université d'Orléans</orgName>
<orgName type="institution" wicri:auto="newGroup">Centre Val de Loire Université</orgName>
</affiliation>
</author>
<author><name sortKey="Raffin, Bruno" sort="Raffin, Bruno" uniqKey="Raffin B" first="Bruno" last="Raffin">Bruno Raffin</name>
<affiliation wicri:level="1"><hal:affiliation type="laboratory" xml:id="struct-10298" status="OLD"><orgName>Institut d'Informatique et de Mathématiques Appliquées de Grenoble</orgName>
<orgName type="acronym">IMAG</orgName>
<desc><address><addrLine>Domaine Universitaire - BP 53 38041 Grenoble cedex 9</addrLine>
<country key="FR"></country>
</address>
<ref type="url">http://www.imag.fr/</ref>
</desc>
<listRelation><relation active="#struct-51016" type="direct"></relation>
<relation active="#struct-300275" type="direct"></relation>
<relation active="#struct-441569" type="direct"></relation>
</listRelation>
<tutelles><tutelle active="#struct-51016" type="direct"><org type="institution" xml:id="struct-51016" status="OLD"><orgName>Université Joseph Fourier</orgName>
<orgName type="acronym">UJF</orgName>
<date type="end">2015-12-31</date>
<desc><address><addrLine>BP 53 - 38041 Grenoble Cedex 9</addrLine>
<country key="FR"></country>
</address>
<ref type="url">http://www.ujf-grenoble.fr/</ref>
</desc>
</org>
</tutelle>
<tutelle active="#struct-300275" type="direct"><org type="institution" xml:id="struct-300275" status="VALID"><orgName>Institut National Polytechnique de Grenoble (INPG)</orgName>
<desc><address><country key="FR"></country>
</address>
</desc>
</org>
</tutelle>
<tutelle active="#struct-441569" type="direct"><org type="institution" xml:id="struct-441569" status="VALID"><idno type="ISNI">0000000122597504</idno>
<idno type="IdRef">02636817X</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"></country>
</address>
<ref type="url">http://www.cnrs.fr/</ref>
</desc>
</org>
</tutelle>
</tutelles>
</hal:affiliation>
<country>France</country>
<placeName><settlement type="city">Grenoble</settlement>
<region type="region" nuts="2">Auvergne-Rhône-Alpes</region>
<region type="old region" nuts="2">Rhône-Alpes</region>
</placeName>
<orgName type="university">Université Joseph Fourier</orgName>
<orgName type="institution" wicri:auto="newGroup">Université de Grenoble</orgName>
</affiliation>
</author>
<author><name sortKey="Rebeuf, Xavier" sort="Rebeuf, Xavier" uniqKey="Rebeuf X" first="Xavier" last="Rebeuf">Xavier Rebeuf</name>
<affiliation wicri:level="1"><hal:affiliation type="researchteam" xml:id="struct-2406" status="OLD"><idno type="RNSR">200218298K</idno>
<orgName>Real time and interoperability</orgName>
<orgName type="acronym">TRIO</orgName>
<desc><address><country key="FR"></country>
</address>
<ref type="url">http://www.inria.fr/equipes/trio</ref>
</desc>
<listRelation><relation active="#struct-160" type="direct"></relation>
<relation name="UMR7503" active="#struct-441569" type="indirect"></relation>
<relation active="#struct-300009" type="indirect"></relation>
<relation active="#struct-300291" type="indirect"></relation>
<relation active="#struct-300292" type="indirect"></relation>
<relation active="#struct-300293" type="indirect"></relation>
<relation active="#struct-2496" type="direct"></relation>
</listRelation>
<tutelles><tutelle active="#struct-160" type="direct"><org type="laboratory" xml:id="struct-160" status="OLD"><orgName>Laboratoire Lorrain de Recherche en Informatique et ses Applications</orgName>
<orgName type="acronym">LORIA</orgName>
<desc><address><addrLine>Campus Scientifique BP 239 54506 Vandoeuvre-lès-Nancy Cedex</addrLine>
<country key="FR"></country>
</address>
<ref type="url">http://www.loria.fr</ref>
</desc>
<listRelation><relation name="UMR7503" active="#struct-441569" type="direct"></relation>
<relation active="#struct-300009" type="direct"></relation>
<relation active="#struct-300291" type="direct"></relation>
<relation active="#struct-300292" type="direct"></relation>
<relation active="#struct-300293" type="direct"></relation>
</listRelation>
</org>
</tutelle>
<tutelle name="UMR7503" active="#struct-441569" type="indirect"><org type="institution" xml:id="struct-441569" status="VALID"><idno type="ISNI">0000000122597504</idno>
<idno type="IdRef">02636817X</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"></country>
</address>
<ref type="url">http://www.cnrs.fr/</ref>
</desc>
</org>
</tutelle>
<tutelle active="#struct-300009" type="indirect"><org type="institution" xml:id="struct-300009" status="VALID"><orgName>Institut National de Recherche en Informatique et en Automatique</orgName>
<orgName type="acronym">Inria</orgName>
<desc><address><addrLine>Domaine de VoluceauRocquencourt - BP 10578153 Le Chesnay Cedex</addrLine>
<country key="FR"></country>
</address>
<ref type="url">http://www.inria.fr/en/</ref>
</desc>
</org>
</tutelle>
<tutelle active="#struct-300291" type="indirect"><org type="institution" xml:id="struct-300291" status="OLD"><orgName>Université Henri Poincaré - Nancy 1</orgName>
<orgName type="acronym">UHP</orgName>
<date type="end">2011-12-31</date>
<desc><address><addrLine>24-30 rue Lionnois, BP 60120, 54 003 NANCY cedex, France</addrLine>
<country key="FR"></country>
</address>
</desc>
</org>
</tutelle>
<tutelle active="#struct-300292" type="indirect"><org type="institution" xml:id="struct-300292" status="OLD"><orgName>Université Nancy 2</orgName>
<date type="end">2011-12-31</date>
<desc><address><addrLine>91 avenue de la Libération, BP 454, 54001 Nancy cedex</addrLine>
<country key="FR"></country>
</address>
</desc>
</org>
</tutelle>
<tutelle active="#struct-300293" type="indirect"><org type="institution" xml:id="struct-300293" status="OLD"><orgName>Institut National Polytechnique de Lorraine</orgName>
<orgName type="acronym">INPL</orgName>
<date type="end">2011-12-31</date>
<desc><address><country key="FR"></country>
</address>
</desc>
</org>
</tutelle>
<tutelle active="#struct-2496" type="direct"><org type="laboratory" xml:id="struct-2496" status="OLD"><orgName>INRIA Lorraine</orgName>
<desc><address><addrLine>615 rue du Jardin Botanique 54600 Villers-lès-Nancy</addrLine>
<country key="FR"></country>
</address>
<ref type="url">http://www.inria.fr/centre-de-recherche-inria/nancy-grand-est</ref>
</desc>
<listRelation><relation active="#struct-300009" type="direct"></relation>
</listRelation>
</org>
</tutelle>
</tutelles>
</hal:affiliation>
<country>France</country>
<placeName><settlement type="city">Nancy</settlement>
<region type="region" nuts="2">Grand Est</region>
<region type="old region" nuts="2">Lorraine (région)</region>
</placeName>
<orgName type="university">Université Nancy 2</orgName>
<orgName type="institution" wicri:auto="newGroup">Université de Lorraine</orgName>
<placeName><settlement type="city">Nancy</settlement>
<region type="region" nuts="2">Grand Est</region>
<region type="old region" nuts="2">Lorraine (région)</region>
</placeName>
<orgName type="university">Institut national polytechnique de Lorraine</orgName>
<orgName type="institution" wicri:auto="newGroup">Université de Lorraine</orgName>
</affiliation>
</author>
<author><name sortKey="Virot, Bernard" sort="Virot, Bernard" uniqKey="Virot B" first="Bernard" last="Virot">Bernard Virot</name>
<affiliation wicri:level="1"><hal:affiliation type="laboratory" xml:id="struct-1625" status="OLD"><orgName>Laboratoire d'Informatique Fondamentale d'Orléans</orgName>
<orgName type="acronym">LIFO</orgName>
<desc><address><addrLine>Batiment IIIA 6 Rue Léonard de Vinci - BP 6759 45067 ORLEANS CEDEX 2</addrLine>
<country key="FR"></country>
</address>
<ref type="url">http://www.univ-orleans.fr/lifo/</ref>
</desc>
<listRelation><relation name="EA4022" active="#struct-300297" type="direct"></relation>
<relation active="#struct-300379" type="direct"></relation>
</listRelation>
<tutelles><tutelle name="EA4022" active="#struct-300297" type="direct"><org type="institution" xml:id="struct-300297" status="VALID"><idno type="IdRef">026402971</idno>
<idno type="ISNI">0000000121581666 </idno>
<orgName>Université d'Orléans</orgName>
<orgName type="acronym">UO</orgName>
<desc><address><addrLine>Château de la Source - Avenue du Parc Floral - BP 6749 - 45067 Orléans cedex 2</addrLine>
<country key="FR"></country>
</address>
<ref type="url">http://www.univ-orleans.fr/</ref>
</desc>
</org>
</tutelle>
<tutelle active="#struct-300379" type="direct"><org type="institution" xml:id="struct-300379" status="VALID"><orgName>Ecole Nationale Supérieure d'Ingénieurs de Bourges</orgName>
<desc><address><country key="FR"></country>
</address>
</desc>
</org>
</tutelle>
</tutelles>
</hal:affiliation>
<country>France</country>
<placeName><settlement type="city">Orléans</settlement>
<region type="old region" nuts="2">Région Centre</region>
<region type="region" nuts="2">Centre-Val de Loire</region>
</placeName>
<orgName type="university">Université d'Orléans</orgName>
<orgName type="institution" wicri:auto="newGroup">Centre Val de Loire Université</orgName>
</affiliation>
</author>
</titleStmt>
<publicationStmt><idno type="wicri:source">HAL</idno>
<idno type="RBID">Hal:inria-00099423</idno>
<idno type="halId">inria-00099423</idno>
<idno type="halUri">https://hal.inria.fr/inria-00099423</idno>
<idno type="url">https://hal.inria.fr/inria-00099423</idno>
<date when="2002">2002</date>
<idno type="wicri:Area/Hal/Corpus">000980</idno>
<idno type="wicri:Area/Hal/Curation">000980</idno>
</publicationStmt>
<sourceDesc><biblStruct><analytic><title xml:lang="en">A symbolic cost model for asynchronous parallel programs with structured dependences</title>
<author><name sortKey="Melin, Emmanuel" sort="Melin, Emmanuel" uniqKey="Melin E" first="Emmanuel" last="Melin">Emmanuel Melin</name>
<affiliation wicri:level="1"><hal:affiliation type="laboratory" xml:id="struct-1625" status="OLD"><orgName>Laboratoire d'Informatique Fondamentale d'Orléans</orgName>
<orgName type="acronym">LIFO</orgName>
<desc><address><addrLine>Batiment IIIA 6 Rue Léonard de Vinci - BP 6759 45067 ORLEANS CEDEX 2</addrLine>
<country key="FR"></country>
</address>
<ref type="url">http://www.univ-orleans.fr/lifo/</ref>
</desc>
<listRelation><relation name="EA4022" active="#struct-300297" type="direct"></relation>
<relation active="#struct-300379" type="direct"></relation>
</listRelation>
<tutelles><tutelle name="EA4022" active="#struct-300297" type="direct"><org type="institution" xml:id="struct-300297" status="VALID"><idno type="IdRef">026402971</idno>
<idno type="ISNI">0000000121581666 </idno>
<orgName>Université d'Orléans</orgName>
<orgName type="acronym">UO</orgName>
<desc><address><addrLine>Château de la Source - Avenue du Parc Floral - BP 6749 - 45067 Orléans cedex 2</addrLine>
<country key="FR"></country>
</address>
<ref type="url">http://www.univ-orleans.fr/</ref>
</desc>
</org>
</tutelle>
<tutelle active="#struct-300379" type="direct"><org type="institution" xml:id="struct-300379" status="VALID"><orgName>Ecole Nationale Supérieure d'Ingénieurs de Bourges</orgName>
<desc><address><country key="FR"></country>
</address>
</desc>
</org>
</tutelle>
</tutelles>
</hal:affiliation>
<country>France</country>
<placeName><settlement type="city">Orléans</settlement>
<region type="old region" nuts="2">Région Centre</region>
<region type="region" nuts="2">Centre-Val de Loire</region>
</placeName>
<orgName type="university">Université d'Orléans</orgName>
<orgName type="institution" wicri:auto="newGroup">Centre Val de Loire Université</orgName>
</affiliation>
</author>
<author><name sortKey="Raffin, Bruno" sort="Raffin, Bruno" uniqKey="Raffin B" first="Bruno" last="Raffin">Bruno Raffin</name>
<affiliation wicri:level="1"><hal:affiliation type="laboratory" xml:id="struct-10298" status="OLD"><orgName>Institut d'Informatique et de Mathématiques Appliquées de Grenoble</orgName>
<orgName type="acronym">IMAG</orgName>
<desc><address><addrLine>Domaine Universitaire - BP 53 38041 Grenoble cedex 9</addrLine>
<country key="FR"></country>
</address>
<ref type="url">http://www.imag.fr/</ref>
</desc>
<listRelation><relation active="#struct-51016" type="direct"></relation>
<relation active="#struct-300275" type="direct"></relation>
<relation active="#struct-441569" type="direct"></relation>
</listRelation>
<tutelles><tutelle active="#struct-51016" type="direct"><org type="institution" xml:id="struct-51016" status="OLD"><orgName>Université Joseph Fourier</orgName>
<orgName type="acronym">UJF</orgName>
<date type="end">2015-12-31</date>
<desc><address><addrLine>BP 53 - 38041 Grenoble Cedex 9</addrLine>
<country key="FR"></country>
</address>
<ref type="url">http://www.ujf-grenoble.fr/</ref>
</desc>
</org>
</tutelle>
<tutelle active="#struct-300275" type="direct"><org type="institution" xml:id="struct-300275" status="VALID"><orgName>Institut National Polytechnique de Grenoble (INPG)</orgName>
<desc><address><country key="FR"></country>
</address>
</desc>
</org>
</tutelle>
<tutelle active="#struct-441569" type="direct"><org type="institution" xml:id="struct-441569" status="VALID"><idno type="ISNI">0000000122597504</idno>
<idno type="IdRef">02636817X</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"></country>
</address>
<ref type="url">http://www.cnrs.fr/</ref>
</desc>
</org>
</tutelle>
</tutelles>
</hal:affiliation>
<country>France</country>
<placeName><settlement type="city">Grenoble</settlement>
<region type="region" nuts="2">Auvergne-Rhône-Alpes</region>
<region type="old region" nuts="2">Rhône-Alpes</region>
</placeName>
<orgName type="university">Université Joseph Fourier</orgName>
<orgName type="institution" wicri:auto="newGroup">Université de Grenoble</orgName>
</affiliation>
</author>
<author><name sortKey="Rebeuf, Xavier" sort="Rebeuf, Xavier" uniqKey="Rebeuf X" first="Xavier" last="Rebeuf">Xavier Rebeuf</name>
<affiliation wicri:level="1"><hal:affiliation type="researchteam" xml:id="struct-2406" status="OLD"><idno type="RNSR">200218298K</idno>
<orgName>Real time and interoperability</orgName>
<orgName type="acronym">TRIO</orgName>
<desc><address><country key="FR"></country>
</address>
<ref type="url">http://www.inria.fr/equipes/trio</ref>
</desc>
<listRelation><relation active="#struct-160" type="direct"></relation>
<relation name="UMR7503" active="#struct-441569" type="indirect"></relation>
<relation active="#struct-300009" type="indirect"></relation>
<relation active="#struct-300291" type="indirect"></relation>
<relation active="#struct-300292" type="indirect"></relation>
<relation active="#struct-300293" type="indirect"></relation>
<relation active="#struct-2496" type="direct"></relation>
</listRelation>
<tutelles><tutelle active="#struct-160" type="direct"><org type="laboratory" xml:id="struct-160" status="OLD"><orgName>Laboratoire Lorrain de Recherche en Informatique et ses Applications</orgName>
<orgName type="acronym">LORIA</orgName>
<desc><address><addrLine>Campus Scientifique BP 239 54506 Vandoeuvre-lès-Nancy Cedex</addrLine>
<country key="FR"></country>
</address>
<ref type="url">http://www.loria.fr</ref>
</desc>
<listRelation><relation name="UMR7503" active="#struct-441569" type="direct"></relation>
<relation active="#struct-300009" type="direct"></relation>
<relation active="#struct-300291" type="direct"></relation>
<relation active="#struct-300292" type="direct"></relation>
<relation active="#struct-300293" type="direct"></relation>
</listRelation>
</org>
</tutelle>
<tutelle name="UMR7503" active="#struct-441569" type="indirect"><org type="institution" xml:id="struct-441569" status="VALID"><idno type="ISNI">0000000122597504</idno>
<idno type="IdRef">02636817X</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"></country>
</address>
<ref type="url">http://www.cnrs.fr/</ref>
</desc>
</org>
</tutelle>
<tutelle active="#struct-300009" type="indirect"><org type="institution" xml:id="struct-300009" status="VALID"><orgName>Institut National de Recherche en Informatique et en Automatique</orgName>
<orgName type="acronym">Inria</orgName>
<desc><address><addrLine>Domaine de VoluceauRocquencourt - BP 10578153 Le Chesnay Cedex</addrLine>
<country key="FR"></country>
</address>
<ref type="url">http://www.inria.fr/en/</ref>
</desc>
</org>
</tutelle>
<tutelle active="#struct-300291" type="indirect"><org type="institution" xml:id="struct-300291" status="OLD"><orgName>Université Henri Poincaré - Nancy 1</orgName>
<orgName type="acronym">UHP</orgName>
<date type="end">2011-12-31</date>
<desc><address><addrLine>24-30 rue Lionnois, BP 60120, 54 003 NANCY cedex, France</addrLine>
<country key="FR"></country>
</address>
</desc>
</org>
</tutelle>
<tutelle active="#struct-300292" type="indirect"><org type="institution" xml:id="struct-300292" status="OLD"><orgName>Université Nancy 2</orgName>
<date type="end">2011-12-31</date>
<desc><address><addrLine>91 avenue de la Libération, BP 454, 54001 Nancy cedex</addrLine>
<country key="FR"></country>
</address>
</desc>
</org>
</tutelle>
<tutelle active="#struct-300293" type="indirect"><org type="institution" xml:id="struct-300293" status="OLD"><orgName>Institut National Polytechnique de Lorraine</orgName>
<orgName type="acronym">INPL</orgName>
<date type="end">2011-12-31</date>
<desc><address><country key="FR"></country>
</address>
</desc>
</org>
</tutelle>
<tutelle active="#struct-2496" type="direct"><org type="laboratory" xml:id="struct-2496" status="OLD"><orgName>INRIA Lorraine</orgName>
<desc><address><addrLine>615 rue du Jardin Botanique 54600 Villers-lès-Nancy</addrLine>
<country key="FR"></country>
</address>
<ref type="url">http://www.inria.fr/centre-de-recherche-inria/nancy-grand-est</ref>
</desc>
<listRelation><relation active="#struct-300009" type="direct"></relation>
</listRelation>
</org>
</tutelle>
</tutelles>
</hal:affiliation>
<country>France</country>
<placeName><settlement type="city">Nancy</settlement>
<region type="region" nuts="2">Grand Est</region>
<region type="old region" nuts="2">Lorraine (région)</region>
</placeName>
<orgName type="university">Université Nancy 2</orgName>
<orgName type="institution" wicri:auto="newGroup">Université de Lorraine</orgName>
<placeName><settlement type="city">Nancy</settlement>
<region type="region" nuts="2">Grand Est</region>
<region type="old region" nuts="2">Lorraine (région)</region>
</placeName>
<orgName type="university">Institut national polytechnique de Lorraine</orgName>
<orgName type="institution" wicri:auto="newGroup">Université de Lorraine</orgName>
</affiliation>
</author>
<author><name sortKey="Virot, Bernard" sort="Virot, Bernard" uniqKey="Virot B" first="Bernard" last="Virot">Bernard Virot</name>
<affiliation wicri:level="1"><hal:affiliation type="laboratory" xml:id="struct-1625" status="OLD"><orgName>Laboratoire d'Informatique Fondamentale d'Orléans</orgName>
<orgName type="acronym">LIFO</orgName>
<desc><address><addrLine>Batiment IIIA 6 Rue Léonard de Vinci - BP 6759 45067 ORLEANS CEDEX 2</addrLine>
<country key="FR"></country>
</address>
<ref type="url">http://www.univ-orleans.fr/lifo/</ref>
</desc>
<listRelation><relation name="EA4022" active="#struct-300297" type="direct"></relation>
<relation active="#struct-300379" type="direct"></relation>
</listRelation>
<tutelles><tutelle name="EA4022" active="#struct-300297" type="direct"><org type="institution" xml:id="struct-300297" status="VALID"><idno type="IdRef">026402971</idno>
<idno type="ISNI">0000000121581666 </idno>
<orgName>Université d'Orléans</orgName>
<orgName type="acronym">UO</orgName>
<desc><address><addrLine>Château de la Source - Avenue du Parc Floral - BP 6749 - 45067 Orléans cedex 2</addrLine>
<country key="FR"></country>
</address>
<ref type="url">http://www.univ-orleans.fr/</ref>
</desc>
</org>
</tutelle>
<tutelle active="#struct-300379" type="direct"><org type="institution" xml:id="struct-300379" status="VALID"><orgName>Ecole Nationale Supérieure d'Ingénieurs de Bourges</orgName>
<desc><address><country key="FR"></country>
</address>
</desc>
</org>
</tutelle>
</tutelles>
</hal:affiliation>
<country>France</country>
<placeName><settlement type="city">Orléans</settlement>
<region type="old region" nuts="2">Région Centre</region>
<region type="region" nuts="2">Centre-Val de Loire</region>
</placeName>
<orgName type="university">Université d'Orléans</orgName>
<orgName type="institution" wicri:auto="newGroup">Centre Val de Loire Université</orgName>
</affiliation>
</author>
</analytic>
</biblStruct>
</sourceDesc>
</fileDesc>
<profileDesc><textClass><keywords scheme="mix" xml:lang="fr"><term>calcul des pluspetites pré-conditions libérales</term>
<term>dynamic independences</term>
<term>indépendances dynamiques</term>
<term>langages de programmation parallèle</term>
<term>modèle de coût symbolique</term>
<term>parallel programming</term>
<term>symbolic cost model</term>
<term>weakest liberal preconditions</term>
</keywords>
</textClass>
</profileDesc>
</teiHeader>
<front><div type="abstract" xml:lang="en">We propose to associate a symbolic cost to a asynchronous parallel program. In contrast to classical approaches, we take into account all the dynamic asynchronism related to the different initial states that generate dynamic independences. We introduce an asynchronous intermediate model called SCP. It only imposes static independences allowing a sequential lecture of programs. To compute the symbolic cost, we condition the existence of a dependence by annotating it with a predicate on program variables. To evaluate the cost in the initial environment, predicates are transformed by a backward method based on the model Weakest Liberal Preconditions Calculus. The resulting symbolic cost is parameterized by the initial environment and integrates dynamic dependences.</div>
</front>
</TEI>
<hal api="V3"><titleStmt><title xml:lang="en">A symbolic cost model for asynchronous parallel programs with structured dependences</title>
<author role="aut"><persName><forename type="first">Emmanuel</forename>
<surname>Melin</surname>
</persName>
<email></email>
<idno type="halauthor">130592</idno>
<orgName ref="#struct-300297"></orgName>
<affiliation ref="#struct-1625"></affiliation>
</author>
<author role="aut"><persName><forename type="first">Bruno</forename>
<surname>Raffin</surname>
</persName>
<email></email>
<idno type="idhal">bruno-raffin</idno>
<idno type="halauthor">130593</idno>
<orgName ref="#struct-300112"></orgName>
<affiliation ref="#struct-10298"></affiliation>
</author>
<author role="aut"><persName><forename type="first">Xavier</forename>
<surname>Rebeuf</surname>
</persName>
<email>Xavier.Rebeuf@loria.fr</email>
<idno type="halauthor">130594</idno>
<orgName ref="#struct-364480"></orgName>
<affiliation ref="#struct-2406"></affiliation>
</author>
<author role="aut"><persName><forename type="first">Bernard</forename>
<surname>Virot</surname>
</persName>
<email></email>
<idno type="halauthor">130595</idno>
<orgName ref="#struct-300297"></orgName>
<affiliation ref="#struct-1625"></affiliation>
</author>
<editor role="depositor"><persName><forename>Publications</forename>
<surname>Loria</surname>
</persName>
<email>publications@loria.fr</email>
</editor>
</titleStmt>
<editionStmt><edition n="v1" type="current"><date type="whenSubmitted">2006-09-26 09:03:16</date>
<date type="whenModified">2016-05-19 01:10:55</date>
<date type="whenReleased">2006-09-28 15:22:46</date>
<date type="whenProduced">2002</date>
<date type="whenEndEmbargoed">2015-02-10</date>
<ref type="file" target="https://hal.inria.fr/inria-00099423/document"><date notBefore="2015-02-10"></date>
</ref>
<ref type="file" n="1" target="https://hal.inria.fr/inria-00099423/file/A02-R-031.pdf"><date notBefore="2015-02-10"></date>
</ref>
</edition>
<respStmt><resp>contributor</resp>
<name key="108626"><persName><forename>Publications</forename>
<surname>Loria</surname>
</persName>
<email>publications@loria.fr</email>
</name>
</respStmt>
</editionStmt>
<publicationStmt><distributor>CCSD</distributor>
<idno type="halId">inria-00099423</idno>
<idno type="halUri">https://hal.inria.fr/inria-00099423</idno>
<idno type="halBibtex">melin:inria-00099423</idno>
<idno type="halRefHtml">[Intern report] A02-R-031 || melin02a, 2002, 21 p</idno>
<idno type="halRef">[Intern report] A02-R-031 || melin02a, 2002, 21 p</idno>
</publicationStmt>
<seriesStmt><idno type="stamp" n="INRIA">INRIA - Institut National de Recherche en Informatique et en Automatique</idno>
<idno type="stamp" n="INPG" p="UGA">Institut polytechnique de Grenoble</idno>
<idno type="stamp" n="CNRS">CNRS - Centre national de la recherche scientifique</idno>
<idno type="stamp" n="UNIV-ORLEANS">Université d'Orléans</idno>
<idno type="stamp" n="INPL">Institut National Polytechnique de Lorraine</idno>
<idno type="stamp" n="LORIA2">Publications du LORIA</idno>
<idno type="stamp" n="INRIA-NANCY-GRAND-EST">INRIA Nancy - Grand Est</idno>
<idno type="stamp" n="MSL">Modelisation Systemes Langages</idno>
<idno type="stamp" n="LORIA-NSS" p="LORIA">Réseaux, systèmes et services</idno>
<idno type="stamp" n="LORIA">LORIA - Laboratoire Lorrain de Recherche en Informatique et ses Applications</idno>
<idno type="stamp" n="UGA">HAL Grenoble Alpes</idno>
<idno type="stamp" n="UNIV-GRENOBLE1" p="UGA">Université Joseph Fourier - Grenoble I</idno>
<idno type="stamp" n="UNIV-LORRAINE">Université de Lorraine</idno>
<idno type="stamp" n="ENSI-BOURGES">Ecole Nationale Supérieure d'Ingénieurs de Bourges</idno>
<idno type="stamp" n="INRIA-LORRAINE">INRIA Nancy - Grand Est</idno>
<idno type="stamp" n="LABO-LORIA-SET" p="LORIA">LABO-LORIA-SET</idno>
<idno type="stamp" n="MSL-THESE">Modelisation Systemes Langages</idno>
</seriesStmt>
<notesStmt><note type="commentary">Rapport interne.</note>
<note type="audience" n="0">Not set</note>
<note type="report" n="3">Intern report</note>
</notesStmt>
<sourceDesc><biblStruct><analytic><title xml:lang="en">A symbolic cost model for asynchronous parallel programs with structured dependences</title>
<author role="aut"><persName><forename type="first">Emmanuel</forename>
<surname>Melin</surname>
</persName>
<idno type="halAuthorId">130592</idno>
<orgName ref="#struct-300297"></orgName>
<affiliation ref="#struct-1625"></affiliation>
</author>
<author role="aut"><persName><forename type="first">Bruno</forename>
<surname>Raffin</surname>
</persName>
<idno type="idHal">bruno-raffin</idno>
<idno type="halAuthorId">130593</idno>
<orgName ref="#struct-300112"></orgName>
<affiliation ref="#struct-10298"></affiliation>
</author>
<author role="aut"><persName><forename type="first">Xavier</forename>
<surname>Rebeuf</surname>
</persName>
<email>Xavier.Rebeuf@loria.fr</email>
<idno type="halAuthorId">130594</idno>
<orgName ref="#struct-364480"></orgName>
<affiliation ref="#struct-2406"></affiliation>
</author>
<author role="aut"><persName><forename type="first">Bernard</forename>
<surname>Virot</surname>
</persName>
<idno type="halAuthorId">130595</idno>
<orgName ref="#struct-300297"></orgName>
<affiliation ref="#struct-1625"></affiliation>
</author>
</analytic>
<monogr><idno type="reportNumber">A02-R-031 || melin02a</idno>
<imprint><biblScope unit="pp">21 p</biblScope>
<date type="datePub">2002</date>
</imprint>
</monogr>
</biblStruct>
</sourceDesc>
<profileDesc><langUsage><language ident="en">English</language>
</langUsage>
<textClass><keywords scheme="author"><term xml:lang="fr">parallel programming</term>
<term xml:lang="fr">modèle de coût symbolique</term>
<term xml:lang="fr">symbolic cost model</term>
<term xml:lang="fr">weakest liberal preconditions</term>
<term xml:lang="fr">dynamic independences</term>
<term xml:lang="fr">calcul des pluspetites pré-conditions libérales</term>
<term xml:lang="fr">indépendances dynamiques</term>
<term xml:lang="fr">langages de programmation parallèle</term>
</keywords>
<classCode scheme="halDomain" n="info.info-oh">Computer Science [cs]/Other [cs.OH]</classCode>
<classCode scheme="halTypology" n="REPORT">Reports</classCode>
</textClass>
<abstract xml:lang="en">We propose to associate a symbolic cost to a asynchronous parallel program. In contrast to classical approaches, we take into account all the dynamic asynchronism related to the different initial states that generate dynamic independences. We introduce an asynchronous intermediate model called SCP. It only imposes static independences allowing a sequential lecture of programs. To compute the symbolic cost, we condition the existence of a dependence by annotating it with a predicate on program variables. To evaluate the cost in the initial environment, predicates are transformed by a backward method based on the model Weakest Liberal Preconditions Calculus. The resulting symbolic cost is parameterized by the initial environment and integrates dynamic dependences.</abstract>
</profileDesc>
</hal>
</record>
Pour manipuler ce document sous Unix (Dilib)
EXPLOR_STEP=$WICRI_ROOT/Wicri/Lorraine/explor/InforLorV4/Data/Hal/Curation
HfdSelect -h $EXPLOR_STEP/biblio.hfd -nk 000980 | SxmlIndent | more
Ou
HfdSelect -h $EXPLOR_AREA/Data/Hal/Curation/biblio.hfd -nk 000980 | SxmlIndent | more
Pour mettre un lien sur cette page dans le réseau Wicri
{{Explor lien |wiki= Wicri/Lorraine |area= InforLorV4 |flux= Hal |étape= Curation |type= RBID |clé= Hal:inria-00099423 |texte= A symbolic cost model for asynchronous parallel programs with structured dependences }}
![]() | This area was generated with Dilib version V0.6.33. | ![]() |