Hänninen, Kaj and Mäki-Turja, Jukka and Bohlin, Markus and Carlson, Jan and Nolin, Mikael (2006) Determining maximum stack usage in preemptive shared stack systems. In: The 27th IEEE Real-Time Systems Symposium, 5-8 Dec 2006, Rio de Janeiro, Brazil.
Full text not available from this repository.
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.
|Item Type:||Conference or Workshop Item (Paper)|
|Deposited By:||Markus Bohlin|
|Deposited On:||13 Mar 2009|
|Last Modified:||18 Nov 2009 16:24|
Repository Staff Only: item control page