Conditional parallelization of nonStrict independence. Procedures and assessmen

Cabeza Gras, Daniel y Hermenegildo, Manuel V. (1995). Conditional parallelization of nonStrict independence. Procedures and assessmen. Monografía (Artículo de trabajo). Facultad de Informática (UPM) [antigua denominación], Madrid, Spain.

Descripción

Título: Conditional parallelization of nonStrict independence. Procedures and assessmen
Autor/es:
  • Cabeza Gras, Daniel
  • Hermenegildo, Manuel V.
Tipo de Documento: Monográfico (Informes, Documentos de trabajo, etc.) (Artículo de trabajo)
Fecha: Diciembre 1995
Materias:
Palabras Clave Informales: 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.
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 (645kB) | Vista Previa

Resumen

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.

Más información

ID de Registro: 15058
Identificador DC: http://oa.upm.es/15058/
Identificador OAI: oai:oa.upm.es:15058
URL Oficial: ftp://clip.dia.fi.upm.es/pub/papers/PARFORCE/final_review/DIRECTORY.html
Depositado por: Biblioteca Facultad de Informatica
Depositado el: 02 May 2013 07:11
Ultima Modificación: 21 Abr 2016 15:08
  • 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