一个支持副作用处理的受限AND/OR并行执行模型  

A RESTRICTED AND/OR PARALLEL EXECUTION MODEL SUPPORTING SIDE-EFFECT

作　　者：刘志宏[1] 胡守仁[1] 

机构地区：[1]国防科学技术大学计算机科学系,长沙410073

出　　处：《计算机学报》1993年第12期889-895,共7页Chinese Journal of Computers

摘　　要：本文将对开发AND/OR并行性时的副作用问题加以讨论,并给出一个支持副作用处理的并行执行模型S-RAP/LOP。在该模型中,我们在预编译时给子目标分类并加标记PVS,这些标记规定了相应子目标的执行条件,在动态运行中,我们使用多机分级同步控制方法管理子目标及子句的并行执行,本文还将对回溯及数据库的维护等问题加以讨论,我们希望以最小的时空代价及最小的并行度损失控制副作用。This article discusses mainly on how to control side effects when exploit the AND/OR parallelism and gives an execution model S-RAP/ LOP.Based on the description of OR-forest,S-RAP/LOP analyses the dependence by abstract interpretion,and combines the dynamic test to exploit restricted AND parallelism and OR parallelism.Problems about side effects such as backtracking,scheduling,data structure,and the maintenance of database,etc.,are also discussed.

关 键 词：数据库 并行处理 逻辑程序 

分 类 号：TP311.13[自动化与计算机技术—计算机软件与理论]