The Computational Complexity of Feasibility Analysis for Conditional DAG Tasks - Inria - Institut national de recherche en sciences et technologies du numérique
Journal Articles ACM Transactions on Parallel Computing Year : 2023

The Computational Complexity of Feasibility Analysis for Conditional DAG Tasks

Abstract

The Conditional DAG (CDAG) task model is used for modeling multiprocessor real-time systems containing conditional expressions for which outcomes are not known prior to their evaluation. Feasibility analysis for CDAG tasks upon multiprocessor platforms is shown to be complete for the complexity class pspace; assuming np pspace, this result rules out the use of Integer Linear Programming solvers for solving this problem efficiently. It is further shown that there can be no pseudo-polynomial time algorithm that solves this problem unless p = pspace. CCS Concepts: • Computer systems organization → Embedded and cyber-physical systems; • Software and its engineering → Real-time schedulability; Scheduling;
Fichier principal
Vignette du fichier
3606342.pdf (1.89 Mo) Télécharger le fichier
Origin Publication funded by an institution

Dates and versions

hal-04365671 , version 1 (08-01-2024)

Licence

Identifiers

Cite

Sanjoy Baruah, Alberto Marchetti-Spaccamela. The Computational Complexity of Feasibility Analysis for Conditional DAG Tasks. ACM Transactions on Parallel Computing, 2023, 10, pp.1 - 22. ⟨10.1145/3606342⟩. ⟨hal-04365671⟩
29 View
25 Download

Altmetric

Share

More