Automatic unrestricted independent and-parallelism in logic programs

Casas, Amadeo; Hermenegildo, Manuel V. y Carro Liñares, Manuel (2003). Automatic unrestricted independent and-parallelism in logic programs. Monografía (Informe Técnico). Facultad de Informática (UPM) [antigua denominación], Madrid, Spain.


Título: Automatic unrestricted independent and-parallelism in logic programs
  • Casas, Amadeo
  • Hermenegildo, Manuel V.
  • Carro Liñares, Manuel
Tipo de Documento: Monográfico (Informes, Documentos de trabajo, etc.) (Informe Técnico)
Fecha: Enero 2003
Palabras Clave Informales: Logic programming, Automatic parallelization, And-parallelism, Program transformation, Programación lógica, Paralelización automática, Transformación de programas.
Escuela: Facultad de Informática (UPM) [antigua denominación]
Departamento: Inteligencia Artificial
Licencias Creative Commons: Reconocimiento - Sin obra derivada - No comercial

Texto completo

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


We present new algorithms which perform automatic parallelization via source-to-source transformations. The objective is to exploit goal-level, unrestricted independent andparallelism. The proposed algorithms use as targets new parallel execution primitives which are simpler and more flexible than the well-known &/2 parallel operator, which makes it possible to generate better parallel expressions by exposing more potential parallelism among the literals of a clause than is possible with &/2. The main differences between the algorithms stem from whether the order of the solutions obtained is preserved or not, and on the use of determinacy information. We briefly describe the environment where the algorithms have been implemented and the runtime platform in which the parallelized programs are executed. We also report on an evaluation of an implementation of our approach. We compare the performance obtained to that of previous annotation algorithms and show that relevant improvements can be obtained.

Más información

ID de Registro: 14725
Identificador DC:
Identificador OAI:
URL Oficial:
Depositado por: Biblioteca Facultad de Informatica
Depositado el: 03 Abr 2013 07:09
Ultima Modificación: 21 Abr 2016 14:31
  • GEO_UP4
  • 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
  • InvestigaM
  • Observatorio I+D+i UPM
  • OpenCourseWare UPM