MPA - Máquina Prolog Associativa

  • Malena O. Hor-Meyll PUC-Rio / UFRJ
  • Raul Q. Feitosa ITA / PUC-Rio
  • Cláudio L. de Amorim Imperial College / UFRJ

Resumo


As arquiteturas convencionais de computadores, baseadas no modelo de von Neumann, não se mostram adequadas para o desenvolvimento de um ambiente eficiente para a linguagem Prolog, fundamentada em mecanismos de unificação e retrocesso automático. Este trabalho propõe a arquitetura de um acelerador, baseado em memória associativa, para ser interligado a uma máquina virtual Prolog desenvolvida na COPPE/UFRJ. A arquitetura proposta aumenta a eficiência da máquina virtual explorando o paralelismo da memória associativa na realização do mecanismo de retrocessso e desrefereciamento. O impacto no desempenho da máquina virtual decorrente da nova arquitetura foi simulado e avaliado utilizando programas de teste simples encontrados na literatura.

Referências

BIANCHINI, R., I. C. DUTRA, P. M. V. LIMA, L. M. R. Eizirik e C. L. AMORIM Em direção a uma Estação Prolog: Implementação e Avaliação de Desempenho da Máquina Virtual V Simpósio Brasileiro de Inteligência Artificial, Natal - RN, Novembro 1988.

CAMPBELL, J. A. Implementations of Prolog Ellis Horwood Limited, John Willey & Sons, 1984.

CHISVIN, L., R. J. DUCKWORTH Content-Addressable and Associative Memory: Alternatives to the Ubiquitous RAM Computer, July 1989, pp.51-64.

CIVERA, Pierluigi, Gianluca PICCININI, Maurizio ZAMBONI Implementations Studies for a VLSI Prolog Processor IEEE MICRO, Fevereiro 1989, pp. 10-23.

CLOCKSIN, William F., Christopher S. MELLISH Programming in Prolog (Second Editiont) Springer-Verlag, 1984.

CORBUCCI, Dante LispLog: Uma Linguagem para a Programação Funcional e para a Programação Lógica Tese de Mestrado, PUC/RJ, Setembro, 1989.

DOBRY, T. P., A. M. DESPAIN e Y.N. PATT Performance Studies of a Prolog Machine Architecture Proceedings of 12th Intemational Symposium on Computer Archictecture, Boston, MA, June 1985, pp.180-190.

DUTRA, Inês de C. Implementação de uma Máquina Virtual Prolog - Tradução e Execução de Programas Tese de Mestrado, COPPE/UFRJ, Novembro 1988.

HENNESSY, J., D. PATTERSON Computer Architecture: A Quantitative Approach Morgan Kauffman Publishers Inc, Palo Alto, 1990.

HOR-MEYLL, Malena Osorio Uma Arquitetura baseada em Memória Associativa para Suporte a uma Máquina Virtual Prolog Tese de Mestrado, PUC/RJ, Setembro, 1992.

Intel Corporation Microprocessors and Peripheral Handbook, vol. 1, 1989.

LIMA, Priscila M. V. Implementação de Compiladores Prolog Tese de Mestrado, COPPE/UFRJ, Marco 1987.

Motorola Semiconductors Enhanced 32-bit Microprocessor User's Manual Prentice Hall, 1990.

MURAKAMI, K., T. KAKUTA, R. ONAI Architectures and Hardware Systems: Parallel Inference Machine and Knowledge Base Machine Proceedings of the International Conference on Fifth Generation Computer Systems, ICOT, November 1984, pp.t18-36.

MMUDGE, Trevor N., R. B. BROWN, W. P.Birmingham, J. A. DYKSTRA, A. I. KAYSSI, R. J. LOMAX, O. A. OLUKOTUN and K. A. SAKALLAH The Design of a Microsupercomputer Computer, vol 24, no. 1, January 1991, pp. 57-64.

NAGANUMA, J., T. OGURA, S. YAMADA, T. KIMURA High-Speed CAM-Based Architecture for a Prolog Machine (ASCA) IEEE Transactions on Computers, vol 37, no.t11, November 1988, pp. 1375-1383.

NAKAZAKI, R., A. KONAGAYA, S. HABATA, H. SHIMAZU, M. UMEMURA, M. YAMAMOTO, M. YOKOTA, T. CHIKAYAMA Design of a High-speed Prolog Machine (HPM) Proceedings of 12th Symposium on Computer Architecture, Boston, MA, Junho 1985, pp. 191-197.

ROBINSON, Phillip The SUM: An AI Coprocessor BYTE, vol. 10, June 1985, pp.t169-180.

ROBINSON, I. A Prolog Processor Based on a Pattem Matching Memory Device Proceedings of 3rd International Conference on Logic Programming, July 1986, pp. 172-179.

STONE, H. High Performance Computer Architectures Addison-Wesley, 1987.

TAKI, K., M. YOKOTA, A. YAMAMOTO, H. NISHIKAWA, S. UCHIDA, H. NAKASHIMA e A. MITSUISHI Hardware Design and Implementation of a Personal Sequential Inference Machine (PSI) Proceedings of the Intemational Conference on Fifth Generation Computer Systems, ICOT, November 1984, pp.t398-409.

UCHIDA Shunichi, T. YOKOI Sequential Inference Machine: SIM - Progress Report Proceedings of the International Conference on Fifth Generation Computer Systems, ICOT, November 1984, pp.t58-69.

WARREN, David H. D. Implementing Prolog - Compiling Predicate Logic Programs Research Reports no 39, no 40, Dept of Artificial Inteligence, University of Edinburgh, 1977.

YOKOTA, M., A. YAMAMOTO, K. TAKI, H. NISHIKAWA, S. UCHIDA, K. NAKAJIMA e M. MITUSI A Microprogrammed Interpreter for the Personal Sequential Inference Machine Proceedings of the Intemational Conference on Fifth Generation Computer Systems, ICOT, November 1984, pp.t410-418.
Publicado
07/09/1993
HOR-MEYLL, Malena O.; FEITOSA, Raul Q.; AMORIM, Cláudio L. de. MPA - Máquina Prolog Associativa. 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. 631-645. DOI: https://doi.org/10.5753/sbac-pad.1993.23065.