2014 26th Euromicro Conference on Real-Time Systems (ECRTS) (2014)
July 8, 2014 to July 11, 2014
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/ECRTS.2014.25
In the limited-preemption scheduling model, tasks cooperate to offer suitable preemption points for reducing the overall preemption overhead. In the fixed preemption-point model, tasks are allowed to preempt only at statically defined preemption points, reducing the variability of the preemption delay and making the system more predictable. Different works have been proposed to determine the optimal selection of preemption points for minimizing the preemption overhead without affecting the system schedulability due to increased non-preemptivity. However, all works are based on very restrictive task models, without being able to deal with common coding structures like branches, conditional statements and loops. In this work, we overcome this limitation, by proposing a pseudo-polynomial-time algorithm that is capable of determining the optimal set of preemption points to minimize the worst-case execution time of jobs represented by control flow graphs with arbitrarily-nested conditional structures, while preserving system schedulability. Exhaustive experiments are included to show that the proposed approach is able to significantly improve the bounds on the worst-case execution times of limited preemptive tasks.
Grammar, Production, Real-time systems, Analytical models, Computer languages, Upper bound, Switches,dynamic programming, limited-preemption scheduling, fixed preemption points, predictability, graph grammars
Bo Peng, Nathan Fisher, Marko Bertogna, "Explicit Preemption Placement for Real-Time Conditional Code", 2014 26th Euromicro Conference on Real-Time Systems (ECRTS), vol. 00, no. , pp. 177-188, 2014, doi:10.1109/ECRTS.2014.25