1. Response-Time Analysis for Self-Suspending Tasks Under EDF Scheduling
- Author
-
Aromolo, F., Biondi, A., and Nelissen, G.
- Subjects
Software_OPERATINGSYSTEMS ,Computer systems organization → Real-time systems ,Software and its engineering → Real-time schedulability ,Schedulability Analysis ,EDF Scheduling ,ComputerSystemsOrganization_SPECIAL-PURPOSEANDAPPLICATION-BASEDSYSTEMS ,Real-Time Systems ,Self-Suspending Tasks - Abstract
The self-suspending task model proved to be particularly effective in capturing the timing behavior of real-time systems characterized by complex execution patterns, such as computation offloading to hardware accelerators, inter-core synchronization by means of multiprocessor locking protocols, and highly parallel computation. Most of the existing results for the timing analysis of self-suspending tasks do not support the widely adopted Earliest Deadline First (EDF) scheduling algorithm, being instead primarily focused on fixed-priority scheduling. This paper presents a response-time analysis for constrained-deadline self-suspending tasks scheduled under EDF on a uniprocessor system. The proposed analysis is based on a model transformation from self-suspending sporadic tasks to sporadic tasks with jitter, which can then be analyzed using a state-of-the-art analysis method for EDF scheduling. Experimental results are presented to compare the performance of the proposed technique in terms of schedulability ratio with that of the pessimistic suspension-oblivious approach and with a less general technique for task sets with implicit deadlines., LIPIcs, Vol. 231, 34th Euromicro Conference on Real-Time Systems (ECRTS 2022), pages 13:1-13:18
- Published
- 2022
- Full Text
- View/download PDF