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.
@InProceedings{aromolo_et_al:LIPIcs.ECRTS.2022.13, author = {Aromolo, Federico and Biondi, Alessandro and Nelissen, Geoffrey}, title = {{Response-Time Analysis for Self-Suspending Tasks Under EDF Scheduling}}, booktitle = {34th Euromicro Conference on Real-Time Systems (ECRTS 2022)}, pages = {13:1--13:18}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-239-6}, ISSN = {1868-8969}, year = {2022}, volume = {231}, editor = {Maggio, Martina}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ECRTS.2022.13}, URN = {urn:nbn:de:0030-drops-163306}, doi = {10.4230/LIPIcs.ECRTS.2022.13}, annote = {Keywords: Real-Time Systems, Schedulability Analysis, Self-Suspending Tasks, EDF Scheduling} }
Feedback for Dagstuhl Publishing