Abstract:Directed acyclic graph (DAG) becomes a popular model for modern real-time embedded software. It is really a challenge to bound the worst-case response time (WCRT) of DAG task. Parallelism, dependencies and mutual exclusion become three of the most critical properties of real-time parallel tasks. Recent work applied prioritizing techniques to reduce DAG task's WCRT bound, which has well studied the first two properties, i.e., parallelism and dependencies, but leaves the mutually exclusive property as an open problem. This paper focuses on all the three properties of real-time parallel software, and investigates how to estimate the WCRT of the DAG task model with mutually exclusive vertices and under prioritized list scheduling algorithms. We derive a reasonable WCRT bound for such a complicated DAG task, and prove that the corresponding WCRT bound computation problem is strongly NP-hard. It means that there are no pseudo-polynomial time algorithms to compute the WCRT bound. For the prioritized DAG with a constant number of mutual exclusive vertices, we develop a dynamic programming algorithm that is able to estimate the WCRT bound within pseudo-polynomial time. Experiments are conducted to evaluate the performance of our analysis method implemented with different priority assignment policies against the state-of-the-art.

Improving Computation Efficiency of Exact Worst-Case Response Time Analysis for the Transaction-Based Task Model

Improving Computation Efficiency of Schedulability of Transaction-Based Task Model for Distributed Real-Time Embedded Systems.

Composable Worst-Case Delay Bound Analysis Using Network Calculus.

End-to-end worst-case response time analysis for hard real-time distributed systems

Computing Exact WCRT for Typed DAG Tasks on Heterogeneous Multi-Core Processors

Schedulability Analysis for Linear Transactions under Fixed Priority Hybrid Scheduling

Some Results on Resource Constrained Scheduling

WCRT Optimization Scheme Based on Task Mapping and Cache Partitioning

Worst-Case Performance Evaluation on Multiprocessor Task Scheduling with Resource Augmentation

On the Optimality of Exact and Approximation Algorithms for Scheduling Problems.

Exact best-case end-to-end response time analysis for hard real-time distributed systems

On Computing Exact WCRT for DAG Tasks

Algorithms for Computing the WCRT Bound of OpenMP Task Systems With Conditional Branches

Time Analysis for Fault-Tolerant Real-Time Group-Based Scheduling

Survey of Weakly-Hard Real Time Schedule Theory and Its Application

Worst-case Analysis for Flow Shop Scheduling Problems with an Exponential Learning Effect

Calculating Response-Time Bounds for OpenMP Task Systems with Conditional Branches

WORST-CASE RESPONSE TIME OF APERIODIC MESSAGE IN WORLDFIP

Calculating Worst-Case Response Time Bounds for OpenMP Programs with Loop Structures

Response Time Analysis for Prioritized DAG Task with Mutually Exclusive Vertices

Communication-Efficient Task Scheduling for Real-Time Distributed Computing.