A Language for Conveying the Aliasing Properties of Dynamic, Pointer-Based Data Structures (1994)
| Venue: | In Proceedings of the 8th International Parallel Processing Symposium |
| Citations: | 20 - 5 self |
BibTeX
@INPROCEEDINGS{Hummel94alanguage,
author = {Joseph Hummel and Laurie J. Hendren and Alexandru Nicolau and Ru Nicolau},
title = {A Language for Conveying the Aliasing Properties of Dynamic, Pointer-Based Data Structures},
booktitle = {In Proceedings of the 8th International Parallel Processing Symposium},
year = {1994},
pages = {26--29}
}
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
High-performance architectures rely upon powerful optimizing and parallelizing compilers to maximize performance. Such compilers need accurate program analysis to enable their performance-enhancing transformations. In the domain of program analysis for parallelization, pointer analysis is a difficult and increasingly common problem. When faced with dynamic, pointer-based data structures, existing solutions are either too limited in the types of data structures they can analyze, or require too much effort on the part of the programmer. In this paper we present a powerful description language for expressing the aliasing properties of dynamic data structures. Such descriptions provide the compiler with better information during alias analysis, and require only minimal effort from the programmer. Ultimately, this enables a more accurate program analysis, and an increased application of performance-enhancing transformations.
