MPA - Máquina Prolog Associativa
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
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.