The Road Not Taken: Estimating Path Execution Frequency Statically

被引:19
作者
Buse, Raymond P. L. [1 ]
Weimer, Westley [1 ]
机构
[1] Univ Virginia, Charlottesville, VA 22903 USA
来源
2009 31ST INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING, PROCEEDINGS | 2009年
关键词
SYNTHETIC WORKLOAD GENERATION;
D O I
10.1109/ICSE.2009.5070516
中图分类号
TP31 [计算机软件];
学科分类号
081202 ; 0835 ;
摘要
A variety of compilers, static analyses, and testing frameworks rely heavily on path frequency information. Uses for such information range from optimizing transformations to bug finding. Path frequencies art, typically obtained through profiling, but that approach is severely restricted: it requires running programs in an indicative environment, and on indicative test inputs. We present a descriptive statistical model of path frequency based on features that can be readily obtained from a program's source code. Our model is over 90% accurate with respect to several benchmarks, and is sufficient for selecting the 5% of paths that account for over half of a prograim's total runtime. We demonstrate our technique's robustness by measuring its performance as a static branch predictor finding it to be more accurate than. previous approaches on average. Finally, our qualitative analysis of the model provides insight into which source-level features indicate "hot paths."
引用
收藏
页码:144 / 154
页数:11
相关论文
共 33 条
[1]   Mining specifications [J].
Ammons, G ;
Bodík, R ;
Larus, JR .
ACM SIGPLAN NOTICES, 2002, 37 (01) :4-16
[2]   Improving data-flow analysis with path profiles [J].
Ammons, G ;
Larus, JR .
ACM SIGPLAN NOTICES, 1998, 33 (05) :72-84
[3]  
[Anonymous], 2001, Proceedings of the 18th ACM Symposium on Operating Systems Principles
[4]  
[Anonymous], 1997, MACHINE LEARNING, MCGRAW-HILL SCIENCE/ENGINEERING/MATH
[5]  
ARNOLD M, 2000, WORKSH DYN AD COMP O, P52
[6]  
BABA T, 2007, ADV COMPUTER SCI TEC, P23
[7]   Efficient path profiling [J].
Ball, T ;
Larus, JR .
PROCEEDINGS OF THE 29TH ANNUAL IEEE/ACM INTERNATIONAL SYMPOSIUM ON MICROARCHITECTURE - MICRO-29, 1996, :46-57
[8]  
BALL T, 1993, SIGPLAN NOTICES, V28, P300, DOI 10.1145/173262.155119
[9]  
BALL T, 1998, P 25 ACM SIGPLAN SIG, P134
[10]  
Berube P, 2006, INT SYM PERFORM ANAL, P251