一种开发逻辑程序中AND并行性的静态编译方法

逻辑程序AND并行性的开发是逻辑程序并行执行研究中的一个重要课题。文中提出了一种开发逻辑程序中AND并行性的静态编译方法。该方法分成三个阶段:第一阶段,进入模式(entry mode) 的分析;第二阶段,退出模式(exit mode) 的生成;第三阶段,执行图表达式(execution graphexpression) 的确定。通过运行一些基准程序可知,与其它方法相比,该方法能在“生产者一消费者”原则(producer-consumer scheme) 下最大限度地开发AND并行性,且只需很小的动态开销。

A Compiling Approach for Exploiting AND-parallelism in Logic Programs

Exploiting AND-parallelism is important in the research of parallel execu- tion of logic programs. In this paper, a compiling approach for exploiting AND-parallelism in logic programming is presented. The approach consists of three phases:analysis of entry modes; derivation of exit modes; and determi- nation of execution graph expressions. Compared with other approaches, this approach, with the compile-time program-level data dependence analysis of logic programs, can efficiently exploit AND-parallelism in logic programs. Two precompilers, based on our approach and DeGroot's respectively have been implemented in SES-PIM system. Through compiling and running some typical benchmarks in SES-PIM, we conclude that our approach can exploit the maximum AND-parallelism under "producer-consumer" scheme, exactly the same degree as the dynamic approach once employed in SES-PIM, and needs significantly less dynamic overhead than DeGroot's while exploiting more AND -parellelism than DeGroot's.