MTSS: Multi task stack sharing for embedded systems

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

Volumn , Issue , 2005, Pages 191-201

  Middha, Bhuvan ^a   Simpson, Matthew ^a   Barua, Rajeev ^a  

^a UNIVERSITY OF MARYLAND   (United States)

Author keywords

Cactus stack; Heap overflow; Meshed stack; Out of memory; Reliability; Reuse; Runtime checks; Stack overflow

Indexed keywords

COSTS; DATA STORAGE EQUIPMENT; PAGING SYSTEMS; RELIABILITY;

OUT-OF-MEMORY; RUNTIME CHECKS; STACK OVERFLOW;

EMBEDDED SYSTEMS;

EID: 29144482673     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (30)

1. ARM7TDMI Technical Reference Manual, fourth edition, May 2003, Document No. ARM DDI0210B.
2. T. Baker. A stack-based resource allocation policy for realtime processes. In Proceedings of the Real-Time Systems Symposium, pages 191-200, 1990.
3. S. Biswas, M. Simpson, and R. Barua. Memory overflow protection for embedded systems using run-time checks, reuse and compression. In Proceedings of the International Conference on Compilers, Architecture, and Synthesis for Embedded Systems, pages 280-291. ACM Press, 2004.
4. D. Bobrow and B. Wegbreit. A model and stack implementation of multiple environments. In Comm. of the ACM, pages 591-603, Oct 1973.
5. D. Brylow, N. Damgaard, and J. Palsberg. Static checking of interrupt-driven software. In Proceedings of the 23rd international conference on software engineering, pages 47-56, May 2001.
6. J. Carbone. Efficient memory protection for embedded systems, 2004. www.rtcmagazine.com/home/article.php?ids=100120.
7. N. D. D. Brylow and J. Palsberg. Stack-size estimation for interrupt-driven microcontrollers. Technical report, Purdue University, June 2000.
8. D. J. Dionne. uClinux - Embedded Linux Microcontroller Project. http://www.uclinux.org/.
9. M. Durrant. Running linux on low cost, low power mmu-less processors, August 2000. www.linuxdevices.com/articles/AT6245686197.html.
10. The GCC Compiler, http://gcc.gnu.org/.
11. GDB: The GNU Project Debugger. http://www.gnu.org/software/gdb/gdb.html.
12. D. Grunwald and R. Neves. Whole-program optimization for time and space efficient threads, In Proceedings of the Seventh Intl. Conference on Architectural Support for Programming Languages and Operating Systems, pages 50-59. ACM Press, 1996.
13. M. R. Guthaus, J. S. Ringenberg, D. Ernst, T. M. Austin, T. Mudge, and R. B. Brown. Mibench: A free, commercially representative embedded benchmark suite. In Proceedings of the IEEE 4th Annual Workshop on Workload Characterization, Dec 2001.
14. E. Hauck and B. Dent. Burroughs b6500/b7500 stack mechanism, In Proceedings of AFIPS, SJCC, vol 32, pages 245-251, 1968.
15. J. Hennessy and D. Patterson. Computer Architecture: A Quantitative Approach. Morgan Kaufmann, 2003.
16. G. Hogen and R. Loogen. A new stack technique for the management of runtime structures in distributed implementations. Technical report, RWTH Aachen, Germany, 1993. citeseer.ist.psu.edu/hogen93new.html.
17. B. L. Jacob and T. N. Mudge. Uniprocessor virtual memory without tlbs. IEEE Transactions on Computers, 50(5):482-499, May 2001.
18. D. Jagger and D. Seal. ARM Architecture Reference Manual. Addison Wesley, 2000.
19. D. Kleidermacher and M. Griglock. Safety-Critical Operating Systems. Embedded Systems Programming, 14(10), September 2001. http://www.embedded.com/- story/OEG20010829S0055.
20. B. Lamie. A multitasking revolution, 2000. www.netsilicon.com/pdf/ article.expresslogic2.pdf.
21. R. Moore. Unbound stacks and stoppable tasks, 2001. www. programmersheaven.com/articles/smx/article3.htm.
22. G. V. Neville-Neil, Programming without a net. ACM Queue: Tomorrow's Computing Today, 1(2):16-23, April 2003.
23. P. R. Panda, F. Catthoor, N. D. Dutt, K. Danckaert, E. Brockmeyer, C. Kulkarni, A. Vandercappelle, and P. G. Kjeldsberg. Data and memory optimization techniques for embedded systems. ACM Transactions on Design Automation Electronic Systems, 6(2):149-206, 2001.
24. M. Pizka. Thread segment stacks. In In Proceedings of International Conference on Parallel and Distributed Processing Techniques and Applications, June 1999.
25. J. Regehr, A. Reid, and K. Webb. Eliminating stack overflow by abstract interpretation. In Proceedings of the 3rd International Conference on Embedded Software, pages 306-322. Springer-Verlag, 2003.
26. D. M. Shantanu Sardesai and P. Dasgupta. Distributed cactus stacks: Runtime stack-sharing support for distributed parallel programs. In Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications, July 1998.
27. R. Uhlig, D. Nagle, T. Stanley, T. Mudge, S. Sechrest, and R. Brown. Design tradeoffs for software-managed tlbs. ACM Transactions on Computer Systems, 12(3):175-205, 1994.
28. R. von Behren, J. Condit, F. Zhou, G. C. Necula, and E. Brewer. Capriccio: Scalable threads for internet services. In Proceedings of the Nineteenth ACM Symposium on Operating Systems Principles, pages 268-281. ACM Press, 2003.
29. E. Witchel, J. Gates, and K. Asanovi. Mondrian memory protection. In Proceedings of the 10th International Conference on Architectural Support for Programming Languages and Operating Systems, pages 304-316. ACM Press, 2002.
30. K.-F. Wong and B. Dageville. Supporting thousands of threads using a hybrid stack sharing scheme, In Proceedings of the ACM Symposium on Applied Computing, pages 493-498. ACM Press, 1994.