Jörg Herter

Learn More
—General-purpose dynamic memory allocation algorithms strive for small memory fragmentation and good average-case response times. Hard real-time settings, in contrast , place different demands on dynamic memory allocators: worst-case response times are more important than average-case response times. Furthermore, predictable cache behavior is a prerequisite(More)
—Current WCET analyses do not support dynamic memory allocation. This is mainly due to the un-predictability of the cache performance if standard memory allocators are used. We present a novel dynamic memory allocator that makes cache performance predictable and (de)allocates memory in constant time. It thereby enables WCET analysis in the presence of(More)
Hard real-time systems have to satisfy strict timing constraints. To prove that these constraints are met, timing analyses aim to derive safe upper bounds on tasks' execution times. Processor components such as caches, out-of-order pipelines, and speculation cause a large variation of the execution time of instructions, which may induce a large variability(More)
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(More)
Cache analysis plays a crucial part when analyzing the WCET of an application. This paper presents ongoing work aiming at a precise cache analysis in the presence of pointer-based, heap-allocated data structures. The proposed analysis achieves precision by augmenting its abstract cache states with information about the structure of the program's allocated(More)
  • Jörg Herter, Jan R Wilhelm Advisor, Reineke, Reviewers, Professor R B Wilhelm, Finkbeiner +4 others
  • 2008
Statement Hereby I conrm that this thesis is my own work and that I have documented all sources used. Herewith I agree that my thesis will be made available through the library of the Computer Acknowledgements I am indebted to my advisor Jan Reineke for his guidance and support during the whole course of this thesis. Our weekly discussions were a great(More)