一种开发逻辑程序中AND并行性的静态编译方法
DOI:
作者:
作者单位:

作者简介:

通讯作者:

中图分类号:

基金项目:

此项研究得到霍英东教育基金委员会资助


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.

复制
分享
文章指标
  • 点击次数:
  • 下载次数:
  • HTML阅读次数:
  • 引用次数:
历史
  • 收稿日期:1988-10-18
  • 最后修改日期:
  • 录用日期:
  • 在线发布日期: 2017-08-18
  • 出版日期:
文章二维码