Link-Time Compaction and Optimization of ARM Executables

ACM Transactions on Embedded Computing Systems

Volumn 6, Issue 1, 2007, Pages 5-

  Sutter, Bjorn De ^a   Put, Ludo Van ^a   Chanet, Dominique ^a   Bus, Bruno De ^a   Bosschere, Koen De ^a  

^a GHENT UNIVERSITY   (Belgium)

Author keywords

compaction; Experimentation; linker; optimization; Performance

Indexed keywords

EID: 84862975675     PISSN: 15399087     EISSN: 15583465     Source Type: Journal    
DOI: 10.1145/1210268.1210273     Document Type: Article

References (37)

1. Angiolini, F., Menichelli, F., Ferrero, A., Benini, L., and Olivieri, M. 2004. A post-compiler approach to scratchpad mapping of code. In Proceedings of the 2004 International Conference on Compilers, Architecture, and Synthesis for Embedded Systems. 259-267.
2. Arm Ltd. 1995. An Introduction to Thumb. ARM Ltd.
3. Arm Ltd. 2005. ELF for the ARM Architecture. ARM Ltd.
4. Austin, T., Larson, E., and Ernst, D. 2002. Simplescalar: An infrastructure for computer system modeling. Computer 35, 2, 59-67.
5. Beszedes, A., Ferenc, R., GyimOthy, T., Dolenc, A., and Karsisto, K. 2003. Survey of code-size reduction methods. ACM Comput. Surv. 35, 3, 223-267.
6. Chanet, D., De Sutter, B., De Bus, B., Van Put, L., and De Bosschere, K. 2005. System-wide compaction and specialization of the Linux kernel. In Proceedings of the 2005 ACM SIGPLAN/SIGBED Conference on Languages, Compilers, and Tools for Embedded Systems (LCTES). 95-104, ACM Press.
7. Chen, G. and Kandemir, M. 2005. Optimizing address code generation for array-intensive DSP applications. In Proc. of the International Symposium on Code Generation and Optimization. 141-152.
8. Cohn, R., Goodwin, D., Lowney, P., and Rubin, N. 1997. Spike: An optimizer for Alpha/NT executables. In Proceedings oF The Usenix Windows Nt Workshop. 17-24.
9. Corliss, M., Lewis, E., and Roth, A. 2003. A DISE implementation of dynamic code decompression. In Proceedings of the ACM SIGPLAN 2003 Conference on Languages, Compilers, and Tools for Embedded Systems (LCTES'03). 232-243.
10. De Bus, B. 2005. Reliable, retargetable and extensible link-time program rewriting. Ph.D. thesis, Ghent university.
11. De Bus, B., Kastner, D., Chanet, D., Van Put, L., and De Sutter, B. 2003. Post-pass compaction techniques. Communications of the ACM 46, 8 (8), 41-46.
12. De Bus, B., Chanet, D., De Sutter, B., Van Put, L., and De Bosschere, K. 2004. The design of FIT, a flexible instrumentation toolkit. In Proceedings of the 2004 Acm Sigplan-Sigsoft Workshop on Program Analysis for Software Tools and Engineering (PASTE'04). 29-34.
13. De Sutter, B., De Bus, B., De Bosschere, K., Keyngnaert, P., and Demoen, B. 2000. On the static analysis of indirect control transfers in binaries. In Proc. of the International Conference on Parallel and Distributed Processing Techniques and Applications. 1013-1019.
14. De Sutter, B., De Bus, B., De Bosschere, K., and Debray, S. 2001. Combining global code and data compaction. In Proc. of the Acm Sigplan Workshop On Languages, Compilers, and Tools for Embedded Systems. 29-38.
15. De Sutter, B., De Bus, B., and De Bosschere, K. 2002. Sifting out the mud: low level C++ code reuse. In Proceedings of the 17th Acm Sigplan Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA). 275-291.
16. De Sutter, B., De Bus, B., and De Bosschere, K. 2005b. Bidirectional liveness analysis, or how less than half of the alpha's registers are used. Journal of Systems Architecture, Elsevier, 52(10), 535-548. october 2006.
17. De Sutter, B., De Bus, B., and De Bosschere, K. 2005a. Link-time binary rewriting techniques for program compaction. ACM Transactions on Programming Languages and Systems 27, 5 (9), 882-945.
18. De Sutter, B., Vandierendonck, H., De Bus, B., and De Bosschere, K. 2003. On the side-effects of code abstraction. In Proceedings of the 2003 ACM SIGPLAN Conference on Languages, Compilers and Tools for Embedded Systems (LCTES'03). 245-253.
19. Debray, S., Evans, W., Muth, R., and De Sutter, B. 2000. Compiler techniques for code compaction. ACM Transactions on Programming Languages and Systems 22, 2 (3), 378-415.
20. Ernst, J., Evans, W., Fraser, C., Lucco, S., and Proebsting, T. 1997. Code compression. In Proceedings of the 1997 ACM Sigplan Conference on Programming Language Design and Implementation (PLDI'97). 358-365.
21. Franz, M. 1997. Adaptive compression of syntax trees and iterative dynamic code optimization: Two basic technologies for mobile-object systems. In Mobile Object Systems: Towards the Programmable Internet, J. Vitek and C. Tschudin, Eds. Number 1222 in LNCS. Springer, New York. 263-276.
22. Franz, M. and Kistler, T. 1997. Slim binaries. Communications of the ACM 40, 12 (Dec.), 87-94.
23. Fraser, C. 1999. Automatic inference of models for statistical code compression. In Proceedings of the ACM SIGPLAN 1999 Conference on Programming Language Design and Implementation (PLDI'99). 242-246.
24. Furber, S. 1996. ARM System Architecture. Addison Wesley, Reading, MA.
25. Haber, G., Klausner, M., Eisenberg, V., Mendelson, B., and Gurevich, M. 2003. Optimization opportunities created by global data reordering. In Proc. of the International Symposium on Code Generation and Optimization. 228-237.
26. Kastner, D. 2000. Propan: A retargetable system for postpass optimizations and analyses. In Proceedings of the 2000 ACm Sigplan Workshop on Languages, Compilers and Tools for Embedded Systems (LCTES'00).
27. Kastner, D. and Wilhelm, S. 2002. Generic control-flow reconstruction from assembly code. In Proceedings of the joint conference on Languages, Compilers and Tools for Embedded Systems (LCTES): Software and Compilers for Embedded Systems (Scopes). 46-55.
28. Kemp, T. M., Montoye, R. M., Harper, J. D., Palmer, J. D., and Auerbach, D. J. 1998. A decompression core for PowerPC. IBM J. Research and Development 42, 6 (Nov.).
29. Kirovski, D., Kin, J., and Mangione-Smith, W. H. 1997. Procedure based program compression. In Proceedings of the 30th Annual International Symposium on Microarchitecture (MICRO-30).
30. Lattner, C. and Adve, V. 2004. LLVM: A compilation framework for lifelong program analysis & transformation. In Proc. of the International Symposium on Code Generation and Optimization. 75-86.
31. Lekatsas, H., Henkel, J., Chakradhar, S., Jakkula, V., and Sankaradass, M. 2003. Coco: a hardware/software platform for rapid prototyping of code compression technologies. In Proceedings of the 40th conference on Design Automation (DAC). 306-311.
32. Levine, J. 2000. Linkers & Loaders. Morgan Kaufmann Publishers, San Mateo, CA.
33. Luk, C.-K., Muth, R., Patil, H., Cohn, R., and Lowney, G. 2004. Ispike: A post-link optimizer for the Intel Itanium architecture. In Proc. of the International Symposium on Code Generation and Optimization. 15-26.
34. Muth, R. 1999. Alto: A platform for object code modification. Ph.D. thesis, University Of Arizona.
35. Muth, R., Debray, S. K., Watterson, S. A., and De Bosschere, K. 2001. alto: a link-time optimizer for the Compaq Alpha. Software-Practice and Experience 31, 1, 67-101.
36. Pugh, W. 1999. Compressing Java class files. In Proceedings of the 1999 ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI'99). 247-258.
37. Srivastava, A. and Wall, D. W. 1994. Link-time optimization of address calculation on a 64-bit architecture. In Proc. of the Acm Sigplan Conference on Programming Language Design and Implementation. 49-60.