Lookup NU author(s): Professor Paul Watson
Full text for this publication is not currently held within this repository. Alternative links are provided below where available.
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.
Author(s): Silva F, Watson P
Publication type: Article
Publication status: Published
Journal: Journal of Logic Programming
ISSN (print): 0743-1066
ISSN (electronic): 1873-5940
Publisher: Elsevier BV
Altmetrics provided by Altmetric