Abstract machine LORAP II and experiments in process grain size determination for parallel execution of logic programs

The authors propose a distributed multiprocessor execution model, LORAP II, for parallel execution of logic programs. Each processor in the abstract machine is capable of supporting processes of variable grain sizes and is designed to be competitive with existing sequential implementations for deterministic cases. The authors present a set of experiments that establish the requirement for determining appropriate process grain sizes for effective parallel processing. Some heuristics are presented for compile time grain size determination. Some results from experiments using heuristics are presented that indicate a significant improvement in performance over a similar model (LORAP) supporting fine grain processes