Or-parallel prolog execution on clusters of multicores

• Tipo: Artigo em Livro de Atas de Conferência Internacional
• Data: 2013

Autores

Santos, J (Autor) Outra; Rocha, R (Autor) FCUP

Ata de Conferência Internacional

Título: OpenAccess Series in Informatics

Páginas: 9-20

2nd Symposium on Languages, Applications and Technologies, SLATE 2013

Porto, 20 June 2013 through 21 June 2013

Indexação

ISI Web of Knowledge

Scopus - 1 Citação

Outras Informações

ID Authenticus: P-008-KJT

DOI: 10.4230/oasics.slate.2013.9

Abstract (EN): Logic Programming languages, such as Prolog, provide an excellent framework for the parallel execution of logic programs. In particular, the inherent non-determinism in the way logic programs are structured makes Prolog very attractive for the exploitation of implicit parallelism. One of the most noticeable sources of implicit parallelism in Prolog programs is or-parallelism. Or-parallelism arises from the simultaneous evaluation of a subgoal call against the clauses that match that call. Arguably, the most successful model for or-parallelism is environment copying, that has been efficiently used in the implementation of or-parallel Prolog systems both on shared memory and distributed memory architectures. Nowadays, multicores and clusters of multicores are becoming the norm and, although, many parallel Prolog systems have been developed in the past, to the best of our knowledge, none of them was specially designed to explore the combination of shared with distributed memory architectures. Motivated by our past experience, in designing and developing parallel Prolog systems based on environment copying, we propose a novel computational model to efficiently exploit implicit parallelism from large scale real-world applications specialized for the novel architectures based on clusters of multicores. © João Santos and Ricardo Rocha.

Idioma: Inglês

Tipo (Avaliação Docente): Científica

Nº de páginas: 12