|
EPIA'03 - 11th Portuguese Conference on Artificial Intelligence
CLPS -- Workshop on Constraint and Logic Programming Systems
|
Session: December 6, 17:15-18:45, Room A |
Title: |
YapDss: an Or-Parallel Prolog System for Scalable Beowulf Clusters |
|
Ricardo Rocha and Fernando Silva and Rolando Martins |
Abstract: |
This paper discusses the design of YapDSS, an or-parallel Prolog
system for distributed memory parallel machines, such as the Beowulf
PC clusters. The system builds on the work of YapOr, an or-parallel
system for shared memory machines, and uses the distributed
stack-splitting binding model to represent computation state and work
sharing among the computational workers. A new variant scheme of stack
splitting, the diagonal splitting, is proposed and implemented. This
scheme includes efficient algorithms to balance work load among
computing workers, to determine the bottommost common node between two
workers, and to calculate exactly the work load of one worker. An
initial evaluation of the system shows that it is able to achieve very
good speedups on a Beowulf PC cluster. |
Back to schedule. |