Refined SRP Stack Memory Analysis by Exploiting Critical Sections for Shared Resources
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.)
Domaines
| Origine | Fichiers produits par l'(les) auteur(s) |
|---|---|
| Licence |
Loading...