Efficient Method for Periodic Task Scheduling with Storage Requirement Minimization

Abstract : In this paper, we study an efficient approximate integer linear programming formulation of the general problem of one-dimensional periodic task scheduling under storage requirement, irrespective of machine constraints. We have already presented in [8] a theoretical framework that allows an optimal optimization of periodic storage requirement in a periodic schedule. This problem is used to optimise processor register usage in embedded systems. Our storage optimisation problem being NP-complete [7], solving an exact integer linear programming formulation as proposed in [8] is too expensive in practice. In this article, we give an efficient approximate model that allows fast resolution times while providing nearly optimal results. Our solution has been implemented and included inside a compiler for embedded processors.
Type de document :
Communication dans un congrès
Second International Conference, COCOA 2008, Aug 2008, St. John's, Newfoundland and Labrador, Canada. Springer, 5165, pp.438-447, 2008, LNCS. 〈http://www.springerlink.com/content/1560012151250kh5/〉. 〈10.1007/978-3-540-85097-7_41〉
Liste complète des métadonnées

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

https://hal.inria.fr/inria-00637210
Contributeur : Sid Touati <>
Soumis le : lundi 31 octobre 2011 - 12:08:18
Dernière modification le : jeudi 11 janvier 2018 - 06:21:30
Document(s) archivé(s) le : jeudi 15 novembre 2012 - 10:50:49

Fichier

Efficient_Method_for_Periodic_...
Fichiers produits par l'(les) auteur(s)

Identifiants

Collections

Citation

Karine Deschinkel, Sid Touati. Efficient Method for Periodic Task Scheduling with Storage Requirement Minimization. Second International Conference, COCOA 2008, Aug 2008, St. John's, Newfoundland and Labrador, Canada. Springer, 5165, pp.438-447, 2008, LNCS. 〈http://www.springerlink.com/content/1560012151250kh5/〉. 〈10.1007/978-3-540-85097-7_41〉. 〈inria-00637210〉

Partager

Métriques

Consultations de la notice

107

Téléchargements de fichiers

109