Conditional parallelization of nonStrict independence. Procedures and assessmen

Cabeza Gras, Daniel and Hermenegildo, Manuel V. (1995). Conditional parallelization of nonStrict independence. Procedures and assessmen. Monografía (Working Paper). Facultad de Informática (UPM), Madrid, Spain.

Description

Title: Conditional parallelization of nonStrict independence. Procedures and assessmen
Author/s:
  • Cabeza Gras, Daniel
  • Hermenegildo, Manuel V.
Item Type: Monograph (Working Paper)
Date: December 1995
Subjects:
Freetext Keywords: Parallel execution of logic programs, Compilation techniques, Generation of annotations for parallelism, Abstract interpretation, Non-strict independent and-parallelism, Ejecición paralela de programación lógica, Técnicas de recopilación, Generación de notas para paralelismos, Interpretación abstracta.
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 (645kB) | Preview

Abstract

This paper presents a conditional parallelization process for and-parallelism based on the notion of non-strict independence, a more relaxed notion than the traditional of strict independence. By using this notion, a parallelism annotator can extract more parallelism from programs. On the other hand, the intrinsic complexity of non-strict independence poses new challenges to this task. We report here on the implementation we have accomplished of an annotator for non-strict independence, capable of producing both static and dynamic execution graphs. This implementation, along with the also implemented independence checker and their integration in our system, have resulted what is, to the best of our knowledge, the first parallelizing compiler based on nonstrict independence which produces dynamic execution graphs. The paper also presents a preliminary assessment of the implemented tools, comparing them with the existing ones for strict independence, which shows encouraging results.

More information

Item ID: 15058
DC Identifier: http://oa.upm.es/15058/
OAI Identifier: oai:oa.upm.es:15058
Official URL: ftp://clip.dia.fi.upm.es/pub/papers/PARFORCE/final_review/DIRECTORY.html
Deposited by: Biblioteca Facultad de Informatica
Deposited on: 02 May 2013 07:11
Last Modified: 21 Apr 2016 15:08
  • 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