Automated Reduction of the Memory Footprint of the Linux Kernel

ACM Transactions on Embedded Computing Systems

Volumn 6, Issue 4, 2007, Pages 23-

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

^a GHENT UNIVERSITY   (Belgium)

Author keywords

compaction; compression; Experimentation; Linux kernel; operating system; Performance; specialization; system calls

Indexed keywords

EID: 84921296627     PISSN: 15399087     EISSN: 15583465     Source Type: Journal    
DOI: 10.1145/1274858.1274861     Document Type: Article

References (50)

1. Anckaert, B., Vandeputte, F., De Bus, B., De Sutter, B., And De Bosschere, K. 2004. Link-time optimization of IA64 binaries. In Proceedings of the 2004 Euro-Par Conference. 284-291.
2. Bhatia, S., Consel, C., And Pu, C. 2004. Remote Customization of systems code for embedded devices. In Emsoft '04: Proceedings of the 4th ACM international conference on Embedded software. ACM Press, New York. 7-15.
3. 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 Proc. of the 2005 Acm Sigplan/Sigbed Conference on Languages, Compilers, and Tools for Embedded Systems (Lctes). 95104.
4. Citron, D., Haber, G., And Levin, R. 2004. Reducing program image size by extracting frozen code and data. In EMSOFT '04: Proceedings of the 4th ACM international conference on Embedded software. ACM Press, New York. 297-305.
5. Clausen, L., Schultz, U., Consel, C., And Muller, G. 2000. Java bytecode compression for low-end embedded systems. ACM Transactions on Programming Languages and Systems 22, 3 (May), 471-489.
6. 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.
7. 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.
8. Cours, J., Navarro, N., And Hwu, W. 2004. Using coverage-based analysis to automate the customization of the Linux kernel for embedded applications. M.S. thesis, University of Illinois at Urbana-Champaign.
9. De Bus, B. 2005. Reliable, retargetable and extensible link-time program rewriting. Ph.D. thesis, Ghent University.
10. 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 (Aug.), 41-46.
11. De Bus, B., De Sutter, B., Van Put, L., Chanet, D., And De Bosschere, K. 2004. Link-time optimization of Arm binaries. In Proc. of the 2004 Acm Sigplan/Sigbed Conference on Languages, Compilers, and Tools for Embedded Systems (LCTES). 211-220.
12. 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.
13. 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.
14. De Sutter, B., De Bus, B., And De Bosschere, K. 2005. Link-time binary rewriting techniques for program compaction. ACM Transactions on Programming Languages and Systems 27, 5 (9), 882-945.
15. De Sutter, B., Van Put, L., Chanet, D., De Bus, B., And De Bosschere, K. 2006. Link-time compaction and optimization of Arm executables. ACM Transactions on Embedded Computing Systems. To appear.
16. Debray, S., Muth, R., And Weippert, M. 1998. Alias analysis of executable code. In Proceedings of the ACM 1998 Symposium on Principles of Programming Languages (POPL'98). 12-24.
17. Debray, S. And Evans, W. 2002. Profile-guided code compression. In Pldi '02: Proceedings of the ACM SIGPLAN 2002 Conference on Programming language design and implementation. ACM Press, New York. 95-105.
18. Debray, S., Evans, W., Muth, R., Andde Sutter, B. 2002. Compiler techniques for code compaction. ACM Transactions on Programming Languages and Systems 22, 2 (3), 378-415.
19. Denys, G., Piessens, F., And Matthijs, F. 2002. A survey of customizability in operating systems research. ACM Comput. Surv. 34, 4, 450-468.
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. Evans, W. S. And Fraser, C. W. 2001. Bytecode compression via profiled grammar rewriting. In Pldi '01: Proceedings of the ACM SIGPLAN 2001 conference on Programming language design and implementation. ACM Press, New York. 148-155.
22. Fassino, J.-P., Stefani, J.-B., Lawall, J. L., And Muller, G. 2002. Think: A software framework for component-based operating system kernels. In Proceedings of the General Track: 2002 USENIX Annual Technical Conference. Usenix Association, Berkeley, CA. 73-86.
23. Flower, R., Luk, C.-K., Muth, R., Patil, H., Shakshober, J., Cohn, R., And Lowney, G. 2001. Kernel optimizations and prefetch with the spike executable optimizer. In Proc of the 4th Workshop on Feedback-Directed and Dynamic Optimization (FDDO-4).
24. Ford, B., Back, G., Benson, G., Lepreau, J., Lin, A., And Shivers, O. 1997. The flux oskit: a substrate for kernel and language research. In SOSP '97: Proceedings of the 16th ACM symposium on Operating systems principles. ACM Press, New York. 38-51.
25. Franz, M. 1997. Adaptive compression of syntax trees and iterative dynamic code optimization: Two basic technologies formobile-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.
26. Franz, M. And Kistler, T. 1997. Slim binaries. Communications of the ACM 40, 12 (Dec.), 8794.
27. 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.
28. Gay, D., Levis, P., Von Behren, R., Welsh, M., Brewer, E., And Culler, D. 2003. The nesC language: A holistic approach to networked embedded systems. In PLDI '03: Proceedings of the ACM SIGPLAN 2003 conference on Programming language design and implementation. ACM Press, New York. 1-11.
29. Hind, M. 2001. Pointer analysis: Haven't we solved this problem yet & In 2001 ACM SIGPLAN-SIGSOFT Workshop on Program Analysis for Software Tools and Engineering (PASTE'01). Snowbird, uT.
30. 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.).
31. 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).
32. Krintz, C. And Wolski, R. 2005. Using phase behavior in scientific application to guide Linux operating system customization. In Ipdps '05: Proceedings of the 19th IEEE International Parallel and Distributed Processing Symposium (IPDPS'05)--Workshop 10. IEEE Computer Society, Washington, DC. 219.1.
33. LEE, C.-T., LIN, J.-M., Hong, Z.-W., And Lee, W.-T. 2004. An application-oriented Linux kernel customization for embedded systems. Journal of Information Science and Engineering 20, 6, 1093-1107.
34. 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.
35. Levine, J. 2000. Linkers & Loaders. Morgan Kaufmann, San Matco, CA.
36. Linn, C., Debray, S., Andrews, G., And Schwarz, B. 2004. Stack analysis of x86 executables. Available from http://www.cs.arizona.edu/people/debray.
37. Madou, M., De Sutter, B., De Bus, B., Van Put, L., And De Bosschere, K. 2004. Link-time optimization of MIPS programs. In Proceedings of the 2004 International Conference on Embedded Systems and Applications (ESA04).
38. Mcnamee, D., Walpole, J., Pu, C., Cowan, C., Krasic, C., Goel, A., Wagle, P., Consel, C., Muller, G., And Marlet, R. 2001. Specialization tools and techniques for systematic optimization of system software. ACM Trans. Comput. Syst. 19, 2, 217-251.
39. Mcvoy, L. And Staelin, C. 1996. lmbench: Portable tools for performance analysis. In Usenix Annual Technical Conference.
40. Muchnick, S. S. 1997. Advanced Compiler Design & Implementation. Morgan Kaufmann, San Matco, CA.
41. Muth, R., Debray, S., Watterson, S., And De Bosschere, K. 2001. Alto: a link-time optimizer for the Compaq Alpha. Software-Practice and Experience 31, 1, 67-101.
42. Proebsting, T. 1995. Optimizing an ANSI C interpreter with superoperators. In Proceedings of the ACM SIGPLAN-SIGACT 1995 Symposium on Principles of Programming Languages (POPL95). 322-332.
43. 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.
44. Ros, M. And Sutton, P. 2003. Compiler optimization and ordering effects on VLIW code compression. In Proceedings of the 2003 International Conference on Compilers, Architectures and Synthesis for Embedded Systems (CASES). 95-103.
45. Schmidt, W., Roediger, R., Mestad, C., Mendelson, B., Shavit-Lottem, I., And Bortnikov-Sitnitsky, V. 1998. Profile-directed restructuring of operating system code. IBM Systems Journal 37, 2.
46. Schwarz, B., Debray, S., Andrews, G., And Legendre, M. 2001. PLTO: A link-time optimizer for the Intel IA-32 architecture. In Proc. 2001 Workshop on Binary Rewriting (WBT-2001).
47. SPeer, S. E., Kumar, R., And Partridge, C. 1994. Improving Unix kernel performance using profile based optimization. In 1994 Winter Usenix. 181-188.
48. Srivastava, A. And Wall, D. 1994. Link-Time Optimization Of Address Calculation On A 64-Bit Architecture. In Proc. of the 1994 Acm Sigplan Conference on Programming Language Design and Implementation (PLDI). 49-60.
49. Tamches, A. And Miller, B. P. 1999. Fine-Grained Dynamic Instrumentation Of Commodity Operating System Kernels. In Operating Systems Design and Implementation. 117-130.
50. Tamches, A. And MilleR, B. P. 2001. Dynamic Kernel Code Optimization. In Workshop On Binary Translation (Wbt-2001). Trimedia TechnoloGies Inc. 2000. Trimedia32 Architecture. Trimedia Technologies Inc.