Throughput Optimization by Software Pipelining of Conditional Reservation 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 : Reservation tables are used at various levels in embedded systems design to represent the allocation of resources in cyclic computations. They model system-level static realtime task schedules in fields like automotive or avionics, but also model the cycle-accurate ordering of instructions at microarchitectural level, as used in software pipelining. To optimize system throughput, successive execution cycles can be pipelined, subject to resource constraints and intercycle data dependencies. In this paper we take inspiration from software pipelining and predicate-aware scheduling to define system-level pipelining techniques for task schedules given under the form of reservation tables. Our algorithms start from predicated reservation tables output by state-of-the-art latency-optimizing embedded design tools. They significantly optimize system throughput while maintaining the required strictly periodic execution model and the end-to-end latency guarantees of the input reservation table. We demonstrate the approach on real-life scheduling problems.
Type de document :
Rapport
[Research Report] RR-7606, INRIA. 2011
Liste complète des métadonnées

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

https://hal.inria.fr/inria-00587319
Contributeur : Thomas Carle <>
Soumis le : jeudi 22 septembre 2011 - 11:43:23
Dernière modification le : mardi 17 avril 2018 - 11:31:50
Document(s) archivé(s) le : vendredi 23 décembre 2011 - 02:25:20

Fichiers

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

Identifiants

  • HAL Id : inria-00587319, version 2

Collections

Citation

Thomas Carle, Dumitru Potop-Butucaru. Throughput Optimization by Software Pipelining of Conditional Reservation tables. [Research Report] RR-7606, INRIA. 2011. 〈inria-00587319v2〉

Partager

Métriques

Consultations de la notice

426

Téléchargements de fichiers

170