高耀清 作品数:11 被引量:5 H指数:1 供职机构: 清华大学信息科学技术学院计算机科学与技术系 更多>> 发文基金: 霍英东教育基金 国家自然科学基金 国家高技术研究发展计划 更多>> 相关领域: 自动化与计算机技术 更多>>
基于OR树林描述的RAP/LOP逻辑程序并行执行模型 1989年 本文简要分析了当前典型的逻辑程序并行执行模型,提出了一个新的并行执行模型RAP/LOP。它基于OR树林描述,采用动靜相结合方法开发与并行,或并行开发受限处理机个数,以支持逻辑程序的与和或并行性。 高耀清 胡守仁关键词:逻辑程序 并行执行模型 并行推理机RAP/LOP-WAM的方案设计和性能评价 1991年 本文首先简要介绍了逻辑程序并行执行模型RAP/LOP.它基于OR 树林描述,扩充WAM 支持限制与/或并行执行逻辑程序.然后重点论述了并行执行模型和它的抽象机映射到多处理机系统的方案,探讨用通用CPU 芯片和附加专用硬件构造并行推理机,最后通过软件模拟系统对系统体系结构进行评价. 高耀清 胡守仁关键词:程序设计 并行推理机 RAP 性能评价 全文增补中 适于多处理机的并行面向对象语言ParaObject 被引量:1 1993年 面向对象语言对于开发问题域中的并发/并行性显示出巨大的潜力。本文介绍我们设计的并行面向对家语言ParaObject。文中首先描述ParaObject模型,然后介绍ParaObject的关键语言结构,最后我们讨论了一些重要的实现技术。 李经纬 沈美明 王鼎兴 高耀清关键词:面向对象语言 多处理机 并行推理机RAP/LOP-PIM和它优化的并行编译器 给出了并行推理机PAP/LOP-PIM和它优化的并行编译器的设计和实现。首先,简要描述并行执行模型RAP/LOP。它的搜索空间采用OR树林描述。通过静态子句级和过程级的数据相关性分析,结合动态简单检测开发独立目标的与并行... 高耀清 胡军仁关键词:编译码器 推理机 并行推理机RAP/LOP-PIM及其优化并行编译器的设计与实现 1993年 本文重点论述并行推理机RAP/LOP-PIM及其优化并行编译器的设计与实现.首先,我们简要介绍并行执行模型RAP/LOP.然后给出基于RAP/LOP模型的并行抽象机和相应的体系结构.接着论述并行编译器的优化实现技术.最后通过模拟实验对系统性能进行了评估. 高耀清 胡守仁 王鼎兴关键词:并行编译器 并行推理机 并行推理机设计的主要论题 被引量:2 1989年 基于谓词逻辑的逻辑程序设计语言将逻辑推理对应计算,它丰富的表达能力特别适合于知识信息处理。Warren提出的编译技术大大提高了顺序执行Prolog的时空效率。但是,为了满足知识信息处理应用的要求,需要研究并行推理机以并行执行逻辑程序。本文论述了并行推理机设计中涉及到的一些问题,从逻辑语言,执行模型和体系结构等方面探讨了并行推理机中并行性开发方法和需考虑的问题。 高耀清 胡守仁关键词:并行推理机 逻辑程序 并行逻辑程序系统RAP/LOP-WAM中的并行调度策略和否定的并行实现 1990年 本文论述并行逻辑程序系统RAP/LOP-WAM中的并行调度策略和否定的实现。受限与/或并行执行逻辑程序模型RAP/LOP,采用改进的RAP技术开发与并行,即通过程序级和子句级的分析,动静相结合识别子句体中子目标间的数据相关性,开发独立目标的与并行,OR并行的开发受限于处理机个数,有效地控制了进程数和空间量的指数爆炸。RAP/LOP相应的抽象机称为RAP/LOP-WAM,它基于OR树林描述,扩展WAM支持受限与和或并行执行逻辑程序。本文这里首先描述RAP/LOP-WAM中的并行调度策略,分析评价了几种调度算法及它的实现方法。其次论述了否定的实现方法,最后提出了今后我们研究的方向。 高耀清 胡守仁关键词:并行调度 一种支持逻辑程序AND和OR并行执行的存贮管理方法 被引量:1 1989年 为了满足知识信息处理的要求,需要研究逻辑程序的并行处理技术,逻辑程序的并行性来源主要有AND和OR并行。而AND并行性的开发遇到变量约束冲突(即数据相关性)问题,OR并行的开发面临着存贮冲突问题(即多约束环境)。本文主要给出限制的AND/OR模型RAP/LOP-WAM(Restricted And-Parallelism and Limited or-Parallelism)中的存贮管理方法以解决OR并行的存贮冲突问题。 高耀清 王东 胡守仁关键词:逻辑程序 存贮管理 并行处理 一种新的用于分布共享存储系统的存储器一致性算法 被引量:1 1995年 SVM系统或称DSM系统是在基于分布存储器的多处理机上,实现物理上分布但逻辑上共享的存储系统.它集共享存储器易于编程和分布存储器可扩充性好于一体,为MPP计算机的使用带来了方便.本文首先介绍了SVM系统的数据一致性问题及其解决办法,然后提出了一种新的固定分布管理算法NFDMA,并对此算法作了分析,最后与李凯的固定分布管理算法作了比较. 邢浩 沈美明 高耀清关键词:存储器 共享存储器 面向对象语言Smalltalk-80的并行与分布实现技术的研究 被引量:1 1993年 本文首先简要介绍面向对象语言Smalltalk-80系统的顺序实现技术,然后重点论述它的并发、分布及并行实现技术。 高耀清 郑纬民 沈美明 王鼎兴关键词:面向对象程序设计