Execução de Prolog com Alto Desempenho

Ricardo Nuno Lopes

Mestrado em Informática pela Universidade do Minho

Outubro 1996

---

Resumo

Um dos grandes objectivos de qualquer implementação de Prolog é a de conseguir obter o máximo de performance possível na execução das aplicações. A compilação avançada é um dos factores essenciais para conseguir uma boa performance. Nos últimos anos presenciaram-se melhorias significativas na compilação do Prolog, resultando no retorno da ideia da execução em código nativo.

Nesta tese apresenta-se o sistema Native YAP, um sistema com geração de código nativo para a arquitectura Alpha, que usa como base o compilador de Prolog YAP.

O desenho do Native YAP envolveu um conjunto de novos passos para a compilação de Prolog, nomeadamente a aplicação do algoritmo 2-Streams na YAAM, a criação de uma nova linguagem intermédia para compilação avançada de Prolog (YAIL), optimizações para esta última linguagem, a geração de código nativo para a arquitectura Alpha, e um método para integrar o ficheiro objecto resultante da compilação do código nativo no YAP em tempo de execução.

O Native YAP obteve bons índices de performance comparativamente ao YAP, reforçando a ideia de que uma geração cuidada de código nativo para um programa Prolog pode trazer melhorias substanciais na execução relativamente às versões baseadas em emuladores e implementações com geração de código {\em C}.