Automatic parallelization of irregular and pointer-based computations: perspectives from logic and constraint programming

Hermenegildo, Manuel V. (1997). Automatic parallelization of irregular and pointer-based computations: perspectives from logic and constraint programming. In: "Third International Euro-Par Conference", August 26-29, 1997, Passau, Germany. ISBN 9783540634409.

Description

Title: Automatic parallelization of irregular and pointer-based computations: perspectives from logic and constraint programming
Author/s:
  • Hermenegildo, Manuel V.
Item Type: Presentation at Congress or Conference (Article)
Event Title: Third International Euro-Par Conference
Event Dates: August 26-29, 1997
Event Location: Passau, Germany
Title of Book: Euro-Par'97 Parallel Processing
Date: August 1997
ISBN: 9783540634409
Volume: 1300
Subjects:
Freetext Keywords: Automatic parallelization, Irregular computations, Speculation, Pointer aliasing analysis, Task granularity Control, Global analysis, Abstract interpretation, paralelización automática, cálculos irregulares, Especulación, Control de la tasa de granularidad, Análisis global, Interpretación de resúmenes.
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

Irregular computations pose some of the most interesting and challenging problems in automatic parallelization. Irregularity appears in certain kinds of numerical problems and is pervasive in symbolic applications. Such computations often use dynamic data structures which make heavy use of pointers. This complicates all the steps of a parallelizing compiler, from independence detection to task partitioning and placement. In the past decade there has been significant progress in the development of parallelizing compilers for logic programming and, more recently, constraint programming. The typical applications of these paradigms frequently involve irregular computations, which arguably makes the techniques used in these compilers potentially interesting. In this paper we introduce in a tutorial way some of the problems faced by parallelizing compilers for logic and constraint programs. These include the need for inter-procedural pointer aliasing analysis for independence detection and having to manage speculative and irregular computations through task granularity control and dynamic task allocation. We also provide pointers to some of the progress made in these áreas. In the associated talk we demónstrate representatives of several generations of these parallelizing compilers.

More information

Item ID: 14555
DC Identifier: http://oa.upm.es/14555/
OAI Identifier: oai:oa.upm.es:14555
Official URL: http://link.springer.com/chapter/10.1007/BFb0002715
Deposited by: Biblioteca Facultad de Informatica
Deposited on: 26 Feb 2013 07:29
Last Modified: 21 Apr 2016 14:16
  • 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