逻辑程序中AND并行性的开发

摘要

cqvip:逻辑程序执行过程中存在的并行性主要有两种:AND并行性和OR并行性。本文论述了AND并行性开发的主要问题——共享变量问题以及解放该问题的几种途径。文中提出用一个三元组来描述AND并行模型的主要特征,并在此基础上对AND/OR模型的AND并行部分以及RAP、SDD、智能通道等几个比较典型的AND并行执行模型进行了分析和比较。