论文部分内容阅读
文中给出了并行推理机PAP/LOP-PIM和它优化的并行编译器的设计和实现。首先,简要描述并行执行模型RAP/LOP。它的搜索空间采用OR树林描述。通过静态子句级和过程级的数据相关性分析,结合动态简单检测开发独立目标的与并行,或并行的开发受限于处理机个数。接着给出并行编译器的优化和实现技术。最后,给出了实验结果和结论。(本刊录)