并行逻辑程序设计语言GHC的实现
DOI:
作者:
作者单位:

作者简介:

通讯作者:

中图分类号:

基金项目:

霍英东教育基金委员会资助


IMPLEMENTATION OF THE PARALLEL LOGIC PROGRAMMING LANGUAGE GHC
Author:
Affiliation:

Fund Project:

  • 摘要
  • |
  • 图/表
  • |
  • 访问统计
  • |
  • 参考文献
  • |
  • 相似文献
  • |
  • 引证文献
  • |
  • 资源附件
  • |
  • 文章评论
    摘要:

    本文设计了一个GHC的并行抽象推理机,对该推理机的进程管理、环境管理、挂起机制、托付机制等一系列课题进行了探讨和研究,并提出了相应的策略和算法。本文提出了一种新的挂起机制实现方法。该方法在保持环境访问效率的前提下,具有较小的系统开销,为GHC的高效实现提供了可能。

    Abstract:

    In this paper, we disigned an abstract parallel inference machine for GHC. We approached and studied a series of subjects about the inference machine, say, process management, environment management, suspending mechanism, committing mechanism, ect., and proposed the corresponding strategy or algorithm. This paper presented a new implementation method for the suspending mechanism. Under the premise of maintaining the efficiency of environment access, the method needs less system overhead and provides the possibility of efficiently implementing GHC.

    参考文献
    相似文献
    引证文献
引用本文

王平,胡守仁.并行逻辑程序设计语言GHC的实现.软件学报,1991,2(1):52-63

复制
分享
文章指标
  • 点击次数:
  • 下载次数:
  • HTML阅读次数:
  • 引用次数:
历史
  • 收稿日期:1989-09-08
  • 最后修改日期:1989-11-28
  • 录用日期:
  • 在线发布日期:
  • 出版日期:
您是第位访问者
版权所有:中国科学院软件研究所 京ICP备05046678号-3
地址:北京市海淀区中关村南四街4号,邮政编码:100190
电话:010-62562563 传真:010-62562533 Email:jos@iscas.ac.cn
技术支持:北京勤云科技发展有限公司

京公网安备 11040202500063号