Design and engineering of a dynamic binary optimizer

Proceedings of the IEEE

Volumn 93, Issue 2, 2005, Pages 436-448

  Duesterwald, Evelyn ^a  

^a IBM T J WATSON RESEARCH CENTER   (United States)

Author keywords

Adaptive systems; Binary optimizations; Dynamic optimization; Runtime system

Indexed keywords

ADAPTIVE CONTROL SYSTEMS; BENCHMARKING; BINARY CODES; COMPUTER SOFTWARE; OPTIMIZATION; PAGING SYSTEMS; PROGRAM COMPILERS; PROGRAM TRANSLATORS;

BINARY OPTIMIZATIONS; DYNAMIC OPTIMIZATION; OPTIMIZER; RUNTIME SYSTEM;

COMPUTER PROGRAMMING;

EID: 20744448989     PISSN: 00189219     EISSN: None     Source Type: Journal    
DOI: 10.1109/JPROC.2004.840302     Document Type: Conference Paper

References (36)

1. V. Bala, E. Duesterwald, and S. Banerjia, "Dynamo: A transparent runtime optimization system," in Proc. SIGPLAN '00 Conf. Programming Language Design and Implementation, pp. 1-12.
2. W. Chen, S. Lerner, R. Chaiken, and D. Gillies, "Mojo: A dynamic optimization system," in Proc. 3rd Workshop on Feedback-Directed and Dynamic Optimization, 2000, pp. 81-90.
3. J. C. Dehnert, B. K. Grant, J. O. Bannin, R. Johnson, T. Kistler, and J. Mattson, "The transmeta code morphing software: Using speculation recovery, and adaptive retranslation to address real-life challenges," in Proc. 2003 Int. Symp. Code Generation and Optimization, 2003, pp. 15-24.
4. D. Bruening, T. Garnett, and S. Amarasinghe, "An infrastructure for adaptive dynamic optimization," in Proc. 2003 Int. Symp. Code Generation and Optimization, 2003, pp. 265-275.
5. V. Bala, E. Duesterwald, and S. Banerjia, "Transparent dynamic optimization: The design and implementation of Dynamo," Hewlett Packard Labs., Tech. Rep. HPL-1999-78, 1999.
6. D. Bruening, E. Duesterwald, and S. Amarasinghe, "Design and implementation of a dynamic optimization framework for Windows," presented at the 4th Workshop Feedback-Directed and Dynamic Optimization, Austin, TX, 2001.
7. D. Deaver, R. Gorton, and N. Rubin, "Wiggins/redstone: An on-line program specializer," presented at the Hot Chips 11 Conf., Palo Alto, CA, 1999.
8. K. Ebcioglu and E. Altman, "DAISY: Dynamic compilation for 100% architectural compatibility," in Proc. 24th Annu. Int. Symp. Computer Architecture, 1997, pp. 26-37.
9. L. Anderson, M. Berc, J. Dean, M. Ghemawat, S. Henzinger, S. Leung, L. Sites, M. Vandervoorde, C. Waldspurger, and W. Weihl, "Continuous profiling: Where have all the cycles gone," ACM Trans. Comput. Syst., vol. 15, no. 4, pp. 357-390, Nov. 1997.
10. T. Conte, B. Patel, K. Menezes, and J. Cox, "Hardware-based profiling: An effective technique for profile-driven optimization," Int. J. Parallel Program., vol. 24, no. 2, pp. 187-206, Apr. 1996.
11. X. Zhang, Z. Wang, N. Gloy, J. Chen, and M. Smith, "System support for automatic profiling and optimization," in Proc. 16th ACM Symp. Operating Systems Principles, 1997, pp. 15-26.
12. T. Ball and J. Larus, "Efficient path profiling," in Proc. 29th Annu. Int. Symp. Microarchitecture, 1996, pp. 46-57.
13. M. C. Merten, A. R. Trick, C. N. George, J. C. Gyllenhaal, and W. M. Hwu, "A hardware-driven profiling scheme for identifying program hot spots to support runtime optimization," in Proc. 26th Int. Symp. Computer Architecture, 1999, pp. 136-147.
14. R. Cohn and G. Lowney, "Hot cold optimization of large windows/NT applications," in Proc. 9th Annu. Int. Symp. Microarchitecture, 1996, pp. 80-89.
15. U. Hoelzle, C. Chambers, and D. Ungar, "Optimizing dynamically-typed object-oriented languages with polymorphic inline caches," in Proc. 4th Eur. Conf. Object-Oriented Programming, 1991, pp. 21-38.
16. E. Duesterwald and V. Bala, "Software profiling for hot path prediction: Less is more," in Proc. 9th Int. Conf. Architectural Support for Programming Languages and Operating Systems, 1991, pp. 202-211.
17. S. Richardson, "Exploiting trivial and redundant computation," in Proc. 11th Symp. Computer Arithmetic, 1993, pp. 220-227.
18. J. Lu, H. Chen, R. Fu, W.-C. Hsu, B. Othmer, P.-C. Yew, and D.-Y. Chen, "The performance of runtime data cache prefetching in a dynamic optimization system," in Proc. 36th Annu. Int. Symp. Microarchitecture, 2003, pp. 180-190.
19. (2002) Intel Itanium 2 processor reference manual for software development and optimization. Intel Corp., Santa Clara, CA. [Online]. Available: http://www.intel.com
20. U. Hoelzle, C. Chambers, and D. Ungar, "Debugging optimized code with dynamic deoptimization," in Proc. SIGPLAN'92 Conf. Programming Language Design and Implementation, 1992, pp. 32-43.
21. M. Gschwind and E. Altman, "Optimization and precise exceptions in dynamic compilation," presented at the Workshop on Binary Translation, Philadelphia, PA, 2000.
22. K. Hazelwood and M. D. Smith, "Generational cache management of code traces in dynamic optimization systems," in Proc. 36th Annu. Int. Symp. Microarchitecture, 2003.
23. R. F. Cmelik and D. Keppel, "Shade: A fast instruction set simulator for Executionc profiling," Dept. Comp. Sci. Eng., Univ. Washington, Seattle, Tech. Rep. UWCSE-93-06-06, 1993.
24. D. Ung and C. Cifuentes, "Machine-adaptable dynamic binary translation," in Proc. ACM SIGPLAN Workshop Dynamic and Adaptive Compilation, ACM SIGPLAN Notices, vol. 35, 2000, pp. 41-51.
25. K. Scott, N. Kumar, S. Velusamy, B. Childers, J. Davidson, and M. L. Soffa, "Retargetable and reconfigurable software dynamic translation," in Proc. 2003 Int. Symp. Code Generation and Optimization, 2003, pp. 36-47.
26. A. Srivastava, A. Edwards, and H. Vo, "Vulcan: Binary translation in a distributed environment," Microsoft Res., Redmond, WA, Tech. Rep. MSR-TR-2001-50, 2001.
27. H. S. Kim and J. E. Smith, "Dynamic binary translation for accumulator-oriented architectures," in Proc. 2003 Int. Symp. Code Generation and Optimization, 2003, pp. 25-35.
28. L. Baraz, T. Devor, O. Etzion, S. Goldenberg, A. Skaletsky, Y. Wang, and Y. Zemach, "IA-32 execution layer: A two phase dynamic translator designed to support IA-32 applications on Itanium®-based systems," in Proc. 36th Annu. Int. Symp. Microarchitecture, 2003, pp. 191-204.
29. G. Desoli, N. Mateev, E. Duesterwald, P. Faraboschi, and J. Fisher, "DELI: A new run-time control point," in Proc. 35th Annu. Int. Symp. Microarchitecture, 2002, pp. 257-270.
30. V. Kiriansky, D. Bruening, and S. Amarasinghe, "Secure execution via program shepherding," in Proc. 11th USENIX Security Symp., 2002, pp. 191-206.
31. B. R. Rau, "Levels of representation of programs and the architecture of universal host machines," in Proc. 11th Annu. Workshop Microprogramming, 1978, pp. 67-79.
32. P. Diniz and M. Rinard, "Dynamic feedback: An effective technique for adaptive computing," in Proc. SIGPLAN '97 Conf. Programming Language Design and Implementation, pp. 71-84.
33. M. Voss and R. Eigenmann, "ADAPT: Automated de-coupled adaptive program transformation," in Proc. 2000 Int. Conf. Parallel Processing (ICPP'00), pp. 163-172.
34. SPEC2000 Benchmark Suite. Standard Performance Evaluation Corp., Warrenton, VA. [Online]. Available: http://www.spec.org/osg/cpu2000
35. H.-S. Kim and J. E. Smith, "Hardware support for control transfers in code caches," in Proc. 36th Annu. Int. Symp. Microarchitecture, 2003, pp. 253-264.
36. M. Arnold, S. J. Fink, D. Grove, M. Hind, and P. F. Sweeney, "A survey of adaptive optimization in virtual machines," Proc. IEEE (Special Issue on Program Generation, Optimization, and Adaptation), vol. 93, no. 2, pp. 449-466, Feb. 2005.