Logotype Mälardalenn University

MRTC publications



Determining Maximum Stack Usage in Preemptive Shared Stack Systems

Full text:  
Authors: Kaj Hänninen, Jukka Mäki-Turja, Markus Bohlin, Jan Carlson, Mikael Nolin
Source: The 27th IEEE Real-Time Systems Symposium, Rio de Janeiro, Brazil
 

Abstract

This paper presents a novel method to determine the maximum stack memory used in preemptive, shared stack, real-time systems. We provide a general and exact problem formulation applicable for any preemptive system model based on dynamic (run-time) properties. We also show how to safely approximate the exact stack usage by using static (compile time) information about the system model and the underlying run-time system on a relevant and commercially available system model: A hybrid, statically and dynamically, scheduled system. Comprehensive evaluations show that our technique significantly reduces the amount of stack memory needed compared to existing analysis techniques. For typical task sets a decrease in the order of 70% is typical.
 

BibTeX entry

@inproceedings{Hänninen_1163:2006,
   author = {Kaj H{\"a}nninen and Jukka M{\"a}ki-Turja and Markus Bohlin and Jan Carlson and Mikael Nolin},
   title = {Determining Maximum Stack Usage in Preemptive Shared Stack Systems},
   booktitle = {The 27th IEEE Real-Time Systems Symposium},
   month = {December},
   year = {2006},
   url = {http://www.mrtc.mdh.se/index.php?choice=publications&id=1163},
}

  • Mälardalen University |
  • Box 883 |
  • 721 23 Västerås/Eskilstuna |
  • 021-101300, 016-153600 |
  • webmaster |
  • Latest update: 2012.08.24