Resumen de Otimizações importantes para paralelismo OU em Prolog sobre sobre máquinas con memória distribuida
Claudio Geyer, Jacques Briat, Michel Favre, Jacques Chassin de Kergommeaux
Este artigo descreve novas otimizações adotadas no modelo Opera ([3]) de execução do paralelsiamo OU multi-seqüencial em Prolog, para máquinas com memória distribuida. Uma técnica especial para a compilação das variáveis condicionais, baseada na máquina abstrata de Warren, e descrita, reduzindo o número de ligaçôes profundas. Um novo método para a implementação eficiente da instalação de tarefas, baseado na cópia de contextos, é apresentado. A cópia é executada em paralelo ao trabalho da WAM, exigiendo a inclusão do valor da ligação na pilha de registro de ligaçôes. Esse método consome menos memória e diminue a complexidade da cópia incremental. Uma técnica é proposta para a implementação do predicado de corte (cut), mantendo-se a semântica original de Prolog, sendo mais simples e consumindo menos memória que a de [1]. Uma arquitectura hierárquica do sistema é proposta para as configuraçôes com grande número de processadores (>100) da máquina Supernode, sobre a qual foi implantado o protótipo Opera.
