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.
Type de document :
Communication dans un congrès
Laurent George and Maryline Chetto andMikael Sjodin. 17th International Conference on Real-Time and Network Systems, Oct 2009, Paris, France. pp.115-126, 2009
Liste complète des métadonnées

Littérature citée [22 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/inria-00441993
Contributeur : Alain Monteil <>
Soumis le : jeudi 17 décembre 2009 - 17:50:12
Dernière modification le : samedi 11 novembre 2017 - 19:04:02
Document(s) archivé(s) le : jeudi 17 juin 2010 - 22:00:30

Fichier

ResourceManagement_Ripoll.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • 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. Laurent George and Maryline Chetto andMikael Sjodin. 17th International Conference on Real-Time and Network Systems, Oct 2009, Paris, France. pp.115-126, 2009. 〈inria-00441993〉

Partager

Métriques

Consultations de la notice

101

Téléchargements de fichiers

77