mdh.sePublikationer
Ändra sökning
RefereraExporteraLänk till posten
Permanent länk

Direktlänk
Referera
Referensformat
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Annat format
Fler format
Språk
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Annat språk
Fler språk
Utmatningsformat
  • html
  • text
  • asciidoc
  • rtf
Safe Shared Stack Bounds in Systems with Offsets and Precedences
Mälardalens högskola, Akademin för innovation, design och teknik.ORCID-id: 0000-0003-1597-6738
Mälardalens högskola, Akademin för innovation, design och teknik.ORCID-id: 0000-0003-0757-822X
Mälardalens högskola, Akademin för innovation, design och teknik.ORCID-id: 0000-0003-2957-0966
Mälardalens högskola, Akademin för innovation, design och teknik.ORCID-id: 0000-0002-8461-0230
Visa övriga samt affilieringar
2008 (Engelska)Rapport (Övrigt vetenskapligt)
Abstract [en]

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 taskmodel, 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. In our simulations, a decrease in the order of 40% was typical, with a runtime in the order of seconds. Our polynomial approximation consequently yields about 20% higher bound than the exact method. 

Ort, förlag, år, upplaga, sidor
Mälardalen Real-Time Research Centre, Mälardalen University , 2008.
Serie
MRTC report, ISSN 1404-3041
Nationell ämneskategori
Teknik och teknologier
Identifikatorer
URN: urn:nbn:se:mdh:diva-7106ISRN: MDH-MRTC-221/2008-1-SEOAI: oai:DiVA.org:mdh-7106DiVA, id: diva2:237116
Tillgänglig från: 2009-09-25 Skapad: 2009-09-25 Senast uppdaterad: 2014-02-04Bibliografiskt granskad

Open Access i DiVA

Fulltext saknas i DiVA

Personposter BETA

Bohlin, MarkusHänninen, KajMäki-Turja, JukkaCarlson, JanNolin, Mikael

Sök vidare i DiVA

Av författaren/redaktören
Bohlin, MarkusHänninen, KajMäki-Turja, JukkaCarlson, JanNolin, Mikael
Av organisationen
Akademin för innovation, design och teknik
Teknik och teknologier

Sök vidare utanför DiVA

GoogleGoogle Scholar

urn-nbn

Altmetricpoäng

urn-nbn
Totalt: 53 träffar
RefereraExporteraLänk till posten
Permanent länk

Direktlänk
Referera
Referensformat
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Annat format
Fler format
Språk
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Annat språk
Fler språk
Utmatningsformat
  • html
  • text
  • asciidoc
  • rtf