Novel models for or-parallel logic programs: A performance analysis

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

Autores

Costa, VS (Autor) FCUP; Rocha, R (Autor) FCUP; Silva, F (Autor) FCUP

Revista

A Revista está pendente de validação pelos Serviços Administrativos.

Título: EURO-PAR 2000 PARALLEL PROCESSING, PROCEEDINGS

Vol. 39

Páginas: 744-753

Indexação

ISI Web of Knowledge - 2 Citações

Scopus - 3 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-1EE

DOI: 10.1007/3-540-44520-X_102

Abstract (EN): One of the advantages of logic programming is the fact that it offers many sources of implicit parallelism, such as and-parallelism and or-parallelism. Arguably, or-parallel systems, such as Aurora and Muse, have been the most successful parallel logic programming systems so far. Or-parallel systems rely on techniques such as Environment Copying to address the problem that branches being explored in parallel may need to assign different bindings for the same shared variable. Recent research has led to two new binding representation approaches that also support independent and-parallelism: the Sparse Binding Array and the Copy-On-Write binding models. In this paper, we investigate whether these newer models are practical alternatives to copying for or-parallelism. We based our work on YapOr, an or-parallel copying system using the YAP Prolog engine, so that the three alternative systems share schedulers and the underlying engine.

Idioma: Inglês

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

Nº de páginas: 10