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

Design and Performance Evaluation of the Parallel Inference Machine RAP/LOP-WAM

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

In this paper,first the parallel executionmodel RAP/LOP of logic programsis introdu-ced briefly.It is based on the OR-forest de-scription and an extension of the WAM tosupport Restricted And-Parallelism and Limi-ted Or-Parallelism.Second the scheme isdiscussed emphatically,which maps the para-llel execution model and its correspondingabstract machine into a multiprocessor system.Finally the system performance is evaluatedby software simulation.