arXivDaily arXiv每日学术速递 周一至周五更新
arXiv周末暂无论文更新,休息一下吧,周末愉快~~
arXiv 1007.4438cs.DC
收藏

线程和或线程主义的统一

Threads and Or-Parallelism Unified

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

摘要:

逻辑编程(LP)的主要优点之一是它为程序的并行执行提供了一个很好的框架。在这项工作中,我们研究新的技术,有效地利用低成本的多核架构中的实际应用的并行性。为了实现这些目标,我们恢复和重新设计的YapOr系统,利用或并行的基础上多线程实现。我们的新方法充分利用了最先进的快速和优化的YAP Prolog引擎,并共享底层执行环境,调度程序和大多数用于支持YapOr模型的数据结构。我们的新方法的初始实验一致地实现几乎线性的加速比的大多数应用程序,证明自己作为一个很好的替代利用隐式并行在目前可用的低成本多核架构。

英文摘要:

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.

机构、总结、中文摘要均由AI分析而来,可能存在错误,请以论文正文为准。

↑