A Compiling Approach for Exploiting AND-parallelism in Logic Programs
Author:
Affiliation:
Fund Project:
摘要
|
图/表
|
访问统计
|
参考文献
|
相似文献
|
引证文献
|
资源附件
|
文章评论
摘要:
逻辑程序 AND 并行性的开发是逻辑程序并行执行研究中的一个重要课题。文中提出了一种开发逻辑程序中 AND 并行性的静态编译方法。该方法分成三个阶段: 第一阶段,进入模式 (entry mode) 的分析;第二阶段,退出模式 (exit mode) 的生成;第三阶段,执行图表达式(execution graph expression) 的确定。通过运行一些基准程序可知,与其它方法相比,该方法能在“生产者-消费者”原则(producer-consumer scheme)下最大限度地开发AND 并行性,且只需很小的动态开销。
Abstract:
Exploiting AND-parallelism is important in the research of parallel execution 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 determination 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.
参考文献
相似文献
引证文献
引用本文
黄志毅,胡守仁.一种开发逻辑程序中AND并行性的静态编译方法[J].国防科技大学学报,1989,11(4):1-10. Huang Zhiyi, Hu Shouren. A Compiling Approach for Exploiting AND-parallelism in Logic Programs[J]. Journal of National University of Defense Technology,1989,11(4):1-10.