Communication Dans Un Congrès Année : 2014

Refined SRP Stack Memory Analysis by Exploiting Critical Sections for Shared Resources

Simon Aittamaa
  • Fonction : Auteur
  • PersonId : 1052893
Per Lindgren
  • Fonction : Auteur

Résumé

In this paper we refine previous results on stack memory analysis for SRP based systems. For a task J we associate the section of code in between a resource request and release of R to a sub-task J R . If J R is implemented as a function, the stack usage of J R can be accounted for locally (and not part of the initial allocation for J as done in previously published work.)

Mots clés

Fichier principal
Vignette du fichier
ERTS_2014_submission_114.pdf (315.03 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)
Licence
Loading...

Dates et versions

hal-02272330 , version 1 (27-08-2019)

Licence

Identifiants

  • HAL Id : hal-02272330 , version 1

Citer

Johan Eriksson, Simon Aittamaa, Per Lindgren. Refined SRP Stack Memory Analysis by Exploiting Critical Sections for Shared Resources. Embedded Real Time Software and Systems (ERTS2014), Feb 2014, Toulouse, France. ⟨hal-02272330⟩

Collections

103 Consultations
131 Téléchargements

Partager

  • More