Otimizações importantes para paralelismo OU em Prolog sobre sobre máquinas con memória distribuida

• Autores: Claudio Geyer, Jacques Briat, Michel Favre, Jacques Chassin de Kergommeaux
• Localización: Panel '92: actas, XVIII Conferencia Latinoamericana de Informática, 1992, págs. 540-547
• Idioma: portugués
• Texto completo no disponible (Saber más ...)
• Resumen

  • 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.