Or-parallel Prolog on a distributed memory architecture

• Tipo: Artigo em Revista Científica Internacional
• Data: 2000

Autores

Silva, F (Autor) FCUP; Watson, P (Autor) Outra

Revista

Título: Journal of Logic Programming

Vol. 43

Páginas: 173-186

ISSN: 0743-1066

Editora: Elsevier B.V.

Indexação

ISI Web of Knowledge - 5 Citações

Scopus - 6 Citações

Classificação Científica

FOS: Ciências exactas e naturais > Ciências da computação e da informação

Outras Informações

ID Authenticus: 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.

Idioma: Inglês

Tipo (Avaliação Docente): Científica

Nº de páginas: 14