并行推理机RAP／LOP-WAM的方案设计和性能评价

本文首先简要介绍了逻辑程序并行执行模型RAP/LOP，它基于OR树林描述，扩充WAM支持限制与/或并行执行逻辑程序，然后重点论述了并行执行模型和它的抽象机映射到多处理机系统的方案，探讨用通用CPU芯片和附加专用硬件构造并行推理机，最后通过软件模拟系统对系统体系结构进行评价。     

起跳、跨步、腾跃

作者赴日本新一代计算机技术研究所研究中心主任。在1988年第五代计算机系统国际会议(FGCS′88)上他作了这篇基调讲演。他把FGCS计划的进展描绘成三级跳远运动,介绍了日本第五代计划起跳和跨步阶段的研究成果,重点在于并行推理技术的进展。最后指出了完成一个国家级研究计划值得注意的一些问题,也谈到了腾跃阶段的目标实现和信心问题。     

并行推理机设计的主要论题

基于谓词逻辑的逻辑程序设计语言将逻辑推理对应计算,它丰富的表达能力特别适合于知识信息处理。Warren提出的编译技术大大提高了顺序执行Prolog的时空效率。但是,为了满足知识信息处理应用的要求,需要研究并行推理机以并行执行逻辑程序。本文论述了并行推理机设计中涉及到的一些问题,从逻辑语言,执行模型和体系结构等方面探讨了并行推理机中并行性开发方法和需考虑的问题。     

一种支持逻辑程序AND和OR并行执行的存贮管理方法

为了满足知识信息处理的要求,需要研究逻辑程序的并行处理技术,逻辑程序的并行性来源主要有AND和OR并行。而AND并行性的开发遇到变量约束冲突(即数据相关性)问题,OR并行的开发面临着存贮冲突问题(即多约束环境)。本文主要给出限制的AND/OR模型RAP/LOP-WAM(Restricted And-Parallelism and Limited or-Parallelism)中的存贮管理方法以解决OR并行的存贮冲突问题。     

DECnet数据链路层DDCMP协议在VAX机上实现剖析

本文剖析了DECnet数据链路层DDCMP协议在VAX11/780上的实现,以在异步接口上的实现为例,描述实现的方法。这为网络软件的开发提供了借鉴,为异种机联入DECnet打下了基础。     

面向对象语言Smalltalk-80的并行与分布实现技术的研究

本文首先简要介绍面向对象语言Smalltalk-80系统的顺序实现技术,然后重点论述它的并发、分布及并行实现技术。