A symbolic cost model for asynchronous parallel programs with structured dependences
Identifieur interne : 009128 ( Main/Merge ); précédent : 009127; suivant : 009129A 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: 000980
- to stream Hal, to step Curation: 000980
- to stream Hal, to step Checkpoint: 005A58
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><idno type="wicri:Area/Hal/Checkpoint">005A58</idno><idno type="wicri:explorRef" wicri:stream="Hal" wicri:step="Checkpoint">005A58</idno><idno type="wicri:Area/Main/Merge">009128</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></record>Pour manipuler ce document sous Unix (Dilib)
EXPLOR_STEP=$WICRI_ROOT/Wicri/Lorraine/explor/InforLorV4/Data/Main/Merge
HfdSelect -h $EXPLOR_STEP/biblio.hfd -nk 009128 | SxmlIndent | more
Ou
HfdSelect -h $EXPLOR_AREA/Data/Main/Merge/biblio.hfd -nk 009128 | SxmlIndent | more
Pour mettre un lien sur cette page dans le réseau Wicri
{{Explor lien
|wiki= Wicri/Lorraine
|area= InforLorV4
|flux= Main
|étape= Merge
|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. |  |