Real-Time Systems

, Volume 52, Issue 6, pp 808–832

Periodicity of real-time schedules for dependent periodic tasks on identical multiprocessor platforms

  • Joël Goossens
  • Emmanuel Grolleau
  • Liliana Cucu-Grosjean
Article

DOI: 10.1007/s11241-016-9256-1

Cite this article as:
Goossens, J., Grolleau, E. & Cucu-Grosjean, L. Real-Time Syst (2016) 52: 808. doi:10.1007/s11241-016-9256-1
  • 129 Downloads

Abstract

This paper gives and proves correct a simulation interval for any schedule generated by a deterministic and memoryless scheduler (i.e., one where the scheduling decision is the same and unique for any two identical system states) for identical multiprocessor platforms. We first consider independent periodic tasks, then generalize the simulation interval to tasks sharing critical resources, and subject to precedence constraints or self-suspension. The simulation interval is based only on the periods, release times and deadlines, and is independent from any other parameters. It is proved large enough to cover any feasible schedule produced by any deterministic and memoryless scheduler on multiprocessor platforms, including non conservative schedulers. To the best of our knowledge, this simulation interval covers the largest class of task systems and scheduling algorithms on identical multiprocessor platforms ever studied. This simulation interval is used to derive a simulation algorithm using a linear space complexity. Finally, a generic exact schedulability test based on simulation is presented. This test can be applied only when sustainability is consistent with online variability of the tasks’ parameters.

Keywords

Real-time schedulingSimulation intervalsMultiprocessor

Copyright information

© Springer Science+Business Media New York 2016

Authors and Affiliations

  • Joël Goossens
    • 1
  • Emmanuel Grolleau
    • 2
  • Liliana Cucu-Grosjean
    • 3
  1. 1.Université libre de Bruxelles (ULB)BrusselsBelgium
  2. 2.LIAS, ISAE-ENSMAChasseneuil-du-PoitouFrance
  3. 3.INRIAParisFrance