Improving the efficiency of nondeterministic indepemndent and-parallel systems

Pontelli, Enrico; Gupta, Gopal; Tang, DongXing; Carro Liñares, Manuel y 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.

Descripción

Título: Improving the efficiency of nondeterministic indepemndent and-parallel systems
Autor/es:
  • Pontelli, Enrico
  • Gupta, Gopal
  • Tang, DongXing
  • Carro Liñares, Manuel
  • Hermenegildo, Manuel V.
Tipo de Documento: Artículo
Título de Revista/Publicación: The Computer Languages Journal
Fecha: Julio 1996
Volumen: 22
Materias:
Palabras Clave Informales: 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.
Escuela: Facultad de Informática (UPM) [antigua denominación]
Departamento: Inteligencia Artificial
Licencias Creative Commons: Reconocimiento - Sin obra derivada - No comercial

Texto completo

[img]
Vista Previa
PDF (Document Portable Format) - Se necesita un visor de ficheros PDF, como GSview, Xpdf o Adobe Acrobat Reader
Descargar (2MB) | Vista Previa

Resumen

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.

Más información

ID de Registro: 14281
Identificador DC: http://oa.upm.es/14281/
Identificador OAI: oai:oa.upm.es:14281
Identificador DOI: 10.1016/S0096-0551(96)00010-0
URL Oficial: http://www.sciencedirect.com/science/article/pii/S0096055196000100
Depositado por: Biblioteca Facultad de Informatica
Depositado el: 15 Ene 2013 10:04
Ultima Modificación: 21 Abr 2016 13:52
  • Open Access
  • Open Access
  • Sherpa-Romeo
    Compruebe si la revista anglosajona en la que ha publicado un artículo permite también su publicación en abierto.
  • Dulcinea
    Compruebe si la revista española en la que ha publicado un artículo permite también su publicación en abierto.
  • Recolecta
  • e-ciencia
  • Observatorio I+D+i UPM
  • OpenCourseWare UPM