Skip to Main content Skip to Navigation
Conference papers

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 
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.
Complete list of metadata
Contributor : Isabelle Puaut Connect in order to contact the contributor
Submitted on : Tuesday, October 2, 2012 - 11:42:18 AM
Last modification on : Thursday, January 20, 2022 - 4:19:59 PM


  • HAL Id : hal-00737580, version 1


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. ⟨hal-00737580⟩



Record views