Sökning: onr:"swepub:oai:DiVA.org:mdh-7187" >
Bounding Shared-Sta...
Bounding Shared-Stack Usage in Systems with Offsets and Precedences
-
- Bohlin, Markus (författare)
- Mälardalens högskola,Akademin för innovation, design och teknik
-
- Hänninen, Kaj (författare)
- Mälardalens högskola,Akademin för innovation, design och teknik
-
- Mäki-Turja, Jukka (författare)
- Mälardalens högskola,Akademin för innovation, design och teknik
-
visa fler...
-
- Carlson, Jan (författare)
- Mälardalens högskola,Akademin för innovation, design och teknik
-
- Sjödin, Mikael (författare)
- Mälardalens högskola,Akademin för innovation, design och teknik
-
visa färre...
-
(creator_code:org_t)
- 2008
- 2008
- Engelska.
-
Ingår i: ECRTS 2008: PROCEEDINGS OF THE 20TH EUROMICRO CONFERENCE ON REAL-TIME SYSTEMS. - 9780769532981 ; , s. 276-285
- Relaterad länk:
-
https://urn.kb.se/re...
-
visa fler...
-
https://doi.org/10.1...
-
visa färre...
Abstract
Ämnesord
Stäng
- The paper presents two novel methods to bound the stack memory used in preemptive, shared stack, real-time systems. The first method is based on branch-and-bound search for possible preemption patterns, and the second one approximates the first in polynomial time. The work extends previous methods by considering a more general task-model, in which all tasks can share the same stack. In addition, the new methods account for precedence and offset relations. Thus, the methods give tight bounds for a large set of realistic systems. The methods have been implemented and a comprehensive evaluation, comparing our new methods against each other and against existing methods, is presented. The evaluation shows that our exact method can significantly reduce the amount of stack memory needed.
Publikations- och innehållstyp
- ref (ämneskategori)
- kon (ämneskategori)
Hitta via bibliotek
Till lärosätets databas