基于OR树林的逻辑程序并行执行模型——PSOF模型

本文提出了一种OR树林并行搜索模型——PSOF模型。在PSOF模型中,同一棵树中搜索的进程在逻辑上相互独立,无须通讯。子进程只是当搜索到叶节点时才向主进程发送结果,通讯频度很低。通过对多棵树以及一棵树的各分枝的并行搜索同时开发了逻辑程序的AND和OR两种基本并行性。本文还讨论了在PSOF模型下子目标的自动划分这一重要专题。