An improved preemption delay upper bound for floating non-preemptive region

Marinho, José; Nélis, Vincent; Petters, Stefan M.; Puaut, Isabelle

http://hdl.handle.net/10400.22/3706

Use this identifier to reference this record.

Name:	Description:	Size:	Format:
COM_VincentNelis_2012_CISTER.pdf		1.07 MB	Adobe PDF	Download

Send Feedback

Authors

Abstract(s)

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 non-preemptive 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.