O(1)-online approximation of the slack for periodic task sets under EDF scheduling

Maryline Chetto (1) , Laurent George (2)

1 LS2N - Laboratoire des Sciences du Numérique de Nantes
2 LIGM - Laboratoire d'Informatique Gaspard-Monge

Scheduling tasks is one of the most challenging problems in real-time systems. In this paper, we assume that hard deadline periodic tasks are scheduled preemptively according to the Earliest Deadline First algorithm on uniprocessor. This work presents a framework for enhancing predictability in system behavior, when periodic task execution can be postponed. Our analysis first determines a lower bound to the slack defined as the time which may be stolen from hard deadline periodic tasks, without jeopardizing their timing constraints. Second, we show how to implement an efficient method for estimating the slack at run-time. This can be adopted to overcome practical situations where the slack has to be computed dynamically with acceptable time overheads.

Mots clés: Real-time scheduling; periodic tasks; slack; Earliest Deadline First; overhead

Domaines: Systèmes embarqués

Maryline Chetto, Laurent George. O(1)-online approximation of the slack for periodic task sets under EDF scheduling. The 4th IFAC Conference on Embedded Systems, Computational Intelligence and Telematics in Control (CESCIT 2021), Jul 2021, Valenciennes, France. ⟨hal-03222093⟩