BMAT -- A Binary Matching Tool for Stale Profile Propagation

作者: Scott McFarling , Ken Pierce , Zheng Wang

DOI:

关键词: Data miningCode (cryptography)Code coverageComputer scienceMatching (statistics)Source codeBlossom algorithmMicrosoft WindowsSet (abstract data type)Branch predictor

摘要: A major challenge of applying profile-based optimization on large real-world applications is how to capture adequate profile information. program, especially a GUI-based application, may be used in variety ways by different users machines. Extensive collection data necessary fully characterize this type program behavior. Unfortunately, realistic software production environment, many developers and testers need fast access the latest build, leaving little time for collecting profiles. To address dilemma, we would like re-use stale information from prior build. In paper present BMAT, effective tool that matches two versions binary without knowledge source code changes. BMAT enables propagation an older, extensively profiled build newer thus greatly reducing or even eliminating re-profiling. We use metrics evaluate quality results using propagated information: static branch prediction accuracy coverage. These measure well matching algorithm works frequently executed core across whole respectively. Experiments set DLLs Microsoft Windows 2000 Internet Explorer show compared freshly collected profiles, typically over 99% as 98% accurate coverage

参考文章(4)
P. Geoffrey Lowney, Robert S. Cohn, David W. Goodwin, Optimizing alpha executables on Windows NT with spike Digital Technical Journal. ,vol. 9, pp. 3- 20 ,(1998) , 10.5555/293073.293077
Udi Manber, Brenda S. Baker, Deducing similarities in Java sources from bytecodes usenix annual technical conference. pp. 15- 15 ,(1998)
Saumya K. Debray, William Evans, Robert Muth, Bjorn De Sutter, Compiler techniques for code compaction ACM Transactions on Programming Languages and Systems. ,vol. 22, pp. 378- 415 ,(2000) , 10.1145/349214.349233
Xiaolan Zhang, Zheng Wang, Nicholas Gloy, J. Bradley Chen, Michael D. Smith, System support for automatic profiling and optimization symposium on operating systems principles. ,vol. 31, pp. 15- 26 ,(1997) , 10.1145/268998.266640