Litcius/Paper detail

EDF-Like Scheduling for Self-Suspending Real-Time Tasks

Mario Günzel, Georg von der Brüggen, Kuan-Hsun Chen, Jian-Jia Chen

202214 citationsDOIOpen Access PDF

Abstract

In real-time systems, schedulability analyses provide the required timing guarantees. However, current suspension-aware analyses are limited to Task-Level Fixed-Priority (TFP) scheduling or Earliest-Deadline-First (EDF) scheduling of constrained-deadline self-suspending task systems. In this work, we provide a unifying schedulability analysis for uniprocessor Global EDF-Like (GEL) schedulers of arbitrary-deadline task sets. While analyses for EDF-Like schedulers are rare, many widely used scheduling algorithms can be considered as EDF-Like, for example, EDF, First-In-First-Out (FIFO), Earliest-Quasi-Deadline-First (EQDF), and Suspension-Aware EDF (SAEDF). Therefore, the provided analysis is applicable to those algorithms. It can be applied to TFP scheduling as well. Our analysis is the first suspension-aware schedulability analysis for arbitrary-deadline sporadic real-time task systems under Job-Level Fixed-Priority (JFP) scheduling, such as EDF, and the first unifying suspension-aware schedulability analysis framework that covers a wide range of scheduling algorithms. Through numerical simulations, we show that our analysis improves the state of the art for constrained-deadline EDF scenarios.

Topics & Concepts

Computer scienceEarliest deadline first schedulingUniprocessor systemDynamic priority schedulingDeadline-monotonic schedulingScheduling (production processes)Fixed-priority pre-emptive schedulingDistributed computingPriority inversionRate-monotonic schedulingProcessor schedulingWorst-case execution timeFair-share schedulingParallel computingExecution timeQuality of serviceComputer networkMultiprocessingMathematical optimizationOperating systemScheduleMathematicsReal-Time Systems SchedulingEmbedded Systems Design TechniquesDistributed systems and fault tolerance
EDF-Like Scheduling for Self-Suspending Real-Time Tasks | Litcius