Abstract:
This paper presents a mathematical framework to exploit the semantic properties of matrix operations in loop-based numerical codes. The heart of this framework is an algebraic language called the Abstract Matrix Form which a compiler can use to reason about matrix computations in terms of loop nests, high-level matrix operations, and intermediate forms. We demonstrate how this framework may be used to detect and exploit matrix products in loop-based languages such as FORTRAN and MATLAB, and discuss the resulting performance bene ts. 1
Citations
|
549
|
High-Performance Compilers for Parallel Computing
– Wolfe
|
|
296
|
Advanced compiler optimizations for supercomputers
– Padua, Wolfe
- 1986
|
|
293
|
Automatic Translation of FORTRAN Programs to Vector Form
– Allen, Kennedy
- 1987
|
|
116
|
Parallel Programming and Compilers
– Polychronopoulos
- 1988
|
|
111
|
Iteration space tiling for memory hierarchies
– Wolfe
- 1987
|
|
101
|
Symbolic Analysis for Parallelizing Compilers
– Haghighat, Polychronopoulos
- 1996
|
|
88
|
Tiling multidimensional iteration spaces for multicomputers
– Ramanujam, Sadayappan
- 1992
|
|
61
|
Matrix Computations, Johns Hopkins
– Golub, Loan
- 1989
|
|
29
|
The structure of an advanced vectorizer for pipelined processors
– KUCK, KUHN, et al.
- 1980
|
|
27
|
FALCON: A MATLAB Interactive Restructuring Compiler
– DeRose, Gallivan, et al.
- 1995
|
|
17
|
A Case for Source-Level Transformations in MATLAB
– Menon, Pingali
- 1999
|
|
10
|
MATCOM: A MATLAB to C++ Translator and Support Libraries
– Keren
- 1995
|
|
6
|
Gentran: An automatic code generation facility for REDUCE
– Gates
- 1985
|
|
6
|
Some theorems about matrix multiplication
– Hu, T
- 1980
|
|
3
|
A MATLAB to Fortran 90 translator and its e ectiveness
– DeRose, Padua
- 1996
|
|
3
|
On the use of algebraic and structural information in a library prototyping and development environment
– Gallivan, Marsolf, et al.
- 1997
|
|
2
|
An HPF compiler for the IBM SP-2
– Schoenberg, Seshadri, et al.
- 1995
|
|
1
|
Maple programs for generating e cient FORTRAN code for serial and vectorised machines
– Gomez, Scott
- 1998
|
|
1
|
c Sierra Research Corporation. VAST-2 for XL Fortran. http://www.psrv.com/vast/vast xlf.html
– Paci
|
