Threads and Or-Parallelism Unified

Details Threads and Or-Parallelism Unified Threads and Or-Parallelism Unified

2010-07-26

arxiv.org/abs/1007.4438v1

Theory and Practice of Logic Programming, Volume 10, Issue 4-6, July 2010, pp 417-432 Published online by Cambridge University

Computer Science

Distributed, Parallel, and Cluster Computing

17 pages, 21 figures, International Conference on Logic Programming (ICLP 2010)

Scientific paper

10.1017/S1471068410000190

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.

Affiliated with

Also associated with

No associations

Rating

Threads and Or-Parallelism Unified does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.

If you have personal experience with Threads and Or-Parallelism Unified, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Threads and Or-Parallelism Unified will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-558813