The Computational Complexity of Feasibility Analysis for Conditional DAG Tasks - Inria - Institut national de recherche en sciences et technologies du numérique
Article Dans Une Revue ACM Transactions on Parallel Computing Année : 2023

The Computational Complexity of Feasibility Analysis for Conditional DAG Tasks

Résumé

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
Origine Publication financée par une institution

Dates et versions

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

Licence

Identifiants

Citer

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⟩
31 Consultations
25 Téléchargements

Altmetric

Partager

More