Memory overflow protection for embedded systems using run-time checks, reuse and compression

CASES 2004: International Conference on Compilers, Architecture, and Synthesis for Embedded Systems

Volumn , Issue , 2004, Pages 280-291

  Biswas, Surupa ^a   Simpson, Matthew ^b   Barua, Rajeev ^a  

^a Univ of   (United States)

^b CLEMSON UNIVERSITY   (United States)

Author keywords

Data compression; Heap overflow; Out of memory errors; Reliability; Reuse; Runtime checks; Stack overflow

Indexed keywords

DATA STORAGE EQUIPMENT; ERROR DETECTION; OPTIMIZATION; PROGRAM COMPILERS; RELIABILITY; SECURITY OF DATA;

HEAP OVERFLOW; OUT-OF-MEMORY ERRORS; REUSE; RUNTIME CHECKS; STACK OVERFLOW;

EMBEDDED SYSTEMS;

EID: 29144476733     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1023833.1023872     Document Type: Conference Paper

References (35)

1. High availability design for embedded systems. Technical report, Wind River, Inc. http://www.windriver.com/whitepapers/high-availability-design.html.
2. Andrew W. Appel and Maia Ginsburg. Modern Compiler Implementation in C. Cambridge Univ. Press, January 1998.
3. Atmel Microcontrollers based on 8051 Architecture. http://www.atmel.com/ products/8051.
4. Joel F. Bartlett. Compacting Garbage Collection with Ambiguous Roots. Technical report, DEC Western Research Laboratory, Palo Alto, CA, February 1988.
5. Rob Von Bohren, Jeremy Condit, Feng Zhou, George Necula, and Eric Brewer. Cappricio: Scalable Threads for Internet Services. In Proc., ACM Symposium on Operating Systems Principles (SOSP), October 2003.
6. H-J. Boehm and M. Weiser. Garbage Collection in an Uncooperative Environment. Software-Practice and Experience, pages 807-820, September 1988.
7. D. Brylow, N. Damgaard, and J. Palsberg. Stack-size Estimation for Interrupt-driven Microcontrollers. Technical report, Purdue University, June 2000. http://www.brics.dk/damgaard/Download/zilog-test.pdf.
8. G. Chen, R. Shetty, M. Kandemir, N. Vijaykrishnan, and M.J. Irwin. Tuning Garbage Collection in an Embedded Java Environment. In Eighth International Symposium on High-Performance Computer Architecture (HPCA'02), pages 92-106, Boston, Massachusettes, February 2002. IEEE.
9. Manuvir Das. Unification-based pointer analysis with directional assignments. In Proceedings of the SIGPLAN '00 Conference on Program Language Design and Implementation, pages 35-46, Vancouver, BC, June 2000.
10. Amer Diwan, J. Eliot Moss, and Kathryn McKinley. Simple and effective analysis of statically-typed object-oriented programs. In Proc. of the 11th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications, pages 292-305. ACM Press, 1996.
11. Document No. ARM DDI0084D, ARM Ltd. ARM7TDM1-S Data sheet, October 1998.
12. Michael Durrant. Running Linux on low cost, low power MMU-less processors. August 2000. http://www.linuxdevices.com/articles/AT6245686197.html.
13. Jakob Engblom. Staue properties of commercial embedded real-time programs and their implication for worst-case execution time analysis. In Proc. of the IEEE Real-Time Technology & Applications Symposium (RTAS), June 1999.
14. M. Game and A. Booker. Codepack: Code compression for PowerPC processors. MicroNews 5(1), 1999.
15. John Hennessy and David Patterson. Computer Architecture: A Quantitative Approach. Morgan Kaufmann, Palo Alto, CA, third edition, 2002.
16. Intel i960Sx 32-bit Microprocessor. Intel Corporation. http://www.intel.com/design/i960/documentation/docs_sx.htm.
17. David Kleidermacher and Mark Griglock. Safety-Critical Operating Systems. Embedded Systems Programming, 14(10), September 2001. http://www.embedded.com/ story/OEG20010829S0055.
18. Rafael C. Krapf, Jlio C. B. Mattos, Gustavo Spellmeier, and Luigi Cairo. A Study on a Garbage Collector for Embedded Applications. In 15th Symposium on Integrated Circuits and Systems Design, pages 127-134, Porto Alegre, Brazil, September 2002. IEEE.
19. Sergei Y. Larin and Thomas M. Conte. Compiler-Driven Cached Code Compression Schemes for Embedded ILP Processors. In 32nd Int'l Symposium on Microarchitecture, pages 82-92, Haifa, Israel, November 1999. IEEE.
20. Doug Lea. A Memory Allocator. April 2000. http://gee.cs.oswego.edu/dl/ html/malloc.html.
21. C.D. Lo. The Design of a Self-Maintained Memory Module for Real-Time Systems. In The 3rd IEEE International Workshop on System-on-Chip for Real-Time Applications, Alberta, Canada, July 2003. IEEE.
22. Windows CE.NET. Microsoft Corporation. http://www.microsoft.com/embedded/ ce.net/default.aspx.
23. Motorola. M68000 User's Manual. Prentice Hall, Englewood Cliffs, NJ.
24. M-CORE - MMC2001 Reference Manual. Motorola Corporation, 1998. http://www.motorola.com/SPS/MCORE/info.documentation.htm.
25. George V. Neville-Neil. Programming Without A Net. ACM Queue: Tomorrow's Computing Today, 1(2): 16-23, April 2003.
26. Patrik Persson. Live memory analysis for garbage collection in embedded systems. In Proceedings of the ACM SIGPLAN 1999 workshop on Languages, compilers, and tools for embedded systems, pages 45-54. ACM Press, 1999.
27. Wind River. High Availability Design for Embedded Systems, http://www.windriver.com/whitepapers/high_availability_design.html.
28. Matthew Simpson, Surupa Biswas, and Rajeev Barua. Analysis of Compression Algorithms for Program Data. Technical report, U. of Maryland, ECE department, August 2003. http://www.ece.umd.edu/barua/matt-compress-tr.pdf.
29. David Solomon. Data Compression: The Complete Reference. Springer-Verlag Inc., New York, 2000.
30. Bjarne Steensgaard. Points-to analysis in almost linear time. In Symposium on Principles of Programming Languages (POPL), St. Petersburg Beach, FL, January 1996.
31. Krishnan Sundaresan and Nihar R. Mahapatra. Code Compression Techniques for Embedded Systems and Their Effectiveness. In IEEE Computer Society Annual Symposium on VLSI (ISVLSI'03), pages 262-263, Tampa, Florida, February 2003. IEEE.
32. MSP430 Ultra-Low-Power MCUs. Texas Instruments, 2004. http://focus.ti.com/lit/ml/slab034g/slab034g.pdf.
33. Sumesh Udayakumaran and Rajeev Barua. Compiler-decided dynamic memory allocation for scratch-pad based embedded systems. In Proceedings of the international conference on Compilers, architectures and synthesis for embedded systems, pages 276-286. ACM Press, 2003.
34. Paul R. Wilson, Scott F. Kaplan, and Yannis Smaragdakis. The case for compressed caching in virtual memory systems. In Proceedings of the USENIX Annual Technical Conference, Monterey, CA, June 1999.
35. Youtao Zhang and Rajiv Gupta. Data Compression Transformations for Dynamically Allocated Data Structures. In Proceedings of the International Conference on Compiler Construction LNCS 2304, pages 14-28, April 2002.