Automatic unrestricted independent and-parallelism in logic programs

Casas, Amadeo and Hermenegildo, Manuel V. and Carro Liñares, Manuel (2003). Automatic unrestricted independent and-parallelism in logic programs. Monografía (Technical Report). Facultad de Informática (UPM), Madrid, Spain.

Description

Title: Automatic unrestricted independent and-parallelism in logic programs
Author/s:
  • Casas, Amadeo
  • Hermenegildo, Manuel V.
  • Carro Liñares, Manuel
Item Type: Monograph (Technical Report)
Date: January 2003
Subjects:
Freetext Keywords: Logic programming, Automatic parallelization, And-parallelism, Program transformation, Programación lógica, Paralelización automática, Transformación de programas.
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 (1MB) | Preview

Abstract

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.

More information

Item ID: 14725
DC Identifier: http://oa.upm.es/14725/
OAI Identifier: oai:oa.upm.es:14725
Official URL: http://clip.dia.fi.upm.es/papers/unrestricted-iap-tr.pdf
Deposited by: Biblioteca Facultad de Informatica
Deposited on: 03 Apr 2013 07:09
Last Modified: 21 Apr 2016 14:31
  • 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