Une contribution a l'etude du parallelisme ou en prolog sur des machines sans memoire commune

• Autor(a) principal: Geyer, Claudio Fernando Resin
• Data de Publicação: 1991
• Tipo de documento: Tese
• Idioma: fra
• Título da fonte: Biblioteca Digital de Teses e Dissertações da UFRGS
• Texto Completo: http://hdl.handle.net/10183/18394
• topic: Opera: ou Parallélisme et régulation adaptative; Parallélisme ou multi-séquentiel; Prolog parallèle basé sur la WAM; Implantation sur machine parallèle sans mémoire commune; Gestion des contextes multiples; Copie incrémentale; Ordonnancement; Coupure en parallèle; Linguagens : Programacao; Prolog; Maquinas paralelas; Paralelismo ou; Opera: or parallelism and adaptable balancing; Or multisequential parallelism; Based-WAM parallel prolog; Implementation over distributed parallel machine; Multi-environment management; Incremental copy; Scheduling; Parallel cut

Cette 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.