YapDss: An Or-parallel prolog system for scalable Beowulf clusters

• Type: Article in International Scientific Journal
• Date: 2003

Authors

Rocha, R (Author) FCUP; Silva, F (Author) FCUP; Martins, R (Author) Other

Indexing

ISI Web of Knowledge - 4 Citations

Scopus - 6 Citations

Scientific classification

FOS: Natural sciences > Computer and information sciences

Other information

Authenticus ID: P-000-KGR

DOI: 10.1007/978-3-540-24580-3_21

Abstract (EN): 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.

Language: English

Type (Professor's evaluation): Scientific

No. of pages: 15