Effectiveness of global analysis in strict independence-based automatic program parallelization

Bueno Carrillo, Francisco and García de la Banda, M. and Hermenegildo, Manuel V. (1994). Effectiveness of global analysis in strict independence-based automatic program parallelization. In: "1994 International Symposium on Logic programming", November 13-17, 1994, Ithaca, New York. ISBN 0262521911.

Description

Title: Effectiveness of global analysis in strict independence-based automatic program parallelization
Author/s:
  • Bueno Carrillo, Francisco
  • García de la Banda, M.
  • Hermenegildo, Manuel V.
Item Type: Presentation at Congress or Conference (Article)
Event Title: 1994 International Symposium on Logic programming
Event Dates: November 13-17, 1994
Event Location: Ithaca, New York
Title of Book: ILPS '94 Proceedings of the 1994 International Symposium on Logic programming
Date: 1994
ISBN: 0262521911
Subjects:
Faculty: Facultad de Informática (UPM)
Department: Inteligencia Artificial
Creative Commons Licenses: Recognition - No derivative works - Non commercial

Full text

[thumbnail of HERME_ARC_1994-1.pdf]
Preview
PDF - Requires a PDF viewer, such as GSview, Xpdf or Adobe Acrobat Reader
Download (1MB) | Preview

Abstract

This paper presents a study of the effectiveness of global analysis in the parallelization of logic programs using strict independence. A number of well-known approximation domains are selected and tlieir usefulness for the application in hand is explained. Also, methods for using the information provided by such domains to improve parallelization are proposed. Local and global analyses are built using these domains and such analyses are embedded in a complete parallelizing compiler. Then, the performance of the domains (and the system in general) is assessed for this application through a number of experiments. We argüe that the results offer significant insight into the characteristics of these domains, the demands of the application, and the tradeoffs involved.

More information

Item ID: 14428
DC Identifier: https://oa.upm.es/14428/
OAI Identifier: oai:oa.upm.es:14428
Deposited by: Biblioteca Facultad de Informatica
Deposited on: 08 Feb 2013 09:22
Last Modified: 27 Feb 2023 12:13
  • 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