顺序PROLOG机存储组织研究

YH-SIM是一种正在研制中的顺序PROLOG机。本文介绍该机存储组织的设计考虑。根据PROLOG过程执行的具体特点,文中提出了一种多专用Cache的存储子系统结构,旨在支持深度优先加回溯的顺序PROLOG求解机制。即按照不同的访问方式,设立常规Cache和栈式Cache,分别支持存储空间中的随机访问区域和栈式访问区域。作为一个典型的子部分,文中详细讨论了选择点Cache的控制和调度策略。

A Study on the Memory Organization for a Sequential PROLOG Machine

In this paper presented is a new multi-Cache scheme about the memory organization of a sequential PROLOG machine. Based on the memory access modes, each memory area for different usage and with different access mode is supported with a separate cache using an associated control policy, in order to overcome the access bottleneck problem incurred in the execution of PROLOG programs. As a typical component, the cache for Choice Point stack is investi- gated in details with respect to the control and schedule policies.