一个支持非独立“与”并行的逻辑程序“与”并行执行模型

A Dependent And-Parallel Execution Model for Logic Programs

摘要: 本文提出了一种支持非独立“与”并行的新型“与”并行执行模型DAPM,它通过在共享变元之间建立一种类似生产者和消费者的同步依赖关系以防止它们在并行执行时产生的约束冲突。与其它模型相比,DAPM 可以开发更多的“与”并行。本文还从理论上对DAPM 的运行代价进行了分析,其分析结果表明DAPM 只需较小的运行时刻支持。

Abstract: This paper presents a new and-parallel execution model （DAPM） for logic programs.which can support dependent and-parallel execution.The method used is to build a synchronization mechanism among shared variables so that the binding conflict can be avoided in the parallel execution.Compared with other and parallel models,DAPM can expioit more and-parallelism.The theoretic analysis shows that DAPM only needs very little run time support.