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. En: "Third International Euro-Par Conference", August 26-29, 1997, Passau, Germany. ISBN 9783540634409.

Descripción

Título: Automatic parallelization of irregular and pointer-based computations: perspectives from logic and constraint programming
Autor/es:
  • Hermenegildo, Manuel V.
Tipo de Documento: Ponencia en Congreso o Jornada (Artículo)
Título del Evento: Third International Euro-Par Conference
Fechas del Evento: August 26-29, 1997
Lugar del Evento: Passau, Germany
Título del Libro: Euro-Par'97 Parallel Processing
Fecha: Agosto 1997
ISBN: 9783540634409
Volumen: 1300
Materias:
Palabras Clave Informales: 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.
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 (1MB) | Vista Previa

Resumen

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.

Más información

ID de Registro: 14555
Identificador DC: http://oa.upm.es/14555/
Identificador OAI: oai:oa.upm.es:14555
URL Oficial: http://link.springer.com/chapter/10.1007/BFb0002715
Depositado por: Biblioteca Facultad de Informatica
Depositado el: 26 Feb 2013 07:29
Ultima Modificación: 21 Abr 2016 14:16
  • 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