Non-determinate Dependent And-parallelism Revisited

We consider the problem of exploiting non-determin-istic dependent and-parallelism (DAP) from Prolog programs. The main issues that arise in designing a parallel Prolog system for exploiting DAP are discussed. Three criteria for eecient exploitation of DAP are also developed. These criteria are then used to evaluate and classify existing execution models proposed for exploiting DAP. These criteria also inspire new schemes for exploiting DAP that are arguably better than existing ones. Two such schemes for dependent and-parallelism, termed the Linked Model and the Filter Model are proposed. The Filter model has been incorporated in the ACE and-or parallel Pro-log system running on a Sequent Symmetry and Sun Sparc Multiprocessors. Performance results (on the Symmetry) from this implementation are also presented .

[1]  Doug DeGroot,et al.  Restricted AND-Parallelism , 1984, FGCS.

[2]  Manuel V. Hermenegildo,et al.  An abstract machine based execution model for computer architecture design and efficient implementation of logic programs in parallel , 1986 .

[3]  Michael J. Wise.  Prolog multiprocessors , 1986 .

[4]  Seif Haridi,et al.  OR-Parallel Prolog Made Efficient on Shared Memory Multiprocessors , 1987, SLP.

[5]  Ehud Shapiro,et al.  Concurrent PROLOG: Collected Papers , 1987 .

[6]  Hans Tebra.  Optimistic And-Parallelism in Prolog , 1987, PARLE.

[7]  Vipin Kumar,et al.  AND-Parallel Execution of Logic Programs on a Shared-Memory Multiprocessor , 1988, J. Log. Program..

[8]  Nikos Drakos.  Unrestricted And-Parallel Execution of Logic Programs with Dependency Directed Backtracking , 1989, IJCAI.

[9]  Manuel V. Hermenegildo,et al.  &-Prolog and its Performance: Exploiting Independent And-Parallelism , 1990, ICLP.

[10]  Serge Le Huitouze.  A New Data Structure for Implementing Extensions to Prolog , 1990, PLILP.

[11]  Rong Yang,et al.  Andorra I: a parallel Prolog system that transparently exploits both And-and or-parallelism , 1991, PPOPP '91.

[12]  Kish Shen.  Studies of and/or parallelism in Prolog , 1992 .

[13]  Christian Holzbaur.  Metastructures vs. Attributed Variables in the Context of Extensible Uniication | Applied for the Implementation of Clp Languages , 1992 .

[14]  Gopal Gupta,et al.  A systematic approach to exploiting implicit parallelism in Prolog , 1993, [1993] Proceedings of the Twenty-sixth Hawaii International Conference on System Sciences.

[15]  Saumya K. Debray,et al.  Cost analysis of logic programs , 1993, TOPL.

[16]  Gopal Gupta,et al.  Analysis of Or-parallel execution models , 1993, TOPL.

[17]  Manuel V. Hermenegildo,et al.  Using Attributed Variables in the Implementation of Parallel and Concurrent Logic Programming Systems , 1994, Workshop on Design and Impl. of Parallel Logic Programming Systems.

[18]  Kish Shen.  Improving the Execution of Dependent And-Parallel Prolog DDAS , 1994, PARLE.

[19]  Enrico Pontelli,et al.  ACE: And/Or-parallel Copying-based Execution of Logic Programs , 1994, ICLP.

[20]  Enrico Pontelli,et al.  &ACE: a high-performance parallel Prolog system , 1995, IPPS.