Repository logo

Infoscience

  • English
  • French
Log In
Logo EPFL, École polytechnique fédérale de Lausanne

Infoscience

  • English
  • French
Log In
  1. Home
  2. Academic and Research Output
  3. Conferences, Workshops, Symposiums, and Seminars
  4. EDF-schedulability of synchronous periodic task systems is coNP-hard
 
conference paper

EDF-schedulability of synchronous periodic task systems is coNP-hard

Eisenbrand, Friedrich  
•
Rothvoß, Thomas  
2010
ACM-SIAM Symposium on Discrete Algorithms (SODA10)
ACM-SIAM Symposium on Discrete Algorithms (SODA10)

In the synchronous periodic task model, a set \tau_1,...,\tau_n of tasks is given, each releasing jobs of running time c_i with relative deadline d_i, at each integer multiple of the period p_i. It is a classical result that Earliest Deadline First (EDF) is an optimal preemptive uni-processor scheduling policy. For constrained deadlines, i.e. d_i <= p_i, the EDF-schedule is feasible if and only if for all Q >= 0: \sum_{i=1}^n (floor(Q-d_i)/p_i) + 1) * c_i <= Q. Though an enormous amount of literature deals with this topic, the complexity status of this test has remained unknown. We prove that testing EDF-schedulability of such a task system is (weakly) coNP-hard. This solves Problem 2 from the survey "Open Problems in Real-time Scheduling" by Baruah & Pruhs. The hardness result is achieved by applying recent results on inapproximability of Diophantine approximation.

  • Files
  • Details
  • Metrics
Type
conference paper
DOI
10.1137/1.9781611973075.83
Web of Science ID

WOS:000280699900083

Author(s)
Eisenbrand, Friedrich  
Rothvoß, Thomas  
Date Issued

2010

Published in
ACM-SIAM Symposium on Discrete Algorithms (SODA10)
Start page

1029

End page

1034

Subjects

periodic scheduling

•

complexity theory

URL

URL

http://www.siam.org/meetings/da10/
Editorial or Peer reviewed

REVIEWED

Written at

EPFL

EPFL units
DISOPT  
Event nameEvent placeEvent date
ACM-SIAM Symposium on Discrete Algorithms (SODA10)

Austin, Texas

January 17-19, 2010

Available on Infoscience
October 8, 2009
Use this identifier to reference this record
https://infoscience.epfl.ch/handle/20.500.14299/43295
Logo EPFL, École polytechnique fédérale de Lausanne
  • Contact
  • infoscience@epfl.ch

  • Follow us on Facebook
  • Follow us on Instagram
  • Follow us on LinkedIn
  • Follow us on X
  • Follow us on Youtube
AccessibilityLegal noticePrivacy policyCookie settingsEnd User AgreementGet helpFeedback

Infoscience is a service managed and provided by the Library and IT Services of EPFL. © EPFL, tous droits réservés