Effectiveness of combined sharing and freeness analysis using abstract interpretation

García de la Banda, M. and Hermenegildo, Manuel V. (1992). Effectiveness of combined sharing and freeness analysis using abstract interpretation. Monografía (Technical Report). Facultad de Informática (UPM), Madrid, Spain.

Description

Title: Effectiveness of combined sharing and freeness analysis using abstract interpretation
Author/s:
  • García de la Banda, M.
  • Hermenegildo, Manuel V.
Item Type: Monograph (Technical Report)
Date: January 1992
Subjects:
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

This paper presents improved unification algorithms, an implementation, and an analysis of the effectiveness of an abstract interpreter based on the sharing + freeness domain presented in a previous paper, which was designed to accurately and concisely represent combined freeness and sharing information for program variables. We first briefly review this domain and the unification algorithms previously proposed. We then improve these algorithms and correct them to deal with some cases which were not well analyzed previously, illustrating the improvement with an example. We then present the implementation of the improved algorithm and evaluate its performance by comparing the effectiveness of the information inferred to that of other interpreters available to us for an application (program parallelization) that is common to all these interpreters. All these systems have been embedded in a real parallelizing compiler. Effectiveness of the analysis is measured in terms of actual final performance of the system: i.e. in terms of the actual speedups obtained. The results show good performance for the combined domain in that it improves the accuracy of both types of information and also in that the analyzer using the combined domain is more effective in the application than any of the other analyzers it is compared to.

More information

Item ID: 15290
DC Identifier: http://oa.upm.es/15290/
OAI Identifier: oai:oa.upm.es:15290
Deposited by: Biblioteca Facultad de Informatica
Deposited on: 14 May 2013 05:16
Last Modified: 21 Apr 2016 15:20
  • 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