We gratefully acknowledge support from
the Simons Foundation and member institutions.
Full-text links:

Download:

Current browse context:

cs.DS

Change to browse by:

cs

References & Citations

DBLP - CS Bibliography

Bookmark

(what is this?)
CiteULike logo BibSonomy logo Mendeley logo del.icio.us logo Digg logo Reddit logo ScienceWISE logo

Computer Science > Data Structures and Algorithms

Title: A Note on the Exact Schedulability Analysis for Segmented Self-Suspending Systems

Authors: Jian-Jia Chen
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.
Subjects: Data Structures and Algorithms (cs.DS)
Cite as: arXiv:1605.00124 [cs.DS]
  (or arXiv:1605.00124v2 [cs.DS] for this version)

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.