Threads and or-parallelism unified

• Tipo: Artigo em Revista Científica Internacional
• Data: 2010

Autores

Ines Dutra (Autor) FCUP; Ricardo Rocha (Autor) FCUP

Revista

Título: Theory and Practice of Logic Programming

Vol. 10 Nº Part 4-6 Sp. Iss.

Páginas: 417-432

ISSN: 1471-0684

Editora: Cambridge University Press

Indexação

ISI Web of Knowledge - 7 Citações

ISI Web of Science

Scopus - 9 Citações

Current Contents

Classificação Científica

FOS: Ciências exactas e naturais > Ciências da computação e da informação

CORDIS: Ciências Físicas > Ciência de computadores

Outras Informações

ID Authenticus: P-003-5J0

DOI: 10.1017/s1471068410000190

Abstract (EN): One of the main advantages of Logic Programming (LP) is that it provides an excellent framework for the parallel execution of programs. In this work we investigate novel techniques to efficiently exploit parallelism from real-world applications in low cost multi-core architectures. To achieve these goals, we revive and redesign the YapOr system to exploit or-parallelism based on a multi-threaded implementation. Our new approach takes full advantage of the state-of-the-art fast and optimized YAP Prolog engine and shares the underlying execution environment, scheduler and most of the data structures used to support YapOr's model. Initial experiments with our new approach consistently achieve almost linear speedups for most of the applications, proving itself as a good alternative for exploiting implicit parallelism in the currently available low cost multi-core architectures.

Idioma: Inglês

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

Notas: Special Issue 4-6 (26th International Conference on Logic Programming) ICLP 2010. - DOI: 10.1017/S1471068410000190. - KEYWORDS: multi-threading; or-parallelism; implementation.

Nº de páginas: 16