Skip to Main content Skip to Navigation
New interface
Conference papers

Contract based management of the memory resource

Abstract : 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.
Document type :
Conference papers
Complete list of metadata

Cited literature [22 references]  Display  Hide  Download
Contributor : Alain Monteil Connect in order to contact the contributor
Submitted on : Thursday, December 17, 2009 - 5:50:12 PM
Last modification on : Monday, May 10, 2021 - 5:32:02 PM
Long-term archiving on: : Thursday, June 17, 2010 - 10:00:30 PM


Files produced by the author(s)


  • 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⟩



Record views


Files downloads