DMCA
D.: Applying loop optimizations to object-oriented abstractions through general classification of array semantics
| Venue: | In: The 17th International Workshop on Languages and Compilers for Parallel Computing (LCPC). (2004 |
| Citations: | 15 - 7 self |
BibTeX
@INPROCEEDINGS{Yi_d.:applying,
author = {Qing Yi and Dan Quinlan},
title = {D.: Applying loop optimizations to object-oriented abstractions through general classification of array semantics},
booktitle = {In: The 17th International Workshop on Languages and Compilers for Parallel Computing (LCPC). (2004},
year = {}
}
Share
 |
 |
 |
 |
||
OpenURL
Abstract
Abstract. Optimizing compilers have a long history of applying loop transformations to C and Fortran scientific applications. However, such optimizations are rare in compilers for object-oriented languages such as C++ or Java, where loops operating on user-defined types are left unoptimized due to their unknown semantics. Our goal is to reduce the performance penalty of using high-level object-oriented abstractions. We propose an approach that allows the explicit communication between programmers and compilers. We have extended the traditional Fortran loop optimizations with an open interface. Through this interface, we have developed techniques to automatically recognize and optimize user-defined array abstractions. In addition, we have developed an adapted constant-propagation algorithm to automatically propagate properties of abstractions. We have implemented these techniques in a C++ source-to-source translator and have applied them to optimize several kernels written using an array-class library. Our experimental results show that using our approach, applications using high-level abstractions can achieve comparable, and in cases superior, performance to that achieved by effi-cient low-level hand-written codes. 1
Keyphrases
object-oriented abstraction array semantics general classification loop optimization fortran scientific application effi-cient low-level hand-written code array-class library user-defined type object-oriented language high-level abstraction long history unknown semantics high-level object-oriented abstraction source-to-source translator adapted constant-propagation algorithm traditional fortran loop optimization several kernel open interface user-defined array abstraction loop transformation performance penalty experimental result explicit communication
