逻辑程序并行执行模型的模拟实验研究

本文介绍以SES-PIM系统为工具,对三种不同的逻辑程序执行模型进行对此模拟实验研究的结果。实验表明:PSOF模型能有效地开发确定性和非确定性逻辑程序的AND和OR两种并行性;PSOT模型却只能开发逻辑程序中的OR并行性;而SSOT模型不能开发逻辑程序中的并行性。对于本文使用的五个典型问题,PSOF模型的平均并行度是PSOT模型的3至6倍,是SSOT模型的3至19倍;PSOF模型的搜索速度是PSOT模型的2至6倍,是SSOT模型的3至13倍。