COMPILER TECHNIQUES FOR MATLAB PROGRAMS ... - CiteSeerX

More documents

Recommendations

Info

SGI, and Carlos Velez for writing the inliner and the untripletizer. I would also like to thank Alan Durham and Henry Neeman for all those long discussions in our qual study group, and all my other fellow graduate students and ocemates for their friendship, help, and support during all my years as a graduate student. Iamvery thankful to David and Ruth Krehbiel for all the family support that they provided us. This support was very important formeandmy family. Also, thanks to all our friend from CERL and TCBC. They helped my wife and myself to feel at home here in Urbana-Champaign. Thanks to my parents and to my wife's parents for their continuous support during all these years in graduate school, and most important, I would like to express my deepest gratitude to four special people in my life, my wife Jane, and my children Pedro, Lgia, and Luiza. My wife for understanding me and giving me encouragement and support, especially during the dicult times, and my children for adding joy and happiness to my life. Thanks to the National Center for Supercomputing Applications for providing some of the computational environment. Initially my doctoral studies were supported by the Brazilian National Council of Research and Development (CNPq). This work was supported in part by the CSRD Aliates under grant from the U.S. National Security Agency, andby Army contract DABT63-92-C-0033. This work is not necessarily representative of the positions or policies of the Army or the Government. vi
Contents Chapter 1 INTRODUCTION :::::::::::::::::::::::::::::::::::::::::::::::::::::::::::: 1 1.1 High-Level Approach forSoftware Development for Scientic Computation : 2 1.2 Issues on the Utilization of Interactive Array Languages : : : : : : : : : : : : 2 1.3 Compiling MATLAB : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : 4 1.4 Problem Overview and Thesis Outline : : : : : : : : : : : : : : : : : : : : : 4 2 RELATED WORK :::::::::::::::::::::::::::::::::::::::::::::::::::::::::::: 7 2.1 Relevant Type Inference Approaches : : : : : : : : : : : : : : : : : : : : : : 8 2.2 Compilation of APL : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : 9 2.3 Compilation of MATLAB and MATLAB-like Languages : : : : : : : : : : : 10 3 OVERALL STRATEGY :::::::::::::::::::::::::::::::::::::::::::::::::::::: 12 3.1 Restrictions to the MATLAB Language : : : : : : : : : : : : : : : : : : : : : 12 3.2 Phases of the MATLAB Compiler : : : : : : : : : : : : : : : : : : : : : : : : 13 3.2.1 Structure of a MATLAB Program : : : : : : : : : : : : : : : : : : : : 13 3.2.2 Scanner, Parser, and the Symbol Table Generation : : : : : : : : : : 15 3.2.3 Inlining of M-les : : : : : : : : : : : : : : : : : : : : : : : : : : : : : 16 3.2.4 The Intermediate Representation : : : : : : : : : : : : : : : : : : : : 17 3.2.5 Static Analysis : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : 20 3.2.6 Dynamic Phase : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : 24 vii
Page 1 and 2: COMPILER TECHNIQUES FOR MATLAB PROG
Page 3 and 4: COMPILER TECHNIQUES FOR MATLAB PROG
Page 5: Acknowledgments Iamindebtedwiththem
Page 9 and 10: 7 EXPERIMENTAL RESULTS ::::::::::::
Page 11 and 12: List of Figures 3.1 Phases of the M
Page 13 and 14: 7.7 CG speedups on the SGI Power Ch
Page 15 and 16: 1.1 High-Level Approach for Softwar
Page 17 and 18: executing their compiled versions.
Page 19 and 20: structure: (e.g., upper triangular,
Page 21 and 22: integer. The reason for this is tha
Page 23 and 24: the high-level semantics of the APL
Page 25 and 26: Chapter 3 OVERALL STRATEGY 3.1 Rest
Page 27 and 28: Matlab Program lexical analyzer syn
Page 29 and 30: according to the grammar rules, pro
Page 31 and 32: S1: load %(V) S1: load %(V 1 ) S2:
Page 33 and 34: epresenting variable V 1 will conta
Page 35 and 36: Structural Inference One of the gre
Page 37 and 38: eciprocal estimator, which requires
Page 39 and 40: if (A T .eq. T COMPLEX) then if (B
Page 41 and 42: S1: temp = 1 S2: X = function(temp)
Page 43 and 44: if (a D1 .eq. 1) then if (a D2 .eq.
Page 45 and 46: Chapter 4 INTERNAL REPRESENTATION 4
Page 47 and 48: Algorithm: Dierentiation Between Va
Page 49 and 50: entry list variable’s instances V
Page 51 and 52: S0: load %(n) S0: load %(n 1 ) P1:
Page 53 and 54: Chapter 5 THE STATIC INFERENCE MECH
Page 55 and 56: Type of rst Type of second paramete
Page 57 and 58:
Unknown Real Complex Integer Logica
Page 59 and 60:
A = zeros(5,1) for ... ... A(1:5) =
Page 61 and 62:
Assignment to a constant: Attribute
Page 63 and 64:
A B B A scalar vector(p,1) vector(
Page 65 and 66:
Unknown . . . κ i κ j κ l κ m N
Page 67 and 68:
S1: B = rand(2) B 1 = rand(2) S2: A
Page 69 and 70:
[L, U, P] = lu(A) y = Ln (P b) x =
Page 71 and 72:
MATLAB, and x would be computed in
Page 73 and 74:
if (a D1 .eq. 1) then if (c D1 .ne.
Page 75 and 76:
S1: A = ones(5) S2: B = function(A)
Page 77 and 78:
6.2 Dynamic Shape Inference The use
Page 79 and 80:
if (k .gt. P D1 .or. k .gt. P D2) t
Page 81 and 82:
A pointer (P s) to an AST node corr
Page 83 and 84:
x 1 will be already pointing to m 1
Page 85 and 86:
P nr also set to m 1 . Therefore, P
Page 87 and 88:
ALLOCATE statement can be placed ou
Page 89 and 90:
Test Programs: Problem size Lines S
Page 91 and 92:
FD: isanumeric approximation method
Page 93 and 94:
for j = 1:n ... r = sqrt(L(j,j) - s
Page 95 and 96:
1000 SGI Power Challenge 400 Speedu
Page 97 and 98:
7.2.2 Comparison of Compiler Genera
Page 99 and 100:
10 83 91 17 9 8 SPARCstation 10 Spe
Page 101 and 102:
were selected: AQ, due to its real
Page 103 and 104:
inference phases AQ CG 3D Di FD no
Page 105 and 106:
7 6 SGI Power Challenge CG 5 Second
Page 107 and 108:
program. Notice that although the M
Page 109 and 110:
uns, there were no preallocations o
Page 111 and 112:
Chapter 8 CONCLUSIONS AND FUTURE DI
Page 113 and 114:
of techniques for the generation of
Page 115 and 116:
[BE94] William Blume and Rudolf Eig
Page 117 and 118:
[GHR94] E. Gallopoulos, E. Houstis,
Page 119 and 120:
[Pac93] Pacic-Sierra Research Corpo
show all

COMPILER TECHNIQUES FOR MATLAB PROGRAMS ... - CiteSeerX

You also want an ePaper? Increase the reach of your titles

Delete template?

Save as template?