Étude d'outils logiciels pour la parallélisation et la transformation de programmes dans les applications de calculs numériques
Identifieur interne : 002173 ( Main/Exploration ); précédent : 002172; suivant : 002174Étude d'outils logiciels pour la parallélisation et la transformation de programmes dans les applications de calculs numériques
Auteurs :Source :
Descripteurs français
- Pascal (Inist)
English descriptors
- KwdEn :
Abstract
Ce travail vise à étudier l'adéquation de divers outils de parallélisation s'inscrivant dans le cadre du parallélisme de données à l'écriture, la transformation et la parallélisation de programmes de calculs scientifiques. Après une première partie consacrée à la présentation de deux outils, le deuxième chapitre s'intéresse à l'utilisation de PEI, langage équationnel, pour la transformation de programmes et leur parallélisation : on montre comment ce langage permet de prendre un programme pour matrices pleines, et de le transformer en programme pour matrices creuses par la définition de quelques fonctions. La parallélisation du programme résultant s'en suit, grâce à la représentation basée sur l'alignement des données que permet ce langage. Dans une troisième partie, on montre l'intérêt de la modélisation polyédrique des nids de boucles telle qu'elle est faite par le logiciel OPERA, en s'appuyant sur la parallélisation d'un code de mécanique des fluides. Ce type de modélisation permet en effet de représenter visuellement le problème, ce qui aide à la détection du parallélisme. D'autre part, nous montrons comment la modélisation mathématique sous-jacente permet de minimiser les communications dans ce problème, par application de techniques d'optimisation d'accès à la mémoire aux cas de communications. Une série d'expérimentations permet finalement de valider l'approche. Enfin, une dernière partie présente une comparaison entre deux outils pour la parallélisation de la factorisation de Cholesky. L'un est axé sur une approche par parallélisme de données alors que l'autre propose une approche centrée sur les instructions. Il s'avère que cette dernière approche permet une parallélisation automatique un peu meilleure, alors que la première propose une meilleure représentation du programme en vue de sa compréhension.
Affiliations:
Links toward previous steps (curation, corpus...)
- to stream PascalFrancis, to step Corpus: 000590
- to stream PascalFrancis, to step Curation: 000092
- to stream PascalFrancis, to step Checkpoint: 000544
- to stream Main, to step Merge: 002254
- to stream Main, to step Curation: 002173
Le document en format XML
<record><TEI><teiHeader><fileDesc><titleStmt><title xml:lang="fr" level="m">Étude d'outils logiciels pour la parallélisation et la transformation de programmes dans les applications de calculs numériques</title>
<author><name sortKey="Voisin Demery, Frederique" sort="Voisin Demery, Frederique" uniqKey="Voisin Demery F" first="Frederique" last="Voisin Demery">Frederique Voisin Demery</name>
<affiliation wicri:level="1"><inist:fA14 i1="01" i2="1"><s1>Université de Strasbourg 1</s1>
<s2>Strasbourg</s2>
<s3>FRA</s3>
<s9>tutelle</s9>
</inist:fA14>
<country>France</country>
<placeName><settlement type="city">Strasbourg</settlement>
</placeName>
</affiliation>
</author>
<author><name sortKey="Perrin, Guy Rene" sort="Perrin, Guy Rene" uniqKey="Perrin G" first="Guy-Rene" last="Perrin">Guy-Rene Perrin</name>
</author>
</titleStmt>
<publicationStmt><idno type="wicri:source">INIST</idno>
<idno type="inist">02-0550828</idno>
<date when="2001-07">2001-07</date>
<idno type="stanalyst">PASCAL 02-0550828 INIST</idno>
<idno type="RBID">Pascal:02-0550828</idno>
<idno type="wicri:Area/PascalFrancis/Corpus">000590</idno>
<idno type="wicri:Area/PascalFrancis/Curation">000092</idno>
<idno type="wicri:Area/PascalFrancis/Checkpoint">000544</idno>
<idno type="wicri:Area/Main/Merge">002254</idno>
<idno type="wicri:Area/Main/Curation">002173</idno>
<idno type="wicri:Area/Main/Exploration">002173</idno>
</publicationStmt>
<sourceDesc><biblStruct><analytic></analytic>
</biblStruct>
</sourceDesc>
</fileDesc>
<profileDesc><textClass><keywords scheme="KwdEn" xml:lang="en"><term>Calculator</term>
<term>Matrix factorization</term>
<term>Parallelism</term>
<term>Parallelization</term>
<term>Polyhedron</term>
<term>Program transformation</term>
<term>Sparse matrix</term>
</keywords>
<keywords scheme="Pascal" xml:lang="fr"><term>Parallélisme</term>
<term>Transformation programme</term>
<term>Polyèdre</term>
<term>Matrice creuse</term>
<term>Parallélisation</term>
<term>Calculateur</term>
<term>Factorisation matricielle</term>
</keywords>
</textClass>
</profileDesc>
</teiHeader>
<front><div type="abstract" xml:lang="fr">Ce travail vise à étudier l'adéquation de divers outils de parallélisation s'inscrivant dans le cadre du parallélisme de données à l'écriture, la transformation et la parallélisation de programmes de calculs scientifiques. Après une première partie consacrée à la présentation de deux outils, le deuxième chapitre s'intéresse à l'utilisation de PEI, langage équationnel, pour la transformation de programmes et leur parallélisation : on montre comment ce langage permet de prendre un programme pour matrices pleines, et de le transformer en programme pour matrices creuses par la définition de quelques fonctions. La parallélisation du programme résultant s'en suit, grâce à la représentation basée sur l'alignement des données que permet ce langage. Dans une troisième partie, on montre l'intérêt de la modélisation polyédrique des nids de boucles telle qu'elle est faite par le logiciel OPERA, en s'appuyant sur la parallélisation d'un code de mécanique des fluides. Ce type de modélisation permet en effet de représenter visuellement le problème, ce qui aide à la détection du parallélisme. D'autre part, nous montrons comment la modélisation mathématique sous-jacente permet de minimiser les communications dans ce problème, par application de techniques d'optimisation d'accès à la mémoire aux cas de communications. Une série d'expérimentations permet finalement de valider l'approche. Enfin, une dernière partie présente une comparaison entre deux outils pour la parallélisation de la factorisation de Cholesky. L'un est axé sur une approche par parallélisme de données alors que l'autre propose une approche centrée sur les instructions. Il s'avère que cette dernière approche permet une parallélisation automatique un peu meilleure, alors que la première propose une meilleure représentation du programme en vue de sa compréhension.</div>
</front>
</TEI>
<affiliations><list></list>
<tree></tree>
</affiliations>
</record>
Pour manipuler ce document sous Unix (Dilib)
EXPLOR_STEP=$WICRI_ROOT/Wicri/Musique/explor/OperaV1/Data/Main/Exploration
HfdSelect -h $EXPLOR_STEP/biblio.hfd -nk 002173 | SxmlIndent | more
Ou
HfdSelect -h $EXPLOR_AREA/Data/Main/Exploration/biblio.hfd -nk 002173 | SxmlIndent | more
Pour mettre un lien sur cette page dans le réseau Wicri
{{Explor lien |wiki= Wicri/Musique |area= OperaV1 |flux= Main |étape= Exploration |type= RBID |clé= Pascal:02-0550828 |texte= Étude d'outils logiciels pour la parallélisation et la transformation de programmes dans les applications de calculs numériques }}
This area was generated with Dilib version V0.6.21. |