Computer Science – Distributed – Parallel – and Cluster Computing
Scientific paper
2006-07-09
Computer Science
Distributed, Parallel, and Cluster Computing
63 pages, 32 figures, 5 tabels. Theory and Practice of Logic Programming (to appear)
Scientific paper
This paper describes the development of the PALS system, an implementation of Prolog capable of efficiently exploiting or-parallelism on distributed-memory platforms--specifically Beowulf clusters. PALS makes use of a novel technique, called incremental stack-splitting. The technique proposed builds on the stack-splitting approach, previously described by the authors and experimentally validated on shared-memory systems, which in turn is an evolution of the stack-copying method used in a variety of parallel logic and constraint systems--e.g., MUSE, YAP, and Penny. The PALS system is the first distributed or-parallel implementation of Prolog based on the stack-splitting method ever realized. The results presented confirm the superiority of this method as a simple yet effective technique to transition from shared-memory to distributed-memory systems. PALS extends stack-splitting by combining it with incremental copying; the paper provides a description of the implementation of PALS, including details of how distributed scheduling is handled. We also investigate methodologies to effectively support order-sensitive predicates (e.g., side-effects) in the context of the stack-splitting scheme. Experimental results obtained from running PALS on both Shared Memory and Beowulf systems are presented and analyzed.
Guo Hai-Feng
Gupta Gopal
Pontelli Enrico
Villaverde Karen
No associations
LandOfFree
PALS: Efficient Or-Parallelism on Beowulf Clusters does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.
If you have personal experience with PALS: Efficient Or-Parallelism on Beowulf Clusters, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and PALS: Efficient Or-Parallelism on Beowulf Clusters will most certainly appreciate the feedback.
Profile ID: LFWR-SCP-O-79892