Show simple item record

dc.contributor.advisorNão disponívelpt_BR
dc.contributor.authorGeyer, Claudio Fernando Resinpt_BR
dc.date.accessioned2010-01-29T04:15:32Zpt_BR
dc.date.issued1991pt_BR
dc.identifier.urihttp://hdl.handle.net/10183/18394pt_BR
dc.description.abstractCette thèse est consacrée à l'etude de l'implantation du parallélisme OU en Prolog sur des machines sans mémoire commune. Nous présentons le modèle multi-séquentiel OU Opera, implanté par compilation (machine abstraite de Warren - WAM), en préservant la sémantique de Prolog. Les deux problèmes principaux d'un tel système, la gestion de contextes multiples et l'ordonnancement, sont détaillés. La gestion des contextes multiples s'effectue par copie incrémentale, en parallèle au calcul. Pour que ceci reste efficace et cohérent, le traitement des variables conditionnelles a été inclus dans la WAM. Notre méthode introduit une nouvelle pile pour ces variables dont l'initialisation, la déliaison été modifiées. Le coût des opérations séquentielles de la WAM est constant et indépendent du nombre de processus. Nous proposons encore une méthode simple et efficace pour la réalisation de la coupure. Un prototype Opera a été implanté sur un réseau de Transputers. Dans ce prototype, l'ordonnancement a été résolu par une méthode basée sur des heuristiques d'évaluation de charge. Cet ordonnancement est mis en ocuvre par une architecture centralisée où un processus ordonnanceur unique régule la charge des autres processus. L'ordonnanceur utilise une répresentation approximative de l'état du système. La partie séquentielle du prototype Opera constitue l'un des systèmes Prolog les plus efficaces existant actuellement sur le Transputer. Ses gains de performance en parallèle sont aussi effectifs.fr
dc.description.abstractThis thesis is dedicated to the study of the implementation of Or-parallel Prolog over distributed memory machines. The Opera Or multi-sequential model is presented. It uses compiling techniques (Warren Abstract Machine) and preserves the Prolog semantics. Multienvironment management and scheduling, the two major problems of Opera, are described. Multi-environment management is realized by incremental copying, in parallel to the computation. The treatment of conditional variables is included in the WAM, in order to allow an efficient and coherent cooperation. Our method introduces a new pile for these variables, initialization, binding and unbinding of which are adapted. The cost of WAM sequential operations is constant and independent of the number of processes. We also propose a simple and efficient method for implementing cut in parallel. An Opera prototype has been implemented over a Transputer array. In the current prototype, scheduling is resolved by heuristics of load evaluation. This scheduling is centralized, a unique process balancing the load of the other Prolog workers, and using an approximate representation of the state of the system. The Opera prototype is one of the most efficient Prolog implementations on the Transputer, and reaches effective speed-ups in parallel.en
dc.format.mimetypeapplication/pdfpt_BR
dc.language.isofrapt_BR
dc.rightsOpen Accessen
dc.subjectOpera: ou Parallélisme et régulation adaptativefr
dc.subjectLinguagens : Programacaopt_BR
dc.subjectPrologpt_BR
dc.subjectParallélisme ou multi-séquentielfr
dc.subjectProlog parallèle basé sur la WAMfr
dc.subjectMaquinas paralelaspt_BR
dc.subjectImplantation sur machine parallèle sans mémoire communefr
dc.subjectParalelismo oupt_BR
dc.subjectGestion des contextes multiplesfr
dc.subjectCopie incrémentalefr
dc.subjectOrdonnancementfr
dc.subjectCoupure en parallèlefr
dc.subjectOpera: or parallelism and adaptable balancingen
dc.subjectOr multisequential parallelismen
dc.subjectBased-WAM parallel prologen
dc.subjectImplementation over distributed parallel machineen
dc.subjectMulti-environment managementen
dc.subjectIncremental copyen
dc.subjectSchedulingen
dc.subjectParallel cuten
dc.titleUne contribution a l'etude du parallelisme ou en prolog sur des machines sans memoire communept_BR
dc.typeTesept_BR
dc.identifier.nrb000060195pt_BR
dc.degree.grantorUniversite Joseph Fourier-Grenoble Ipt_BR
dc.degree.localGrenoble, frpt_BR
dc.degree.date1991pt_BR
dc.degree.leveldoutoradopt_BR


Files in this item

Thumbnail
   

This item is licensed under a Creative Commons License

Show simple item record