Threads and or-parallelism unified

DOI10.1017/S1471068410000190MaRDI QIDQ3585157zbMATH OpenFDO

Authors Vítor Costa, Inês Dutra, Ricardo Rocha

Publication date 19 August 2010

Published in Theory and Practice of Logic Programming (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1007.4438

zbMATH Keywords

implementationmulti-threadingor-parallelism

Mathematics Subject Classification ID

Logic programming (68N17)

Abstract: 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.

Recommendations

• On applying or-parallelism and tabling to logic programs
• scientific article; zbMATH DE number 712424
• Publication:4723279
• Multilog and data or-parallelism
• On the implementation of an or-parallel Prolog system for clusters of multicores

Cites work

• A High-Level Implementation of Non-deterministic, Unrestricted, Independent And-Parallelism
• scientific article; zbMATH DE number 401323 (Why is no real title available?)
• OR-parallel execution of Prolog on a multi-sequential machine
• Parallel ILP for distributed-memory architectures
• Stack splitting: a technique for efficient exploitation of search parallelism on share-nothing platforms

Cited in

(3)

• On the implementation of an or-parallel Prolog system for clusters of multicores
• On applying or-parallelism and tabling to logic programs
• Parallel Logic Programming: A Sequel

Describes a project that uses

Uses Software

• YAP-Prolog
• YapOr

This page was built for publication: Threads and or-parallelism unified

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3585157)