System-wide compaction and specialization of the linux kernel

ACM SIGPLAN Notices

Volumn 40, Issue 7, 2005, Pages 95-104

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

^a NONE

Author keywords

Compaction; Linux kernel; Operating system; Specialization; System calls

Indexed keywords

BINARY CODES; COMPACTION; COMPUTER OPERATING SYSTEMS; DATA COMPRESSION; EMBEDDED SYSTEMS;

ARM PLATFORM; LINUX KERNEL; SPECIALIZATION; SYSTEM CALLS;

COMPUTER PROGRAMMING LANGUAGES;

EID: 33745203746     PISSN: 03621340     EISSN: 03621340     Source Type: Journal    
DOI: 10.1145/1070891.1065925     Document Type: Article

References (24)

1. R. Cohn, D. Goodwin, P. Lowney, and N. Rubin. Spike: An optimizer for Alpha/NT executables. In Proceedings of the USENIX Windows NT Workshop, pages 17-24, 1997.
2. B. De Bus. Reliable, Retargetable and Extensible Link-Time Program Rewriting. PhD thesis, Ghent University, 2005.
3. B. De Bus, B. De Sutter, L. Van Put, D. Chanet, and K. De Bosschere. Link-time optimization of ARM binaries. In Proc. of the 2004 ACM SIGPLAN/SIGBED Conference on Languages, Compilers, and Tools for Embedded Systems (LCTES), pages 211-220, 2004.
4. B. De Bus, D. Kästner, D. Chanet, L. Van Put, and B. De Sutter. Post-pass compaction techniques. Communications of the ACM, 46(8):41-46, 8 2003.
5. B. De Sutter, B. De Bus, and K. De Bosschere. 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), pages 275-291, 2002.
6. B. De Sutter, B. De Bus, and K. De Bosschere. Link-time binary rewriting lechniques for program compaction. ACM Transactions on Programming Languages and Systems, 2005. To appear.
7. B. De Sutter, B. De Bus, K. De Bosschere, and S. Debray. Combining global code and data compaction. In Proc. of the ACM SIGPLAN Workshop on Languages, Compilers, and Tools for Embedded Systems, pages 29-38, 2001.
8. S. Debray, W. Evans, R. Muth, and B. De Sutter. Compiler techniques for code compaction. ACM Transactions on Programming Languages and Systems, 22(2):378-415, 3 2002.
9. S. Debray, R. Muth, and M. Weippert. Alias analysis of executable code. In Proceedings of the ACM 1998 Symposium on Principles of Programming Languages (POPL '98), pages 12-24, 1998.
10. R. Flower, C.-K. Luk, R. Muth, H. Patil, J. Shakshober, R. Cohn, and G. Lowney. Kernel optimizations and prefetch with the spike executable optimizer. In Proc of the 4th Workshop on Feedback-Directed and Dynamic Optimization (FDDO-4), 2001.
11. C.-T. Lee, J.-M. Lin, Z.-W. Hong, and W.-T. Lee. An application-oriented linux kernel customization for embedded systems. Journal of Information Science and Engineering, 20(6): 1093-1107, 2004.
12. J. Levine. Linkers & Loaders. Morgan Kaufmann Publishers, 2000.
13. C. Linn, S. Debray, G. Andrews, and B. Schwarz. Stack analysis of x86 executables. Available at http://www.cs.arizona.edu/people/debray.
14. M. Madou, B. De Sutter, B. De Bus, L. Van Put, and K. De Bosschere. Link-time optimization of MIPS programs. In Proceedings of the 2004 International Conference on Embedded Systems and Applications (ESA '04), 2004.
15. L. McVoy and C. Staelin. Imbench: Portable tools for performance analysis. In USENIX Annual Technical Conference, 1996.
16. S. S. Muchnick. Advanced Compiler Design & Implementation. Morgan Kaufmann Publishers, 1997.
17. R. Muth, S. Debray, S. Watterson, and K. De Bosschere. alto: a link-time optimizer for the compaq alpha. Software - Practice and Experience, 31(1):67-101, 2001.
18. K. Rajagopalan, S. Debray, M. Hiltunen, and R. Schlichting. Cassyopia: Compiler assisted system optimization. In Proc. 9th Usenix Workshop on Hot Topics in Operating Systems, 2003.
19. M. Ros and P. Sutton. Compiler optimization and ordering effects on vliw code compression. In Proceedings of the 2003 international conference on Compilers, architectures and synthesis for embedded systems, 2003.
20. W. Schmidt, R. Roediger, C. Mestad, B. Mendelson, I. Shavit-Lottem, and V. Bortnikov-Sitnitsky. Profile-directed restructuring of operating system code. IBM Systems Journal, 37(2), 1998.
21. B. Schwarz, S. Debray, G. Andrews, and M. Legendre. PLTO: A link-time optimizer for the intel ia-32 architecture. In Proc. 2001 Workshop on Binary Rewriting (WBT-2001), 2001.
22. S. E. Speer, R. Kumar, and C. Partridge. Improving unix kernel performance using profile based optimization. In 1994 Winter USENIX, pages 181-188, 1994.
23. A. Tamches and B. P. Miller. Fine-grained dynamic instrumentation of commodity operating system kernels. In Operating Systems Design and Implementation, pages 117-130, 1999.
24. A. Tamches and B. P. Miller. Dynamic kernel code optimization. In Workshop on Binary Translation (WBT-2001), 2001.