| Co-Investigator(Kenkyū-buntansha) |
KURODA Hisayasu The University of Tokyo, Information Technology Center, Research Associate, 情報基盤センター, 助手 (60323507)
KANADA Yasumasa The University of Tokyo, Information Technology Center, Professor, 情報基盤センター, 教授 (90115551)
|
|---|
| Research Abstract |
This research aims at Adaptive Optimization in compilation. Today, computing platforms are diverging. They include uniprocessor computer of Pentium and RISC' s, small scale SMP, large scale parallel systems, and heterogeneous GRID environment. It is strongly required that we can make programs in uniform programming model, and that compilers can take care of getting. best performance on each platform. As its result, optimizers in a compiler is heavily responsible for good performance. However, in today's complexity of computer/network/software architecture, heavy analysis is necessary to improve performance. In this research, we have studied
(1) a performance model that has accuracy in performance analysis. Specifically, we have built unrolling shape, a symbolic and quantitative performance model for loop unrolling, for both in-order and out-of-order processors. This model is proved to be accurate enough to capture CPU behaviors in loop unrolling such as effect of software pipelining and memory latency hiding.
(2) adaptive selection of algorithms in accordance with characteristics of numerical data structure This selection is applied in installation time, compile time, and runtime. We observed performance improvement using this adaptive algorithm selection.
As two essential requirements to optimizations, we can list that they do not change program semantics and that they truly improve performance. As Optimization Verifying Compiler Project, we are trying to guarantee the two requirements. The fact that we have studied adaptation for improving performance in this research can be a stepping stone to this end.
|
