Get 20M+ Full-Text Papers For Less Than $1.50/day. Start a 14-Day Trial for You or Your Team.

Learn More →

Energy Efficient High Performance ProcessorsStatic Power Modeling for Modern Processor

Energy Efficient High Performance Processors: Static Power Modeling for Modern Processor [Power and energy estimation tools are essential tools that are used by system designers, software developers, and compiler developers to optimize their products. In this work, we present a novel method for statically estimating and analyzing the energy and power of programs, the method gives power and energy statistics on the feasible program paths for both the core and cache using symbolic execution. Unlike profile-guided optimizations—that require generating stimulus and running them on the target processor to cover all possible paths—or the dataflow analysis that traverse all control flow graph paths, our method traverses all feasible paths of the program. Our method is static, which enables running it at compile-time. We demonstrated how the tool can be used to optimize the power and energy of programs at compile-time by choosing compiler flags that minimize the energy or power of the program.] http://www.deepdyve.com/assets/images/DeepDyve-Logo-lg.png

Energy Efficient High Performance ProcessorsStatic Power Modeling for Modern Processor

Download PDF
30 pages

Loading next page...
 
/lp/springer-journals/energy-efficient-high-performance-processors-static-power-modeling-for-tZAbWy66om
Publisher
Springer Singapore
Copyright
© Springer Nature Singapore Pte Ltd. 2018
ISBN
978-981-10-8553-6
Pages
135 –165
DOI
10.1007/978-981-10-8554-3_5
Publisher site
See Chapter on Publisher Site

Abstract

[Power and energy estimation tools are essential tools that are used by system designers, software developers, and compiler developers to optimize their products. In this work, we present a novel method for statically estimating and analyzing the energy and power of programs, the method gives power and energy statistics on the feasible program paths for both the core and cache using symbolic execution. Unlike profile-guided optimizations—that require generating stimulus and running them on the target processor to cover all possible paths—or the dataflow analysis that traverse all control flow graph paths, our method traverses all feasible paths of the program. Our method is static, which enables running it at compile-time. We demonstrated how the tool can be used to optimize the power and energy of programs at compile-time by choosing compiler flags that minimize the energy or power of the program.]

Published: Mar 23, 2018

Keywords: Symbolic Execution; L2 Access; Access List; Cache Misses; Cache Line

There are no references for this article.