OperaV1, PascalFrancis, Corpus, bibRecord, 000B66

Un système prolog parallèle pour machines à mémoire distribuée

Identifieur interne : 000B66 ( PascalFrancis/Corpus ); précédent : 000B65; suivant : 000B67

Un système prolog parallèle pour machines à mémoire distribuée

Auteurs :

Source :

RBID : Pascal:92-0567195

Descripteurs français

Pascal (Inist)
- Prolog, Parallélisme, Multiséquentiel, Régulation de charge, WAM, Multiprocesseur à Mémoire distribuée.

Abstract

Cette thèse est consacrée à l'étude de l'implantation du langage Prolog sur les architectures parallèles MIMD sans mémoire commune. Nous présentons le modèle OPERA qui exploite implicitement le parallélisme ou le Prolog pour répartir dynamiquement l'évaluation des programmes sur les différents nœuds du réseau de processeurs. Le système OPERA est de type multiséquentiel: il n'y a parallélisation que lorsqu'un processeur est inoccupé. Ce système se décompose en une partie opérative 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 opérative. 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 été mise à profit dans notre implantation pour réduire les coûts 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 à l'heure actuelle

Notice en format standard (ISO 2709)

Pour connaître la documentation sur le format Inist Standard.

A07				`@0 92INPG0040`
A09	`01`	`1`	`FRE`	`@1 Un système prolog parallèle pour machines à mémoire distribuée`
A12	`01`	`1`		`@1 FAVRE (Michel)`
A12	`02`	`1`		`@1 MOSSIERE (Jacques) @9 dir.`
A21				`@1 1992-04 @4 1992`
A23	`01`			`@0 FRE`
A24	`01`			`@0 fre`
A24	`02`			`@0 eng`
A29				`@1 194 p.`
A41				`@1 Institut national polytechnique Grenoble. FRA`
A42				`@0 Th. doct. : Inform.`
A43	`01`			`@1 INIST @2 T 82765 @5 T92INPG0040`
A44				`@0 0000`
A45				`@0 86 ref.`
A47	`01`	`1`		`@0 92-0567195`
A60				`@1 T`
A61				`@0 M`
A66	`01`			`@0 FRA`
A69	`01`	`1`	`ENG`	`@1 A parallel prolog system for distributed memory multiprocessor`
C01	`01`		`FRE`	@0 Cette thèse est consacrée à l'étude de l'implantation du langage Prolog sur les architectures parallèles MIMD sans mémoire commune. Nous présentons le modèle OPERA qui exploite implicitement le parallélisme ou le Prolog pour répartir dynamiquement l'évaluation des programmes sur les différents nœuds du réseau de processeurs. Le système OPERA est de type multiséquentiel: il n'y a parallélisation que lorsqu'un processeur est inoccupé. Ce système se décompose en une partie opérative 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 opérative. 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 été mise à profit dans notre implantation pour réduire les coûts 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 à l'heure actuelle
C02	`01`	`X`		`@0 001D02B`
C02	`02`	`8`		`@0 430A09H`
C03	`01`	`X`	`FRE`	`@0 Prolog @4 INC`
C03	`02`	`X`	`FRE`	`@0 Parallélisme @4 INC`
C03	`03`	`X`	`FRE`	`@0 Multiséquentiel @4 INC`
C03	`04`	`X`	`FRE`	`@0 Régulation de charge @4 INC`
C03	`05`	`X`	`FRE`	`@0 WAM @4 INC`
C03	`06`	`X`	`FRE`	`@0 Multiprocesseur à Mémoire distribuée @4 INC`
N21				`@1 306`

Format Inist (serveur)

NO :	PASCAL 92-0567195 INIST
FT :	Un système prolog parallèle pour machines à mémoire distribuée
ET :	(A parallel prolog system for distributed memory multiprocessor)
AU :	FAVRE (Michel); MOSSIERE (Jacques)
DT :	Thèse; Niveau monographique
SO :	Th. doct. : Inform.; France; Da. 1992-04; Pp. 194 p.
LA :	Français
FA :	Cette thèse est consacrée à l'étude de l'implantation du langage Prolog sur les architectures parallèles MIMD sans mémoire commune. Nous présentons le modèle OPERA qui exploite implicitement le parallélisme ou le Prolog pour répartir dynamiquement l'évaluation des programmes sur les différents nœuds du réseau de processeurs. Le système OPERA est de type multiséquentiel: il n'y a parallélisation que lorsqu'un processeur est inoccupé. Ce système se décompose en une partie opérative 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 opérative. 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 été mise à profit dans notre implantation pour réduire les coûts 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 à l'heure actuelle
CC :	001D02B; 430A09H
FD :	Prolog; Parallélisme; Multiséquentiel; Régulation de charge; WAM; Multiprocesseur à Mémoire distribuée
LO :	INIST-T 82765.T92INPG0040
ID :	92-0567195

Links to Exploration step

Pascal:92-0567195

Le document en format XML

<record><TEI><teiHeader><fileDesc><titleStmt><title xml:lang="fr" level="m">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:noCountry>no AF</wicri:noCountry>
</affiliation>
</author>
<author><name sortKey="Mossiere, Jacques" sort="Mossiere, Jacques" uniqKey="Mossiere J" first="Jacques" last="Mossiere">Jacques Mossiere</name>
<affiliation><wicri:noCountry>no AF</wicri:noCountry>
</affiliation>
</author>
</titleStmt>
<publicationStmt><idno type="wicri:source">INIST</idno>
<idno type="inist">92-0567195</idno>
<date when="1992-04">1992-04</date>
<idno type="stanalyst">PASCAL 92-0567195 INIST</idno>
<idno type="RBID">Pascal:92-0567195</idno>
<idno type="wicri:Area/PascalFrancis/Corpus">000B66</idno>
</publicationStmt>
<sourceDesc><biblStruct><analytic></analytic>
</biblStruct>
</sourceDesc>
</fileDesc>
<profileDesc><textClass><keywords scheme="Pascal" xml:lang="fr"><term>Prolog</term>
<term>Parallélisme</term>
<term>Multiséquentiel</term>
<term>Régulation de charge</term>
<term>WAM</term>
<term>Multiprocesseur à Mémoire distribuée</term>
</keywords>
</textClass>
</profileDesc>
</teiHeader>
<front><div type="abstract" xml:lang="fr">Cette thèse est consacrée à l'étude de l'implantation du langage Prolog sur les architectures parallèles MIMD sans mémoire commune. Nous présentons le modèle OPERA qui exploite implicitement le parallélisme ou le Prolog pour répartir dynamiquement l'évaluation des programmes sur les différents nœuds du réseau de processeurs. Le système OPERA est de type multiséquentiel: il n'y a parallélisation que lorsqu'un processeur est inoccupé. Ce système se décompose en une partie opérative 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 opérative. 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 été mise à profit dans notre implantation pour réduire les coûts 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 à l'heure actuelle</div>
</front>
</TEI>
<inist><standard h6="B"><pA><fA07><s0>92INPG0040</s0>
</fA07>
<fA09 i1="01" i2="1" l="FRE"><s1>Un système prolog parallèle pour machines à mémoire distribuée</s1>
</fA09>
<fA12 i1="01" i2="1"><s1>FAVRE (Michel)</s1>
</fA12>
<fA12 i1="02" i2="1"><s1>MOSSIERE (Jacques)</s1>
<s9>dir.</s9>
</fA12>
<fA21><s1>1992-04</s1>
<s4>1992</s4>
</fA21>
<fA23 i1="01"><s0>FRE</s0>
</fA23>
<fA24 i1="01"><s0>fre</s0>
</fA24>
<fA24 i1="02"><s0>eng</s0>
</fA24>
<fA29><s1>194 p.</s1>
</fA29>
<fA41><s1>Institut national polytechnique Grenoble. FRA</s1>
</fA41>
<fA42><s0>Th. doct. : Inform.</s0>
</fA42>
<fA43 i1="01"><s1>INIST</s1>
<s2>T 82765</s2>
<s5>T92INPG0040</s5>
</fA43>
<fA44><s0>0000</s0>
</fA44>
<fA45><s0>86 ref.</s0>
</fA45>
<fA47 i1="01" i2="1"><s0>92-0567195</s0>
</fA47>
<fA60><s1>T</s1>
</fA60>
<fA61><s0>M</s0>
</fA61>
<fA66 i1="01"><s0>FRA</s0>
</fA66>
<fA69 i1="01" i2="1" l="ENG"><s1>A parallel prolog system for distributed memory multiprocessor</s1>
</fA69>
<fC01 i1="01" l="FRE"><s0>Cette thèse est consacrée à l'étude de l'implantation du langage Prolog sur les architectures parallèles MIMD sans mémoire commune. Nous présentons le modèle OPERA qui exploite implicitement le parallélisme ou le Prolog pour répartir dynamiquement l'évaluation des programmes sur les différents nœuds du réseau de processeurs. Le système OPERA est de type multiséquentiel: il n'y a parallélisation que lorsqu'un processeur est inoccupé. Ce système se décompose en une partie opérative 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 opérative. 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 été mise à profit dans notre implantation pour réduire les coûts 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 à l'heure actuelle</s0>
</fC01>
<fC02 i1="01" i2="X"><s0>001D02B</s0>
</fC02>
<fC02 i1="02" i2="8"><s0>430A09H</s0>
</fC02>
<fC03 i1="01" i2="X" l="FRE"><s0>Prolog</s0>
<s4>INC</s4>
</fC03>
<fC03 i1="02" i2="X" l="FRE"><s0>Parallélisme</s0>
<s4>INC</s4>
</fC03>
<fC03 i1="03" i2="X" l="FRE"><s0>Multiséquentiel</s0>
<s4>INC</s4>
</fC03>
<fC03 i1="04" i2="X" l="FRE"><s0>Régulation de charge</s0>
<s4>INC</s4>
</fC03>
<fC03 i1="05" i2="X" l="FRE"><s0>WAM</s0>
<s4>INC</s4>
</fC03>
<fC03 i1="06" i2="X" l="FRE"><s0>Multiprocesseur à Mémoire distribuée</s0>
<s4>INC</s4>
</fC03>
<fN21><s1>306</s1>
</fN21>
</pA>
</standard>
<server><NO>PASCAL 92-0567195 INIST</NO>
<FT>Un système prolog parallèle pour machines à mémoire distribuée</FT>
<ET>(A parallel prolog system for distributed memory multiprocessor)</ET>
<AU>FAVRE (Michel); MOSSIERE (Jacques)</AU>
<DT>Thèse; Niveau monographique</DT>
<SO>Th. doct. : Inform.; France; Da. 1992-04; Pp. 194 p.</SO>
<LA>Français</LA>
<FA>Cette thèse est consacrée à l'étude de l'implantation du langage Prolog sur les architectures parallèles MIMD sans mémoire commune. Nous présentons le modèle OPERA qui exploite implicitement le parallélisme ou le Prolog pour répartir dynamiquement l'évaluation des programmes sur les différents nœuds du réseau de processeurs. Le système OPERA est de type multiséquentiel: il n'y a parallélisation que lorsqu'un processeur est inoccupé. Ce système se décompose en une partie opérative 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 opérative. 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 été mise à profit dans notre implantation pour réduire les coûts 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 à l'heure actuelle</FA>
<CC>001D02B; 430A09H</CC>
<FD>Prolog; Parallélisme; Multiséquentiel; Régulation de charge; WAM; Multiprocesseur à Mémoire distribuée</FD>
<LO>INIST-T 82765.T92INPG0040</LO>
<ID>92-0567195</ID>
</server>
</inist>
</record>

Pour manipuler ce document sous Unix (Dilib)

EXPLOR_STEP=$WICRI_ROOT/Wicri/Musique/explor/OperaV1/Data/PascalFrancis/Corpus

HfdSelect -h $EXPLOR_STEP/biblio.hfd -nk 000B66 | SxmlIndent | more

HfdSelect -h $EXPLOR_AREA/Data/PascalFrancis/Corpus/biblio.hfd -nk 000B66 | SxmlIndent | more

Pour mettre un lien sur cette page dans le réseau Wicri

{{Explor lien
   |wiki=    Wicri/Musique
   |area=    OperaV1
   |flux=    PascalFrancis
   |étape=   Corpus
   |type=    RBID
   |clé=     Pascal:92-0567195
   |texte=   Un système prolog parallèle pour machines à mémoire distribuée
}}

This area was generated with Dilib version V0.6.21.
Data generation: Thu Apr 14 14:59:05 2016. Site generation: Thu Jan 4 23:09:23 2024

	Serveur d'exploration sur l'opéra
	Attention, ce site est en cours de développement ! Attention, site généré par des moyens informatiques à partir de corpus bruts. Les informations ne sont donc pas validées.

Serveur d'exploration sur l'opéra

Un système prolog parallèle pour machines à mémoire distribuée

Un système prolog parallèle pour machines à mémoire distribuée

Source :

Descripteurs français

Abstract

Notice en format standard (ISO 2709)

Format Inist (serveur)

Links to Exploration step

Le document en format XML

Pour manipuler ce document sous Unix (Dilib)

Pour mettre un lien sur cette page dans le réseau Wicri