Program Parallelization using Synchronized Pipelining

Scandolo, Leonardo; Kunz, Cesar y Hermenegildo, Manuel V. (2010). Program Parallelization using Synchronized Pipelining. En: "19th International Symposium on Logic-based Program Synthesis and Transformation, LOPSTR 2009", 09/09/2009 - 11/09/2009, Coimbra, Portugal. ISBN 978-3-642-12591-1.

Descripción

Título: Program Parallelization using Synchronized Pipelining
Autor/es:
  • Scandolo, Leonardo
  • Kunz, Cesar
  • Hermenegildo, Manuel V.
Tipo de Documento: Ponencia en Congreso o Jornada (Artículo)
Título del Evento: 19th International Symposium on Logic-based Program Synthesis and Transformation, LOPSTR 2009
Fechas del Evento: 09/09/2009 - 11/09/2009
Lugar del Evento: Coimbra, Portugal
Título del Libro: Proceedings of 19th International Symposium on Logic-based Program Synthesis and Transformation, LOPSTR 2009
Fecha: 2010
ISBN: 978-3-642-12591-1
Volumen: 6037
Materias:
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 (704kB) | Vista Previa

Resumen

While there are well-understood methods for detecting loops whose iterations are independent and parallelizing them, there are comparatively fewer proposals that support parallel execution of a sequence of loops or nested loops in the case where such loops have dependencies among them. This paper introduces a refined notion of independence, called eventual independence, that in its simplest form considers two loops, say loop1 and loop2, and captures the idea that for every i there exists k such that the i + 1-th iteration of loop2 is independent from the j-th iteration of loop1, for all j ≥ k. Eventual independence provides the foundation of a semantics-preserving program transformation, called synchronized pipelining, that makes execution of consecutive or nested loops parallel, relying on a minimal number of synchronization events to ensure semantics preservation. The practical benefits of synchronized pipelining are demonstrated through experimental results on common algorithms such as sorting and Fourier transforms

Más información

ID de Registro: 5737
Identificador DC: http://oa.upm.es/5737/
Identificador OAI: oai:oa.upm.es:5737
URL Oficial: http://www.springerlink.com/content/x6r3549151421144/
Depositado por: Memoria Investigacion
Depositado el: 19 Ene 2011 10:48
Ultima Modificación: 20 Abr 2016 14:28
  • 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