A parallel prolog system for distributed memory multiprocessor
Identifieur interne : 003026 ( Main/Exploration ); précédent : 003025; suivant : 003027A parallel prolog system for distributed memory multiprocessor
Auteurs : Michel Favre [France]Source :
Descripteurs français
- mix :
Abstract
Cette thèse est consacrée a l'étude de l'implantation du langage Prolog sur les architectures parallèles Mimd sans mémoire commune. Nous présentons le modèle opéra qui exploite implicitement le parallélisme ou le Prolog pour repartir dynamiquement l'évaluation des programmes sur les différents nœuds du réseau de processeurs. Le système opéra est de type multisequentiel: il n'y a parallélisation que lorsqu'un processeur est inoccupé. Ce système se décompose en une partie operative chargée de l'évaluation du programme Prolog, et une partie contrôle chargée de l'allocation des travaux aux processeurs de la partie operative. Les principaux problèmes de ce type de systèmes sont d'une part le choix de représentation en mémoire de l'arbre ou ainsi que la gestion des liaisons multiples, et d'autre part, le contrôle de l'allocation des différentes branches de l'arbre aux machines abstraites qui effectuent des évaluations séquentielles. La technique de régulation de charge utilisée est fondée sur des méthodes heuristiques. L'ordonnanceur d'opera travaille sur une image approchée de l'état global du système obtenu par échantillonnage des états locaux de chaque unités de travail. Un prototype d'opera a été réalisé sur un réseau de transputers reconfigurable dynamiquement: le supernode. Cette propriété a ete mise a profit dans notre implantation pour réduire les couts de communication. Les communications sont effectuées en parallèle avec le calcul. Le prototype réalisé fournit des gains de performances importants et opera figure parmi les systèmes Prolog parallèles les plus efficaces a l'heure actuelle
Url:
Affiliations:
Links toward previous steps (curation, corpus...)
- to stream Hal, to step Corpus: 000019
- to stream Hal, to step Curation: 000019
- to stream Hal, to step Checkpoint: 000962
- to stream Main, to step Merge: 003166
- to stream Main, to step Curation: 003026
Le document en format XML
<record><TEI><teiHeader><fileDesc><titleStmt><title xml:lang="en">A parallel prolog system for distributed memory multiprocessor</title>
<title xml:lang="fr">Un système Prolog parallèle pour machines à mémoire distribuée</title>
<author><name sortKey="Favre, Michel" sort="Favre, Michel" uniqKey="Favre M" first="Michel" last="Favre">Michel Favre</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="IdRef">02636817X</idno>
<idno type="ISNI">0000000122597504</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">Rhône-Alpes</region>
</placeName>
<orgName type="university">Université Joseph Fourier</orgName>
<orgName type="institution" wicri:auto="newGroup">Université de Grenoble</orgName>
</affiliation>
</author>
</titleStmt>
<publicationStmt><idno type="wicri:source">HAL</idno>
<idno type="RBID">Hal:tel-00341008</idno>
<idno type="halId">tel-00341008</idno>
<idno type="halUri">https://tel.archives-ouvertes.fr/tel-00341008</idno>
<idno type="url">https://tel.archives-ouvertes.fr/tel-00341008</idno>
<date when="1992-04-15">1992-04-15</date>
<idno type="wicri:Area/Hal/Corpus">000019</idno>
<idno type="wicri:Area/Hal/Curation">000019</idno>
<idno type="wicri:Area/Hal/Checkpoint">000962</idno>
<idno type="wicri:Area/Main/Merge">003166</idno>
<idno type="wicri:Area/Main/Curation">003026</idno>
<idno type="wicri:Area/Main/Exploration">003026</idno>
</publicationStmt>
<sourceDesc><biblStruct><analytic><title xml:lang="en">A parallel prolog system for distributed memory multiprocessor</title>
<title xml:lang="fr">Un système Prolog parallèle pour machines à mémoire distribuée</title>
<author><name sortKey="Favre, Michel" sort="Favre, Michel" uniqKey="Favre M" first="Michel" last="Favre">Michel Favre</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="IdRef">02636817X</idno>
<idno type="ISNI">0000000122597504</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">Rhône-Alpes</region>
</placeName>
<orgName type="university">Université Joseph Fourier</orgName>
<orgName type="institution" wicri:auto="newGroup">Université de Grenoble</orgName>
</affiliation>
</author>
</analytic>
</biblStruct>
</sourceDesc>
</fileDesc>
<profileDesc><textClass><keywords scheme="mix" xml:lang="fr"><term>Prolog</term>
<term>WAM</term>
<term>multi-séquentiel</term>
<term>multiprocesseur à mémoire distribuée</term>
<term>parallélisme</term>
<term>régulation de charge</term>
</keywords>
</textClass>
</profileDesc>
</teiHeader>
<front><div type="abstract" xml:lang="fr">Cette thèse est consacrée a l'étude de l'implantation du langage Prolog sur les architectures parallèles Mimd sans mémoire commune. Nous présentons le modèle opéra qui exploite implicitement le parallélisme ou le Prolog pour repartir dynamiquement l'évaluation des programmes sur les différents nœuds du réseau de processeurs. Le système opéra est de type multisequentiel: il n'y a parallélisation que lorsqu'un processeur est inoccupé. Ce système se décompose en une partie operative chargée de l'évaluation du programme Prolog, et une partie contrôle chargée de l'allocation des travaux aux processeurs de la partie operative. Les principaux problèmes de ce type de systèmes sont d'une part le choix de représentation en mémoire de l'arbre ou ainsi que la gestion des liaisons multiples, et d'autre part, le contrôle de l'allocation des différentes branches de l'arbre aux machines abstraites qui effectuent des évaluations séquentielles. La technique de régulation de charge utilisée est fondée sur des méthodes heuristiques. L'ordonnanceur d'opera travaille sur une image approchée de l'état global du système obtenu par échantillonnage des états locaux de chaque unités de travail. Un prototype d'opera a été réalisé sur un réseau de transputers reconfigurable dynamiquement: le supernode. Cette propriété a ete mise a profit dans notre implantation pour réduire les couts de communication. Les communications sont effectuées en parallèle avec le calcul. Le prototype réalisé fournit des gains de performances importants et opera figure parmi les systèmes Prolog parallèles les plus efficaces a l'heure actuelle</div>
</front>
</TEI>
<affiliations><list><country><li>France</li>
</country>
<region><li>Rhône-Alpes</li>
</region>
<settlement><li>Grenoble</li>
</settlement>
<orgName><li>Université Joseph Fourier</li>
<li>Université de Grenoble</li>
</orgName>
</list>
<tree><country name="France"><region name="Rhône-Alpes"><name sortKey="Favre, Michel" sort="Favre, Michel" uniqKey="Favre M" first="Michel" last="Favre">Michel Favre</name>
</region>
</country>
</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 003026 | SxmlIndent | more
Ou
HfdSelect -h $EXPLOR_AREA/Data/Main/Exploration/biblio.hfd -nk 003026 | 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é= Hal:tel-00341008 |texte= A parallel prolog system for distributed memory multiprocessor }}
This area was generated with Dilib version V0.6.21. |