Skip to Main content Skip to Navigation

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, Laboratoire I3S - 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.
Document type :
Complete list of metadata

Cited literature [18 references]  Display  Hide  Download
Contributor : Thomas Carle Connect in order to contact the contributor
Submitted on : Thursday, September 22, 2011 - 11:43:23 AM
Last modification on : Friday, January 21, 2022 - 3:17:47 AM
Long-term archiving on: : Friday, December 23, 2011 - 2:25:20 AM


Files produced by the author(s)


  • HAL Id : inria-00587319, version 2



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



Les métriques sont temporairement indisponibles