SODA

Determining maximum stack usage in preemptive shared stack systems

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.

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.

Item Type:Conference or Workshop Item (Paper)
ID Code:3553
Deposited By:Markus Bohlin
Deposited On:13 Mar 2009
Last Modified:18 Nov 2009 16:24

Repository Staff Only: item control page