Paper Info
Title
Accurate source-level simulation of embedded software with respect to compiler optimizations
Abstract
Source code instrumentation is a widely used method to generate fast software simulation models by annotating timing information into application source code. Source-level simulation models can be easily integrated into SystemC based simulation environment for fast simulation of complex multiprocessor systems. The accurate back-annotation of the timing information relies on the mapping between source code and binary code. The compiler optimizations might make it hard to get accurate mapping information. This paper addresses the mapping problems caused by complex compiler optimizations, which are the main source of simulation errors. To obtain accurate mapping information, we propose a method called fine-grained flow mapping that establishes a mapping between sequences of control flow of source code and binary code. In case that the code structure of a program is heavily altered by compiler optimizations, we propose to replace the altered part of the source code with functionally-equivalent IR-level code which has an optimized structure, leading to Partly Optimized Source Code (POSC). Then the flow mapping can be established between the POSC and the binary code and the timing information is back-annotated to the POSC. Our experiments demonstrate the accuracy and speed of simulation models generated by our approach.
Year
DOI
Venue
2012
10.1109/DATE.2012.6176501
DATE
Keywords
DocType
ISSN
source code instrumentation,application source code,compiler optimizations,binary code,embedded software,functionally-equivalent ir-level code,source code,accurate mapping information,code structure,fine-grained flow mapping,timing information,accurate source-level simulation,simulation model,binary codes,modeling,accuracy,system analysis and design,software performance,control flow,optimization,compiler optimization,debugging
Conference
1530-1591
Citations 
PageRank 
References 
12
0.62
13
Authors
2
Name
Order
Citations
PageRank
Zhonglei Wang112010.57
J. Henkel24471366.50