Improving the efficiency of nondeterministic indepemndent and-parallel systems

Pontelli, Enrico and Gupta, Gopal and Tang, DongXing and Carro Liñares, Manuel and Hermenegildo, Manuel V. (1996). Improving the efficiency of nondeterministic indepemndent and-parallel systems. "The Computer Languages Journal", v. 22 (n. 2/3); pp. 115-142. ISSN 1477-8424. https://doi.org/10.1016/S0096-0551(96)00010-0.

Description

Title: Improving the efficiency of nondeterministic indepemndent and-parallel systems
Author/s:
  • Pontelli, Enrico
  • Gupta, Gopal
  • Tang, DongXing
  • Carro Liñares, Manuel
  • Hermenegildo, Manuel V.
Item Type: Article
Título de Revista/Publicación: The Computer Languages Journal
Date: July 1996
ISSN: 1477-8424
Volume: 22
Subjects:
Freetext Keywords: Independent and-parallelism, Or-parallelism, Implementation issues, Memory management, Performance evaluation, Logic programming, gestión de memoria, Evaluació de los resultados, Programación lógica.
Faculty: Facultad de Informática (UPM)
Department: Inteligencia Artificial
Creative Commons Licenses: Recognition - No derivative works - Non commercial

Full text

[img]
Preview
PDF - Requires a PDF viewer, such as GSview, Xpdf or Adobe Acrobat Reader
Download (2MB) | Preview

Abstract

We present the design and implementation of the and-parallel component of ACE. ACE is a computational model for the full Prolog language that simultaneously exploits both or-parallelism and independent and-parallelism. A high performance implementation of the ACE model has been realized and its performance reported in this paper. We discuss how some of the standard problems which appear when implementing and-parallel systems are solved in ACE. We then propose a number of optimizations aimed at reducing the overheads and the increased memory consumption which occur in such systems when using previously proposed solutions. Finally, we present results from an implementation of ACE which includes the optimizations proposed. The results show that ACE exploits and-parallelism with high efficiency and high speedups. Furthermore, they also show that the proposed optimizations, which are applicable to many other and-parallel systems, significantly decrease memory consumption and increase speedups and absolute performance both in forwards execution and during backtracking.

More information

Item ID: 14281
DC Identifier: http://oa.upm.es/14281/
OAI Identifier: oai:oa.upm.es:14281
DOI: 10.1016/S0096-0551(96)00010-0
Official URL: http://www.sciencedirect.com/science/article/pii/S0096055196000100
Deposited by: Biblioteca Facultad de Informatica
Deposited on: 15 Jan 2013 10:04
Last Modified: 21 Apr 2016 13:52
  • Logo InvestigaM (UPM)
  • Logo GEOUP4
  • Logo Open Access
  • Open Access
  • Logo Sherpa/Romeo
    Check whether the anglo-saxon journal in which you have published an article allows you to also publish it under open access.
  • Logo Dulcinea
    Check whether the spanish journal in which you have published an article allows you to also publish it under open access.
  • Logo de Recolecta
  • Logo del Observatorio I+D+i UPM
  • Logo de OpenCourseWare UPM