Repository logo
 
No Thumbnail Available
Publication

Response-Time Analysis of Limited-Preemptive Parallel DAG Tasks under Global Scheduling

Use this identifier to reference this record.
Name:Description:Size:Format: 
COM_CISTER_ECRTS_2019.pdf1.62 MBAdobe PDF Download

Advisor(s)

Abstract(s)

Most recurrent real-time applications can be modeled as a set of sequential code segments (or blocks) that must be (repeatedly) executed in a specific order. This paper provides a schedulability analysis for such systems modeled as a set of parallel DAG tasks executed under any limited-preemptive global job-level fixed priority scheduling policy. More precisely, we derive response-time bounds for a set of jobs subject to precedence constraints, release jitter, and execution-time uncertainty, which enables support for a wide variety of parallel, limited-preemptive execution models (e.g., periodic DAG tasks, transactional tasks, generalized multi-frame tasks, etc.). Our analysis explores the space of all possible schedules using a powerful new state abstraction and state-pruning technique. An empirical evaluation shows the analysis to identify between 10 to 90 percentage points more schedulable task sets than the state-of-the-art schedulability test for limited-preemptive sporadic DAG tasks. It scales to systems of up to 64 cores with 20 DAG tasks. Moreover, while our analysis is almost as accurate as the state-of-the-art exact schedulability test based on model checking (for sequential non-preemptive tasks), it is three orders of magnitude faster and hence capable of analyzing task sets with more than 60 tasks on 8 cores in a few seconds.

Description

Keywords

Parallel DAG tasks Global multiprocessor scheduling Schedulability analysis Non-preemptive jobs Precedence constraints Worst-case response time

Citation

Research Projects

Organizational Units

Journal Issue

Publisher

Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik

CC License

Altmetrics