Name
Title | ||
|---|---|---|
Specializing Compiler Optimizations through Programmable Composition for Dense Matrix Computations |
Abstract | ||
|---|---|---|
General purpose compilers aim to extract the best average performance for all possible user applications. Due to the lack of specializations for different types of computations, compiler attained performance often lags behind those of the manually optimized libraries. In this paper, we demonstrate a new approach, programmable composition, to enable the specialization of compiler optimizations without compromising their generality. Our approach uses a single pass of source-level analysis to recognize a common pattern among dense matrix computations. It then tags the recognized patterns to trigger a sequence of general-purpose compiler optimizations specially composed for them. We show that by allowing different optimizations to adequately communicate with each other through a set of coordination handles and dynamic tags inserted inside the optimized code, we can specialize the composition of general-purpose compiler optimizations to attain a level of performance comparable to those of manually written assembly code by experts, thereby allowing selected computations in applications to benefit from similar levels of optimizations as those manually applied by experts. |
Year | DOI | Venue |
|---|---|---|
2014 | 10.1109/MICRO.2014.14 | MICRO |
Keywords | Field | DocType |
computers and information processing,coordination handles,pattern recognition,dynamic tags,matrix algebra,programmable composition,general purpose compilers,source-level analysis,mathematics computing,computer science,general-purpose compiler optimization,optimising compilers,dense matrix computation,programming,automatic programming,kernel,optimization | Profile-guided optimization,Interprocedural optimization,Programming language,Functional compiler,Computer science,Parallel computing,Compiler correctness,Compiler,Optimizing compiler,Compiler construction,Manifest expression | Conference |
ISSN | Citations | PageRank |
1072-4451 | 5 | 0.40 |
References | Authors | |
21 | 3 | |
Name | Order | Citations | PageRank |
|---|---|---|---|
| Qing Yi | 1 | 190 | 11.89 |
| Qian Wang | 2 | 5 | 0.40 |
| Huimin Cui | 3 | 119 | 11.40 |