Predicate-aware, makespan-preserving software pipelining of scheduling tables

Thomas Carle 1 Dumitru Potop-Butucaru 1
1 AOSTE - Models and methods of analysis and optimization for systems with real-time and embedding constraints
CRISAM - Inria Sophia Antipolis - Méditerranée , Inria Paris-Rocquencourt, COMRED - COMmunications, Réseaux, systèmes Embarqués et Distribués
Abstract : We propose a software pipelining technique adapted to specific hard real-time scheduling problems. Our technique optimizes both computation throughput and execution cycle makespan, with makespan being prioritary. It also takes advantage of the predicated execution mechanisms of our embedded execution plat-form. To do so, it uses a reservation table formalism allowing the manipulation of the execution conditions of operations. Our reservation tables allow the double reservation of a resource at the same dates by two different operations, if the operations have exclusive execution conditions. Our analyses can determine when double reservation is possible even for operations belonging to different iterations.
Type de document :
Article dans une revue
ACM Transactions on Architecture and Code Optimization, Association for Computing Machinery, 2014, 11, pp.1 - 26. <10.1145/2579676>
Liste complète des métadonnées


https://hal.inria.fr/hal-01095123
Contributeur : Dumitru Potop-Butucaru <>
Soumis le : jeudi 18 décembre 2014 - 11:47:53
Dernière modification le : lundi 5 octobre 2015 - 16:59:53
Document(s) archivé(s) le : lundi 23 mars 2015 - 13:16:46

Fichier

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

Identifiants

Collections

Citation

Thomas Carle, Dumitru Potop-Butucaru. Predicate-aware, makespan-preserving software pipelining of scheduling tables. ACM Transactions on Architecture and Code Optimization, Association for Computing Machinery, 2014, 11, pp.1 - 26. <10.1145/2579676>. <hal-01095123>

Partager

Métriques

Consultations de
la notice

249

Téléchargements du document

114