DisIRer: Converting a retargetable compiler into a multiplatform binary translator

Transactions on Architecture and Code Optimization

Volumn 7, Issue 4, 2010, Pages

  Hwang, Yuan Shin ^a   Lin, Tzong Yen ^b   Chang, Rong Guey ^b  

^a NATIONAL TAIWAN UNIVERSITY OF SCIENCE AND TECHNOLOGY   (Taiwan)

^b NATIONAL CHUNG CHENG UNIVERSITY   (Taiwan)

Author keywords

Binary translation; Intermediate representation; Retargeting

Indexed keywords

ASSEMBLY LANGUAGE; BINARY PROGRAMS; BINARY TRANSLATION; CODE DENSITY; CODE GENERATION; GNU COMPILER COLLECTION; INTERMEDIATE REPRESENTATIONS; MACHINE LANGUAGES; MULTI-PLATFORM; MULTIPLE PLATFORMS; OBJECT CODE; RETARGETABILITY; RETARGETABLE COMPILERS; RETARGETING; UNIQUE FEATURES;

EMBEDDED SYSTEMS; PROGRAM COMPILERS; TRANSLATION (LANGUAGES);

PROGRAM TRANSLATORS;

EID: 78651382663     PISSN: 15443566     EISSN: 15443973     Source Type: Journal    
DOI: 10.1145/1880043.1880045     Document Type: Article

References (59)

1. AHO, A. V., LAM, M. S., SETHI, R., AND ULLMAN, J. D. 2007. Compilers: Principles, Techniques, and Tools 2nd Ed. Addison Wesley.
2. ALTMAN, E. R., EBCIOǦLU, K., GSCHWIN, M., AND SATHAYE, S. 2001. Advances and future challenges in binary translation and optimization. Proc. IEEE 89, 11, 1710-1722.
3. ALTMAN, E. R.,KAELI, D., AND SHEFFER, Y. 2000. Welcome to the opportunities of binary translation. IEEE Comput. 33, 3, 40-45.
4. ANDREWS, K. AND SAND, D. 1992. Migrating a CISC computer family onto RISC via object code translation. In Proceedings of the 5th International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS-V). 213-222.
5. AUSTIN, T., LARSON, E., AND ERNST, D. 2002. SimpleScalar: An infrastructure for computer system modeling. IEEE Comput. 35, 2, 59-67.
6. AYCOCK, J. 2003. A brief history of just-in-time. ACM Comput. Surv. 35, 2, 97-113.
7. BAGLEY, J. D. 1976. Special feature: Microprogrammable virtual machines. IEEE Comput. 9, 2, 38-42.
8. BALA, V.,DUESTERWALD, E., AND BANERJIA, S. 1999. Transparent dynamic optimization: The design and implementation of dynamo. Tech. rep. HPL-1999-78, HP Laboratories.
9. BALA, V., DUESTERWALD, E., AND BANERJIA, S. 2000. Dynamo: A transparent dynamic optimization system. In Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation. 1-12.
10. BEDICHEK, R. 1990. Some efficient architecture simulation techniques. In Proceedings of the Winter USENIX Conference. 53-63.
11. BERGH, A. B.,KEILMAN, K.,MAGENHEIMER, D. J., AND MILLER, J. A. 1987. HP 3000 emulation on HP precision architecture computers. Hewlett-Packard J. 87-89.
12. BHANSALI, S., CHEN, W.-K., DE JONG, S., EDWARDS, A.,MURRAY, R., DRINIĆ, M.,MIHOČKA, D., AND CHAU, J. 2006. Framework for instruction-level tracing and analysis of program executions. In Proceedings of the Virtual Execution Environments Conference. 154-163.
13. CHERNOFF, A., HERDEG, M., HOOKWAY, R., REEVE, C., RUBIN, N., TYE, T., YADAVALLI, S. B., AND YATES, J. 1998. Fx!32: A profile-directed binary translator. IEEE Micro 18, 2, 56-64.
14. CIFUENTES, C. AND EMMERIK, M. V. 2000. UQBT: Adaptable binary translation at low cost. IEEE Comput. 33, 3, 60-66.
15. CIFUENTES, C. AND MALHOTRA, V. 1996. Binary translation: Static, dynamic, retargetable? In Proceedings of the International Conference on Software Maintenance. 340-349.
16. CMELIK, B. AND KEPPE, D. 1994. Shade: A fast instruction-set simulator for execution profiling. In Proceedings ACM SIGMETRICS Conference on Measurement and Modeling of Computer Systems. 128-137.
17. COGSWELL, B. AND SEGALL, Z. 1995. Timing insensitive binary-to-binary migration across multiprocessor architectures. In Proceedings of the 3rd Workshop on Parallel and Distributed Real- Time Systems. 193-194.
18. CRAMER, T., FRIEDMAN, R.,MILLER, T., SEBERGER, D.,WILSON, R., AND WOLCZKO, M. 1997. Compiling java just in time. IEEE Micro 17, 3, 36-43.
19. CREASY, R. J. 1981. The origin of the VM/370 time-sharing system. IBM J. Res. Devel. 25, 5, 483-490.
20. DEHNERT, J. C., GRANT, B. K., BANNING, J. P., JOHNSON, R., KISTLER, T., KLAIBER, A., AND MATTSON, J. 2003. The Transmeta code morphing software: Using speculation, recovery, and adaptive retranslation to address real-life challenges. In Proceedings of the International Symposium on Code Generation and Optimization (CGO'03). 15-24.
21. DESOLI, G., MATEEV, N., DUESTERWALD, E., FARABOSCHI, P., AND FISHER, J. A. 2002. DELI: A new runtime control point. In Proceedings of the 35th Annual ACM/IEEE International Symposium on Microarchitecture. 257-268.
22. DIGITAL. 1995. Freeport express. http://www.novalink.com/freeport- express/.
23. EBCIOGLU, K., MEMBER, S., ALTMAN, E., GSCHWIND, M., AND SATHAYE, S. 2001. Dynamic binary translation and optimization. IEEE Trans. Comput. 50, 6, 529-548.
24. EBCIOǦLU, K. AND ALTMAN, E. R. 1997. DAISY: Dynamic compilation for 100% architectural compatibility. In Proceedings of the 24th Annual International Symposium on Computer Architecture. 26-37.
25. EMMERIK,M. J. V. 2007. Static single assignment for decompilation. Ph.D. thesis, The University of Queensland.
26. GCC. The GNU compiler collection. http://gcc.gnu.org/.
27. GNU. GNU binary utilities (GNU binutils). http://www.gnu.org/software/ binutils/.
28. GSCHWIND, M., ALTMAN, E. R., SATHAYE, S., LEDAK, P., AND APPENZELLER, D. 2000. Dynamic and transparent binary translation. IEEE Comput. 33, 3, 54-59.
29. HINES, S.,KULKARNI, P.,WHALLEY, D., AND DAVIDSON, J. 2005. Using de-optimization to re-optimize code. In Proceedings of EMSOFT'05. 114-123.
30. HINES, S. R. 2004. Using de-optimization to re-optimize code. M.S. thesis, The Florida State University.
31. HOUSEL, B. C. AND HALSTEAD, M. H. 1974. A methodology for machine language decompilation. In Proceedings of the ACM Annual Conference Vol. 1, 254-260.
32. INTEL CORPORATION. Intel C++ compiler for linux, i486 platform. http://software.intel.com/enus/articles/intel-c-compiler-professional-edition- for-linux-documentation/
33. KAMUNYORI, J. W. 2007. Handling self-modifying code using software dynamic translation. In Proceedings of the Conference on Diversity in Computing. 32-32.
34. KIM, H.-S. AND SMITH, J. E. 2003. Dynamic binary translation for accumulator-oriented architectures. In Proceedings of the International Symposium on Code Generation and Optimization (CGO'03). 25-35.
35. KOTZMANN, T.,WIMMER, C.,MOS̈SENBOC̈K, H., RODRIGUEZ, T., RUSSELL, K., AND COX, D. 2008. Design of the Java HotSpot client compiler for Java 6. ACM Trans. Architec. Code Optim. 5, 1.
36. LARUS, J. R. AND SCHNARR, E. 1995. EEL: Machine-Independent executable editing. In Proceedings of SIGPLAN Conference on Programming Languages, Design and Implementation. 291-300.
37. LEE, C., POTKONJAK, M., AND MANGIONE-SMITH, W. H. 1997. MediaBench: A tool for evaluating and synthesizing multimedia and communication systems. In Proceedings of the 30th Annual ACM/IEEE International Symposium on Microarchitecture. 330-335.
38. LI, J., ZHANG, Q., XU, S., AND HUANG, B. 2006. Optimizing dynamic binary translation for simd instructions. In Proceedings of the International Symposium on Code Generation and Optimization (CGO'06). 269-280.
39. LIN, T.-Y., CHANG, R.-G., AND HWANG, Y.-S. 2008. DisIRer. In Proceedings of 14th Workshop on Compiler Techniques for High-Performance Computing.
40. LUK, C.-K., COHN, R., MUTH, R., PATIL, H., KLAUSER, A., LOWNEY, G., WALLACE, S., REDDI, V. J., AND HAZELWOOD, K. 2005. Pin: Building customized program analysis tools with dynamic instrumentation. In Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation. 190-200.
41. MAY, C. 1987. MIMIC: A fast System/370 simulator. In Proceedings of SIGPLAN'87 Symposium on Interpreters and Interpretive Techniques. 1-13.
42. MICROSOFT. Phoenix. http://research.microsoft.com/Phoenix/.
43. RED HAT INC. Cygwin. http://www.cygwin.com/.
44. SITES, R., CHERNOFF, A., KIRK, M.,MARKS, M., AND ROBINSON, S. 1993. Binary translation. Comm. ACM 36, 2, 69-81.
45. SMITH, J. AND NAIR, R. 2005. Virtual Machines: Versatile Platforms for Systems and Processes. Morgan Kaufmann.
46. SRIVASTAVA, A. AND EUSTACE, A. 1994. Atom: A system for building customized program analysis tools. In Proceedings of the SIGPLAN Conference on Programming Languages and Implementation (PLDI'94). 196-205.
47. SRIVASTAVA, A. AND WALL, D. W. 1992. A practical system for intermodule code optimization at link-time. Tech. rep. WRL-92-6, Digital Western Research Laboratory. December.
48. STALLMAN, R. AND THE GCC DEVELOPER COMMUNITY. GNU compiler collection internals. http://gcc.gnu.org/onlinedocs/gccint/.
49. SUGANUMA, T.,YASUE, T.,KAWAHITO,M.,KOMATSU, H., ANDNAKATANI, T. 2005. Design and evaluation of dynamic optimizations for a java just-in-time compiler. ACMTrans. Program. Lang. Syst. 27, 4, 732-785.
50. THOMPSON, T. 1996. An Alpha in PC clothing. In Byte. 195-196.
51. TIS. 1995. Tool interface standard (TIS) executable and linking format (ELF) specification, version 1.2. http://refspecs.freestandards.org/elf/elf.pdf
52. TRÖGER, J. 2005. Specification-driven dynamic binary translation. Ph.D. thesis, Queensland University of Technology.
53. UNG, D. AND CIFUENTES, C. 2000. Machine-Adaptable dynamic binary translation. In Proceedings of the ACM SIGPLAN Workshop on Dynamic and Adaptive Compilation and Optimization. 41-51.
54. VAUGHAN-NICHOLS, S. J. 2006. New approach to virtualization is a lightweight. IEEE Comput. 39, 11, 12-14.
55. WITCHEL, E. AND ROSENBLUM, M. 1996. Embra: Fast and flexible machine simulation. In Proceedings of the ACM SIGMETRICS International Conference on Measurement and Modeling of Computer Systems. 68-79.
56. YANG, B.-S., MOON, S.-M., PARK, S., LEE, J., LEE, S., PARK, J., CHUNG, Y. C., KIM, S., EBCIOGLU, K., AND ALTMAN, E. 1999. LaTTe: A Java VM just-in-time compiler with fast and efficient register allocation. In Proceedings of International Conference on Parallel Architectures and Compilation Techniques. 128-138.
57. ZHANG, K., ZHANG, T., AND PANDE, S. 2004. Binary translation to improve energy efficiency through post-pass register re-allocation. In Proceedings of the 4th ACM International Conference on Embedded Software. 74-85.
58. ZHENG, C. AND THOMPSON, C. 2000. PA-RISC to IA-64: Transparent execution, no recompilation. IEEE Comput. 33, 3, 47-52.
59. ZIVOJNOVIĆ, V., VELARDE, J. M., SCHLÁGER, C., AND MEYR, H. 1994. DSPstone: A DSP-oriented benchmarking methodology. In Proceedings of the International Conference on Signal Processing Applications and Technology.