多核上Prolog或并行执行的不同分割策略比较
On Comparing Alternative Splitting Strategies for Or-Parallel Prolog Execution on Multicores
摘要：
许多或并行Prolog模型，利用隐式并行已被提出在过去。可以说，最成功的模型之一是共享内存体系结构的环境复制。随着多核架构的可用性和普及性不断提高，恢复该领域的知识体系并重新设计先前的计算模型以评估其在新架构上的性能是有意义的。在这项工作中，我们专注于实施分割策略或并行Prolog执行多核，为此，我们开发了一个框架，顶部的YapOr系统，集成和支持五种替代分割策略。我们的实现共享底层的执行环境和大多数的数据结构用于实现或在YapOr并行。特别是，我们利用了YapOr的基础设施来支持增量复制和调度，我们只做了最小的修改。因此，我们认为，所有这些共同的支持功能，使我们能够在这五个替代分裂策略之间进行第一次和公平的比较，因此，更好地了解他们的优点和缺点。
英文摘要：
Many or-parallel Prolog models exploiting implicit parallelism have been proposed in the past. Arguably, one of the most successful models is environment copying for shared memory architectures. With the increasing availability and popularity of multicore architectures, it makes sense to recover the body of knowledge there is in this area and re-engineer prior computational models to evaluate their performance on newer architectures. In this work, we focus on the implementation of splitting strategies for or-parallel Prolog execution on multicores and, for that, we develop a framework, on top of the YapOr system, that integrates and supports five alternative splitting strategies. Our implementation shares the underlying execution environment and most of the data structures used to implement or-parallelism in YapOr. In particular, we took advantage of YapOr's infrastructure for incremental copying and scheduling support, which we used with minimal modifications. We thus argue that all these common support features allow us to make a first and fair comparison between these five alternative splitting strategies and, therefore, better understand their advantages and weaknesses.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
