| 引用本文: | 黄志毅,胡守仁.一种开发逻辑程序中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[点击复制] |
|
| |
|
|
| 本文已被：浏览 4885次 下载 5340次 |
| 一种开发逻辑程序中AND并行性的静态编译方法 |
| 黄志毅, 胡守仁 |
|
(电子计算机系)
|
| 摘要: |
| 逻辑程序 AND 并行性的开发是逻辑程序并行执行研究中的一个重要课题。文中提出了一种开发逻辑程序中 AND 并行性的静态编译方法。该方法分成三个阶段: 第一阶段，进入模式 (entry mode) 的分析；第二阶段，退出模式 (exit mode) 的生成；第三阶段，执行图表达式(execution graph expression) 的确定。通过运行一些基准程序可知，与其它方法相比，该方法能在“生产者-消费者”原则(producer-consumer scheme)下最大限度地开发AND 并行性，且只需很小的动态开销。 |
| 关键词: 逻辑程序设计，编译，并行执行，与 (AND) 并行性，数据相关性，PROLOG |
| DOI： |
| 投稿日期：1988-10-18 |
| 基金项目:此项研究得到霍英东教育基金委员会资助 |
|
| A Compiling Approach for Exploiting AND-parallelism in Logic Programs |
| Huang Zhiyi, Hu Shouren |
|
(Department of Computer Science)
|
| 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. |
| Keywords: Logic, programming compiling,parallel execution,AND-paralle1ism,data-dependence,PROLOG |
|
|
