Simulação de Modelos Paralelos de Programação em Lógica
Resumo
Apresentamos neste trabalho o projeto e a implementação de um simulador que tem por finalidade avaliar a eficiência de modelos de execução paralela de programas lógicos. O simulador permite otimizar modelos e obter medidas de desempenho tais como número de unificações, comunicações e processos criados. A arquitetura do similador é descrita em termos de seus componentes: processadores virtuais, processos, comunicações e sincronização. Os resultados obtidos na implementação dos modelos Backup e Kabu-Wake são discutidos e confirmam o simulador como uma ferramenta simples, versátil e útil para a pesquisa em modelos paralelos de programação em lógica.
Referências
Ricardo G. Bianchini "EXECUÇÃO PARALELA DE PROGRAMAS LÓGICOS". Projeto Final de Graduação, UFRJ, 1989.
Ricardo G. Bianchini "UM NOVO MODELO DE EXECUÇÃO PARALELA DE PROGRAMAS LÓGICOS". Tese de Mestrado, COPPE/UFRJ, 1990.
A. M. Casanova, F. A. C. Giorno e A. L. Furtado "PROGRAMAÇÃO EM LOGICA E LINGUAGEM PROLOG". Edgard Blucher, 1987.
J. Cohen "DESCRIBING PROLOG BY ITS INTERPRETATION AND COMPILATION". CACM - v. 28, nº 12, Dec 1985.
John S. Conery "PARALLEL EXECUTION OF LOGIC PROGRAMS". Kluwer Academic Publishers, 1987.
Ruy Marinho da Costa "SIMULAÇÃO DE MODELOS PARALELOS DE PROGRAMAÇÃO EM LÓGICA". Tese de Mestrado, COPPE/UFRJ, 1991,
D. DeGroot "RESTRICTED AND PARALLELISM. Proceedings of the International Conference on Fifth Generation Computer Systems, (Tokio, Japão), 1984, pp. 471-478.
Inés de Castro Dutra "IMPLEMENTAÇÃO DE UMA MÁQUINA VIRTUAL PROLOG - TRADUÇÃO E EXECUÇÃO DE PROGRAMAS". Tese de Mestrado, COPPE/UFRJ, 1988.
Inês de C. Dutra, Ricardo G, Bianchini, Leila M. Eizirik e Cláudio L. de Amorim "EM DIREÇÃO A UMA ESTAÇÃO PROLOG DE ALTO DESEMPENHO - TRADUÇÃO DE PROGRAMAS". V Simpósio Brasileiro de Inteligência Artificial. Natal, RN, Outubro de 1988.
Geoffrey C. Fox (et ali) "SOLVING PROBLEMS ON CONCURRENT PROCESSORS" VOL I. Prentice Hall, 1988.
K. Furukawa, K. Nitta e Y. Matsumoto "PROLOG INTERPRETER BASED ON CONCURRENT PROGRAMMING'. Proceedings of the First International Logic Cont arenoei (Faculté des Sciences de Luminy, Marseille, France, Sept.), 1982, pp. 38-44.
Steve Gregory "PARALLEL LOGIC PROGRAMMING IN PARLOG". Addison-Wesley, 1987.
Manuel V. Hermenegildo "AN ABSTRACT MACHINE FOR RESTRICTED AND-PARALLEL EXECUTION OF LOGIC PROGRAMS". Proceedings of the 3rd Int'l, Conference on Logic Programming. Springer-Verlag, 1986, pp. 25-39.
C. J. Hogger "INTRODUCTION TO LOGIC PROGRAMMING". Academic Press, 1984.
J. M. Jacquet "A GUIDED TOUR THROUGH PARALLELISM IN LOGIC PROGRAMMING", National Fund for Scientific Reserch, Institut d'Informatique - F.N.D.P., 1987.
Priscila M. V. Lima "CONSIDERAÇÕES SOBRE UM SISTEMA PROLOG PARA AMBIENTE DE MULTIPROCESSAMENTO". VI Congresso da Sociedade Brasileira de Computação, Anais (Volume I), Recife - Olinda, Jul 1986.
Priscila M. V. Lima "IMPLEMENTAÇÃO DE COMPILADORES PROLOG". Tese de Mestrado, COPPE/UFRJ, 1987..
G. J. Lipovski e Manuel V. Hermenegildo "B-LOG: A BRANCH AND BOUND METHODOLOGY FOR THE PARALLEL EXECUTION OF LOGIC PROGRAMS". Proceedings of the 1985 International Conference on Parallel Processing, Agosto de 1985.
James L. Peterson, Abraham Silberschatz "OPERATING SYSTEM CONCETPTS". Addison Wesley, 1985.
Harold S. Stone "HIGH-PERFORMANCE COMPUTER ARCHITECTURES". Addison Wesley, 1987..
Yukio Sohma, K. Saroh, K. Kumon, H. Masuzawa e A. Itashiki "A NEW PARALLEL INFERENCE BASED ON SEQUENTIAL PROCESSING". Proceedings of the IFIP TC 10 Working Conference on Fifth Generation Computer Architetures 85, (July 15-18), 1985, pp. 3-14.
David h. D. Warren "IMPLEMENTING PROLOG - COMPILING LOGIC PROGRAMS". Vols 1,2, DAI Research Reports nº 39, 40, Department of Artificial Intelligence, University of Edinburgh, May 1977. E
David H. D. Warren "LOGIC PROGRAMMING AND COMPILER WRITING". Software - Pratice and Experience, v 10, pp. 97 - 125, 1980.
David H. D. Warren "AN ABSTRACT PROLOG INSTRUCTION SET", Techinical Note 309, SRI International, AI Center, Computer Science and Technology Division, 1983.
Michael J. Wise "PROLOG MULTIPROCESSORS". Prentice Hall, 1987.
Ricardo G. Bianchini "UM NOVO MODELO DE EXECUÇÃO PARALELA DE PROGRAMAS LÓGICOS". Tese de Mestrado, COPPE/UFRJ, 1990.
A. M. Casanova, F. A. C. Giorno e A. L. Furtado "PROGRAMAÇÃO EM LOGICA E LINGUAGEM PROLOG". Edgard Blucher, 1987.
J. Cohen "DESCRIBING PROLOG BY ITS INTERPRETATION AND COMPILATION". CACM - v. 28, nº 12, Dec 1985.
John S. Conery "PARALLEL EXECUTION OF LOGIC PROGRAMS". Kluwer Academic Publishers, 1987.
Ruy Marinho da Costa "SIMULAÇÃO DE MODELOS PARALELOS DE PROGRAMAÇÃO EM LÓGICA". Tese de Mestrado, COPPE/UFRJ, 1991,
D. DeGroot "RESTRICTED AND PARALLELISM. Proceedings of the International Conference on Fifth Generation Computer Systems, (Tokio, Japão), 1984, pp. 471-478.
Inés de Castro Dutra "IMPLEMENTAÇÃO DE UMA MÁQUINA VIRTUAL PROLOG - TRADUÇÃO E EXECUÇÃO DE PROGRAMAS". Tese de Mestrado, COPPE/UFRJ, 1988.
Inês de C. Dutra, Ricardo G, Bianchini, Leila M. Eizirik e Cláudio L. de Amorim "EM DIREÇÃO A UMA ESTAÇÃO PROLOG DE ALTO DESEMPENHO - TRADUÇÃO DE PROGRAMAS". V Simpósio Brasileiro de Inteligência Artificial. Natal, RN, Outubro de 1988.
Geoffrey C. Fox (et ali) "SOLVING PROBLEMS ON CONCURRENT PROCESSORS" VOL I. Prentice Hall, 1988.
K. Furukawa, K. Nitta e Y. Matsumoto "PROLOG INTERPRETER BASED ON CONCURRENT PROGRAMMING'. Proceedings of the First International Logic Cont arenoei (Faculté des Sciences de Luminy, Marseille, France, Sept.), 1982, pp. 38-44.
Steve Gregory "PARALLEL LOGIC PROGRAMMING IN PARLOG". Addison-Wesley, 1987.
Manuel V. Hermenegildo "AN ABSTRACT MACHINE FOR RESTRICTED AND-PARALLEL EXECUTION OF LOGIC PROGRAMS". Proceedings of the 3rd Int'l, Conference on Logic Programming. Springer-Verlag, 1986, pp. 25-39.
C. J. Hogger "INTRODUCTION TO LOGIC PROGRAMMING". Academic Press, 1984.
J. M. Jacquet "A GUIDED TOUR THROUGH PARALLELISM IN LOGIC PROGRAMMING", National Fund for Scientific Reserch, Institut d'Informatique - F.N.D.P., 1987.
Priscila M. V. Lima "CONSIDERAÇÕES SOBRE UM SISTEMA PROLOG PARA AMBIENTE DE MULTIPROCESSAMENTO". VI Congresso da Sociedade Brasileira de Computação, Anais (Volume I), Recife - Olinda, Jul 1986.
Priscila M. V. Lima "IMPLEMENTAÇÃO DE COMPILADORES PROLOG". Tese de Mestrado, COPPE/UFRJ, 1987..
G. J. Lipovski e Manuel V. Hermenegildo "B-LOG: A BRANCH AND BOUND METHODOLOGY FOR THE PARALLEL EXECUTION OF LOGIC PROGRAMS". Proceedings of the 1985 International Conference on Parallel Processing, Agosto de 1985.
James L. Peterson, Abraham Silberschatz "OPERATING SYSTEM CONCETPTS". Addison Wesley, 1985.
Harold S. Stone "HIGH-PERFORMANCE COMPUTER ARCHITECTURES". Addison Wesley, 1987..
Yukio Sohma, K. Saroh, K. Kumon, H. Masuzawa e A. Itashiki "A NEW PARALLEL INFERENCE BASED ON SEQUENTIAL PROCESSING". Proceedings of the IFIP TC 10 Working Conference on Fifth Generation Computer Architetures 85, (July 15-18), 1985, pp. 3-14.
David h. D. Warren "IMPLEMENTING PROLOG - COMPILING LOGIC PROGRAMS". Vols 1,2, DAI Research Reports nº 39, 40, Department of Artificial Intelligence, University of Edinburgh, May 1977. E
David H. D. Warren "LOGIC PROGRAMMING AND COMPILER WRITING". Software - Pratice and Experience, v 10, pp. 97 - 125, 1980.
David H. D. Warren "AN ABSTRACT PROLOG INSTRUCTION SET", Techinical Note 309, SRI International, AI Center, Computer Science and Technology Division, 1983.
Michael J. Wise "PROLOG MULTIPROCESSORS". Prentice Hall, 1987.
Publicado
07/09/1993
Como Citar
COSTA, Ruy Marinho da; AMORIM, Cláudio Luis de.
Simulação de Modelos Paralelos de Programação em Lógica. In: INTERNATIONAL SYMPOSIUM ON COMPUTER ARCHITECTURE AND HIGH PERFORMANCE COMPUTING (SBAC-PAD), 5. , 1993, Florianópolis/SC.
Anais [...].
Porto Alegre: Sociedade Brasileira de Computação,
1993
.
p. 745-760.
DOI: https://doi.org/10.5753/sbac-pad.1993.23073.
