An Improved Preemption Delay Upper Bound for Floating Non-Preemptive Region Scheduling

José Marinho 1 Vincent Nélis 1 Stefan M. Petters 1 Isabelle Puaut 2
1 IPP-HURRAY
CISTER [Porto]
2 ALF - Amdahl's Law is Forever
Inria Rennes – Bretagne Atlantique , IRISA-D3 - ARCHITECTURE
Abstract : In embedded systems, the timing behaviour of the control mechanisms are sometimes of critical importance for the operational safety. These high criticality systems require strict compliance with the offline predicted task execution time. The execution of a task when subject to preemption may vary significantly in comparison to its non-preemptive execution. Hence, when preemptive scheduling is required to operate the workload, preemption delay estimation is of paramount importance. In this paper a preemption delay estimation method for floating non-preemptive scheduling policies is presented. This work builds on [1], extending the model and optimising it considerably. The preemption delay function is subject to a major tightness improvement, considering the WCET analysis context. Moreover more information is provided as well in the form of an extrinsic cache misses function, which enables the method to provide a solution in situations where the nonpreemptive regions sizes are small. Finally experimental results from the implementation of the proposed solutions in Heptane are provided for real benchmarks which validate the significance of this work.
Type de document :
Communication dans un congrès
7th IEEE International Symposium on Industrial Embedded Systems (SIES'12), Jun 2012, Karlsruhe, Germany. 2012
Liste complète des métadonnées
https://hal.inria.fr/hal-00737580
Contributeur : Isabelle Puaut <>
Soumis le : mardi 2 octobre 2012 - 11:42:18
Dernière modification le : mercredi 11 avril 2018 - 02:01:28

Identifiants

  • HAL Id : hal-00737580, version 1

Collections

INRIA | IRISA | IRISA-D3 | UR1-UFR-ISTIC | UNIV-RENNES | INRIA-RENGRE

Citation

José Marinho, Vincent Nélis, Stefan M. Petters, Isabelle Puaut. An Improved Preemption Delay Upper Bound for Floating Non-Preemptive Region Scheduling. 7th IEEE International Symposium on Industrial Embedded Systems (SIES'12), Jun 2012, Karlsruhe, Germany. 2012. 〈hal-00737580〉

Exporter

BibTeX TEI DC DCterms EndNote

Partager

Métriques

Consultations de la notice

257

Contact


archive-ouverte@inria.fr