MTSS: Multitask stack sharing for embedded systems

Transactions on Embedded Computing Systems

Volumn 7, Issue 4, 2008, Pages

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

^a UNIVERSITY OF MARYLAND   (United States)

^b UNIVERSITY OF MARYLAND   (United States)

Author keywords

Cactus stack; Data compression; Heap overflow; Meshed stack; Out of memory errors; Reliability; Reuse; Runtime checks; Stack overflow; Virtual memory

Indexed keywords

CACTUS STACK; CONVENTIONAL SYSTEMS; DATA COMPRESSION; FREE SPACES; HEAP OVERFLOW; INPUT DATA; LANGUAGE FEATURES; MAIN MEMORIES; MEMORY FOOTPRINTS; MEMORY REQUIREMENTS; MESHED STACK; OUT-OF-MEMORY; OUT-OF-MEMORY ERRORS; PHYSICAL MEMORIES; RELIABILITY; REMEDIAL ACTIONS; REUSE; RUN-TIME; RUNTIME CHECKS; STACK MEMORY; STACK OVERFLOW; SYSTEM CRASHES; VIRTUAL MEMORY;

COMPUTER PROGRAMMING LANGUAGES; ESTIMATION; INTEGRATED CIRCUITS;

EMBEDDED SYSTEMS;

EID: 49449095472     PISSN: 15399087     EISSN: 15583465     Source Type: Journal    
DOI: 10.1145/1376804.1376814     Document Type: Article

References (36)

1. APPEL, A. W. 1987. Garbage collection can be faster than stack allocation. Inform. Process. Lett. 25, 4, 275-279.
2. APPEL, A. W. AND GINSBURG, M. 1998. Modern Compiler Implementation in C. Cambridge University Press, Cambridge, UK.
3. ARM 2003. ARM7TDMI Technical Reference Manual 4th Ed. Document No. ARM DDI0210B.
4. BAKER, T. 1990. A stack-based resource allocation policy for realtime processes. In Proceedings of the Real-Time Systems Symposium. 191-200.
5. BEHREN, R. V., CONDIT, J., ZHOU, F.,NECULA, G. C., AND BREWER, E. 2003. Capriccio: Scalable threads for internet services. In Proceedings of the 19th ACM Symposium on Operating Systems Principles. ACM Press, New York. 268-281.
6. BENNETT, M. AND AUDSLEY, N. 2001. Predictable and efficient virtual addressing for safety-critical real-time systems. In Proceedings of the 13th Euromicro Conference on Real-Time Systems. Delft, The Netherlands. IEEE Computer Society, Los Alamitos, CA. 183-190.
7. BISWAS, S., SIMPSON, M.,CARLEY, T.,MIDDHA, B., ANDBARUA,R. 2006. Memory overflow protection for embedded systems using run-time checks, reuse and compression. ACM Trans. Embed. Comput. Syst. To Appear.
8. BOBROW, D. ANDWEGBREIT, B. 1973. A model and stack implementation of multiple environments. Comm. ACM. 591-603
9. BRYLOW, D., DAMGAARD, N., AND PALSBERG, J. 2000. Stack-size estimation for interrupt-driven microcontrollers. Tech. rep. Purdue University.
10. BRYLOW, D., DAMGAARD, N., AND PALSBERG, J. 2001. Static checking of interrupt-driven software. In Proceedings of the 23rd International Conference on Software Engineering. 47-56.
11. CARBONE, J. 2004. Efficient memory protection for embedded systems. RTC Magazine.
12. DIONNE, D. J. 1998. uClinux - Embedded Linux Microcontroller Project.
13. DURRANT, M. 2000. Running linux on low cost, low power mmu-less processors. http://www.linuxdevices.com/articles/AT6245686197.html.
14. GCC. The GCC Compiler. http://gcc.gnu.org/.
15. GDB. GDB: The GNU Project Debugger. http:/www.gnu.org/software/gdb/gdb. html.
16. GRUNWALD, D. AND NEVES, R. 1996. Whole-program optimization for time and space efficient threads. In Proceedings of the 7th International Conference on Architectural Support for Programming Languages and Operating Systems. ACM Press, New York. 50-59.
17. GUTHAUS, M. R., RINGENBERG, J. S., ERNST, D., AUSTIN, T. M., MUDGE, T., AND BROWN, R. B. 2001. Mibench: A free, commercially representative embedded benchmark suite. In Proceedings of the IEEE 4th Annual Workshop on Workload Characterization.
18. HAUCK, E. AND DENT, B. 1968. Burroughs b 6500/b 7500 stack mechanism. In Proceedings of AFIPS SJCC. 32, 245-251.
19. HENNESSY, J. AND PATTERSON, D. 2002. Computer Architecture: A Quantitative Approach 3rd Ed. Morgan Kaufmann, Burlington, MA.
20. HERTZ, M. AND BERGER, E. D. 2005. Quantifying the performance of garbage collection vs. explicit memory management. SIGPLAN Not. 40, 10, 313-326.
21. HOGEN, G. AND LOOGEN, R. 1993. A new stack technique for the management of runtime structures in distributed implementations. Tech. rep., RWTH Aachen, Germany. http://citeseer.ist.psu.edu/ hogen93new.html.
22. JAGGER, D. AND SEAL, D. 2000. ARM Architecture Reference Manual. Addison Wesley, Reading, MA.
23. KLEIDERMACHER, D. AND GRIGLOCK, M. 2001. Safety-Critical Operating Systems. Embedded Syst. Program. 14, 10. http://www.embedded.com/story/-OEG20010829S0055.
24. MIDDHA, B. 2006. MTSS: Multi task stack sharing for embedded systems. M.S. thesis, University of Maryland, College Park, MD.
25. MONTANARO, J. ET AL. 1996. A 160MHz, 32b, 0.5W CMOS RISC microprocessor. IEEE J. Solid State Circuit 31, 11, 1703-1714.
26. MOORE, R. 2001. Unbound stacks and stoppable tasks. http://www.programmersheaven.com/articles/smx/article3.htm.
27. PANDA, P. R., CATTHOOR, F., DUTT,N. D., DANCKAERT, K., BROCKMEYER, E., KULKARNI, C., VANDERCAPPELLE, A., AND KJELDSBERG, P. G. 2001. Data and memory optimization techniques for embedded systems. ACM Trans. Des. Autom. Electron. Syst. 6, 2, 149-206.
28. PIZKA, M. 1999. Thread segment stacks. In Proceedings of International Conference on Parallel and Distributed Processing Techniques and Applications.
29. REGEHR, J., REID, A., ANDWEBB, K. 2003. Eliminating stack overflow by abstract interpretation. In Proceedings of the 3rd International Conference on Embedded Software. Springer-Verlag, Berlin. 306-322.
30. SHANTANU SARDESAI, D. M. AND DASGUPTA, P. 1998. Distributed cactus stacks: Runtime stacksharing support for distributed parallel programs. In Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications.
31. SILBERSCHATZ, A. AND PETER BAER GALVIN, G. G. Operating Systems Concepts 7th Ed. JohnWiley, New York.
32. SINHA, A. AND CHANDRAKASAN, A. P. 2001. JouleTrack: A web based tool for software energy profiling. In Proceedings of the 38th Conference on Design Automation (DAC'01). 220-225.
33. TIWARI, V., MALIK, S., AND WOLFE, A. 1994. Power analysis of embedded software: A first step towards software power minimization. In IEEE Trans. VLSI Syst. 437-445.
34. WANG, Y. AND SAKSENA, M. 1999. Scheduling fixed priority tasks using preemption threshold. In Proceedings of the 6th International Conference on Real Time Computer Systems and Applications.
35. WITCHEL, E., CATES, J., AND ASANOVIĆ, K. 2002. Mondrian memory protection. In Proceedings of the 10th International Conference on Architectural Support for Programming Languages and Operating Systems. ACM Press, New York. 304-316.
36. WONG, K.-F. AND DAGEVILLE, B. 1994. Supporting thousands of threads using a hybrid stack sharing scheme. In Proceedings of the ACM Symposium on Applied Computing. ACM Press, New York. 493-498.