Uma Proposta de Escalonamento Distribuído para Exploração do Paralelismo na Programação em Lógica

  • Cristiano André da Costa UCPel
  • Cláudio Fernando Resin Geyer UFRGS

Resumo


O presente trabalho apresenta uma proposta de escalonamento para exploração do paralelismo OU e do paralelismo E Independente na programação em lógica. O modelo de escalonamento é distribuído e recebe o nome de DSLP — Distributed Scheduler for Logic Programming. O DSLP pode ser empregado tanto em multiprocessadores como em multicomputadores. São utilizadas duas informações principais para auxílio ao escalonamento: da aplicação e do sistema. Através de uma análise da aplicação a ser executada pelo GRANLOG (Granularity Analyzer for Logic Programming) várias informações são geradas sobre um programa e utilizadas no auxílio à tomada de decisão. Alguns resultados preliminares já foram obtidos.

Palavras-chave: Programação em Lógica, Paralelismo E, Paralelismo OU, Escalonamento Distribuído, Análise de Granulosidade

Referências

BARBOSA, Jorge V. GRANLOG: um modelo para análise automática de granulosidade na programação em lógica. Porto Alegre: CPGCC-UFRGS, 1996. Dissertação de Mestrado.

COSTA, Cristiano A. da. Um estudo das propostas que integram o paralelismo E/OU na Programação em Lógica. Porto Alegre: CPGCC-UFRGS, 1996. 64p. (TI-493).

COSTA, Cristiano A. Um Propostas de Escalonamento Distribuído para exploração do Paralelismo na Programação em Lógica. Porto Alegre: CPGCC-UFRGS, 1998. 104 p. Dissertação de Mestrado.

DANDAMUDI S. et al. Performance of hierarchical processor scheduling in shared-memory multiprocessor systems. Ottawa: Carleton University, 1996. (Technical Report TR-96-21).

EVANS, D. J. et al. Dynamic load balancing using task-transfer probabilities. Parallel Computing, New York, v.19, p. 897-916, 1992.

HEISS, Hans. Comunicação pessoal numa visita ao II/UFRGS, agosto 1996.

KERGOMMEAUX, J.C.; CODOGNET, Philippe. Parallel Logic Programming Systems. Grenoble: Universite Joseph Fourier-Grenoble I, 1994. 52p. Technical Report.

YAMIN, Adenauer C. Modelos de Implementação do Paralelismo OU na Programação em Lógica. Porto Alegre: CPGCC-UFRGS, 1992. 114p. (TI-280).
Publicado
28/09/1998
COSTA, Cristiano André da; GEYER, Cláudio Fernando Resin. Uma Proposta de Escalonamento Distribuído para Exploração do Paralelismo na Programação em Lógica. In: INTERNATIONAL SYMPOSIUM ON COMPUTER ARCHITECTURE AND HIGH PERFORMANCE COMPUTING (SBAC-PAD), 10. , 1998, Búzios/RJ. Anais [...]. Porto Alegre: Sociedade Brasileira de Computação, 1998 . p. 61-64. DOI: https://doi.org/10.5753/sbac-pad.1998.22678.