Contract based management of the memory resource - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year : 2009

Contract based management of the memory resource


Resource reservation has been widely used in many realtime systems to guarantee the proper access to the system resources. Despite that being the memory a key resource, it has attracted little attention in the specific area of realtime systems. In order to use dynamic memory in real-time systems, two fundamental problems have to be settled: allocation and deallocation in bounded time, and the fragmentation problem. Recent research results have removed the unbounded timing behaviour of the dynamic memory allocation. TLSF is a fast and constant time memory allocator. Although the fragmentation is still an open research problem, we present a deep and comparative analysis showing that it has several characteristics in common with the well-known WCET analysis. In this paper, we present a contract based framework for handling dynamic memory in real-time systems. The framework provides both: i) timing guarantee for dynamic memory allocation and deallocation operations, and ii) spatial guarantee by using a flexible contract negotiation model.
Fichier principal
Vignette du fichier
ResourceManagement_Ripoll.pdf (5.8 Mo) Télécharger le fichier
Origin : Files produced by the author(s)

Dates and versions

inria-00441993 , version 1 (17-12-2009)


  • HAL Id : inria-00441993 , version 1


Ismael Ripoll, Patricia Ballastre, Miguel Masmano, Alfons Crespo, Alan Burns. Contract based management of the memory resource. 17th International Conference on Real-Time and Network Systems, Oct 2009, Paris, France. pp.115-126. ⟨inria-00441993⟩


82 View
63 Download


Gmail Facebook X LinkedIn More