Skip to Main content Skip to Navigation
New interface
Journal articles

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

Cited literature [36 references]  Display  Hide  Download
Contributor : Dumitru Potop-Butucaru Connect in order to contact the contributor
Submitted on : Thursday, December 18, 2014 - 11:47:53 AM
Last modification on : Thursday, August 4, 2022 - 4:52:33 PM
Long-term archiving on: : Monday, March 23, 2015 - 1:16:46 PM


Files produced by the author(s)




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



Record views


Files downloads