Skip to Main content Skip to Navigation
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 metadatas

Cited literature [22 references]  Display  Hide  Download

https://hal.inria.fr/inria-00441993
Contributor : Alain Monteil <>
Submitted on : Thursday, December 17, 2009 - 5:50:12 PM
Last modification on : Wednesday, June 3, 2020 - 10:54:04 AM
Long-term archiving on: : Thursday, June 17, 2010 - 10:00:30 PM

File

ResourceManagement_Ripoll.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : inria-00441993, version 1

Collections

Citation

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⟩

Share

Metrics

Record views

161

Files downloads

170