Towards Compiler Optimization of Codes Based on Arrays of Pointers

To successfully exploit all the possibilities of current computer/multicomputer architectures, optimization compiling techniques are a must. However, for codes based on pointers and dynamic data structures these optimization techniques have to be necessarily carried out after identifying the charact...

Full description

Saved in:
Bibliographic Details
Published inLanguages and Compilers for Parallel Computing pp. 142 - 156
Main Authors Corbera, F., Asenjo, R., Zapata, E. L.
Format Book Chapter Conference Proceeding
LanguageEnglish
Published Berlin, Heidelberg Springer Berlin Heidelberg 2005
Springer
SeriesLecture Notes in Computer Science
Subjects
Applied sciences
Computer science; control theory; systems
Exact sciences and technology
Programming languages
Software
High performance
Compilation
Procedure call
Program optimization
Multigraph
Pointer
Program structure
Distributed computing
Programming language
Computer architecture
Compiler optimization
Dynamic programming
Data structure
Online AccessGet full text

Cover

More Information
Summary:To successfully exploit all the possibilities of current computer/multicomputer architectures, optimization compiling techniques are a must. However, for codes based on pointers and dynamic data structures these optimization techniques have to be necessarily carried out after identifying the characteristics and properties of the data structure used in the code. In this paper we present one method able to automatically identify complex dynamic data structures used in a code even in the presence of arrays of pointers. This method has been implemented in an analyzer which symbolically executes the input code to generate a set of graphs, called RSRSG (Reduced Set of Reference Shape Graphs), for each statement. Each RSRSG accurately describes the data structure configuration at each program point. In order to deal with arrays of pointers we have introduced two main concepts: the multireference class, and instances. Our analyzer has been validated with several codes based on complex data structures containing arrays of pointers which were successfully identified.
ISBN:3540307818
9783540307815
ISSN:0302-9743
1611-3349
DOI:10.1007/11596110_10