References & Citations
Computer Science > Data Structures and Algorithms
Title: A Note on the Exact Schedulability Analysis for Segmented Self-Suspending Systems
(Submitted on 30 Apr 2016 (v1), last revised 5 Jun 2016 (this version, v2))
Abstract: This report considers a sporadic real-time task system with $n$ sporadic tasks on a uniprocessor platform, in which the lowest-priority task is a segmented self-suspension task and the other higher-priority tasks are ordinary sporadic real-time tasks. This report proves that the schedulability analysis for fixed-priority preemptive scheduling even with only one segmented self-suspending task as the lowest-priority task is $co{\cal NP}$-hard in the strong sense. Under fixed-priority preemptive scheduling, Nelissen et al. in ECRTS 2015 provided a mixed-integer linear programming (MILP) formulation to calculate an upper bound on the worst-case response time of the lowest-priority self-suspending task. This report provides a comprehensive support to explain several hidden properties that were not provided in their paper. We also provide an input task set to explain why the resulting solution of their MILP formulation can be quite far from the exact worst-case response time.
Submission history
From: Jian-Jia Chen [view email][v1] Sat, 30 Apr 2016 15:37:00 GMT (19kb,D)
[v2] Sun, 5 Jun 2016 16:01:36 GMT (34kb,D)
Link back to: arXiv, form interface, contact.