Or-parallel Prolog on a distributed memory architecture

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

Authors

Silva, F (Author) FCUP; Watson, P (Author) Other

Journal

Title: Journal of Logic Programming

Vol. 43

Pages: 173-186

ISSN: 0743-1066

Publisher: Elsevier B.V.

Indexing

ISI Web of Knowledge - 5 Citations

Scopus - 6 Citations

Scientific classification

FOS: Natural sciences > Computer and information sciences

Other information

Authenticus ID: P-001-06T

DOI: 10.1016/s0743-1066(99)00064-3

Abstract (EN): This paper discusses the design of Dorpp, an or-parallel Prolog system for distributed memory architectures, The problem of sharing the environment across a set of nodes that do not physically share memory is addressed in a novel manner by designing a Virtual Shared Memory (VSM) scheme to specifically meet the requirements of or-parallelism The aim is to avoid the overheads of a general VSM scheme that would provide a stricter level of memory coherence than is actually required, The paper identifies the requirements for memory coherence in or-parallel Prolog, and describes how they can be met cheaply, Simulation results are presented and analyzed in order to highlight key aspects of the system's run-time behavior.

Language: English

Type (Professor's evaluation): Scientific

No. of pages: 14