Multicore SMT scheduling of periodic task systems with energy minimization - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year :

Multicore SMT scheduling of periodic task systems with energy minimization


Energy budget is an intrinsic limitation of mobile electronic appliances such as smartphones or other connected objects. Energy saving is made to compete in modern design against performance optimization. Energy saving mechanisms are usually available (such as power or clock gating, frequency/voltage scaling), but methods to assess their efficiency operate at diverse levels. Either very high, with Excel-like formulas expressing cost functions in systems where applicative dynamic aspects are scarcely present, or already rather low with SystemC transaction-level simulation models in which dynamic abstractions of both actual applicative code and underlying Operating System and instruction-set architecture are needed. In the present paper we describe an intermediate level practical technique for exploiting power/performance ratio information with mathematical solving methods, such as Sat Modulo Theories (SMT) and Constraint Programming. The goal is to get estimation results and optimization proposals at the medium intermediate range, where application use cases have dynamic behaviors, but at a level much coarser than instruction-level code or even algorithmic function block. We present modeling and benchmark results illustrating our approach on a simple big.LITTLE-type architecture.
Fichier principal
Vignette du fichier
paper.pdf (292.78 Ko) Télécharger le fichier
Origin : Files produced by the author(s)

Dates and versions

hal-01282264 , version 1 (03-03-2016)


  • HAL Id : hal-01282264 , version 1


Emilien Kofman, Robert de Simone, Amani Khecharem. Multicore SMT scheduling of periodic task systems with energy minimization. Workshop on Highly-Reliable Power-Efficient Embedded Designs, Mar 2016, Barcelone, Spain. ⟨hal-01282264⟩
238 View
108 Download


Gmail Facebook Twitter LinkedIn More