License
when quoting this document, please refer to the following
DOI: 10.4230/OASIcs.WCET.2010.124
URN: urn:nbn:de:0030-drops-28320
URL: http://drops.dagstuhl.de/opus/volltexte/2010/2832/

Herter, Jörg ; Altmeyer, Sebastian

Precomputing Memory Locations for Parametric Allocations

pdf-format:
Dokument 1.pdf (318 KB)


Abstract

Current worst-case execution time (WCET) analyses do not support programs using dynamic memory allocation. This is mainly due to the unpredictability of cache performance introduced by standard memory allocators. To overcome this problem, algorithms have been proposed that precompute static allocations for dynamically allocating programs with known numeric bounds on the number and sizes of allocated memory blocks. In this paper, we present a novel algorithm for computing such static allocations that can cope with parametric bounds on the number and sizes of allocated blocks. To demonstrate the usefulness of our approach, we precompute static allocations or a set of existing real-time applications and academic examples.

BibTeX - Entry

@InProceedings{herter_et_al:OASIcs:2010:2832,
  author =	{J{\"o}rg Herter and Sebastian Altmeyer},
  title =	{{Precomputing Memory Locations for Parametric Allocations}},
  booktitle =	{10th International Workshop on Worst-Case Execution Time Analysis (WCET 2010)},
  pages =	{124--135},
  series =	{OpenAccess Series in Informatics (OASIcs)},
  ISBN =	{978-3-939897-21-7},
  ISSN =	{2190-6807},
  year =	{2010},
  volume =	{15},
  editor =	{Bj{\"o}rn Lisper},
  publisher =	{Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{http://drops.dagstuhl.de/opus/volltexte/2010/2832},
  URN =		{urn:nbn:de:0030-drops-28320},
  doi =		{http://dx.doi.org/10.4230/OASIcs.WCET.2010.124},
  note =	{The printed version of the WCET'10 proceedings are published by OCG (www.ocg.at) - ISBN 978-3-85403-268-7},
  annote =	{Keywords: WCET analysis, cache analysis, dynamic/static memory allocation}
}

Keywords: WCET analysis, cache analysis, dynamic/static memory allocation
Seminar: 10th International Workshop on Worst-Case Execution Time Analysis (WCET 2010)
Issue date: 2010
Date of publication: 26.11.2010


DROPS-Home | Fulltext Search | Imprint Published by LZI