Robust Partitioned Scheduling for Real-Time Multiprocessor Systems

Frédéric Fauberteau (1) , Serge Midonnet (1) , Laurent George (2)

1 LIGM - Laboratoire d'Informatique Gaspard-Monge
2 LACSC - Laboratoire d'Analyse et Contrôle des Systèmes Complexes

In this paper, we consider the problem of fixed-priority partitioned scheduling of sporadic real-time tasks for homogeneous processors. We propose a partitioning heuristic that takes into account possible Worst Case Execution Time (WCET) overruns. Our goal is to maximize the duration a task can be allowed to exceed its WCET without compromising the timeliness constraints of all the tasks. This duration is denoted in the paper the allowance of the task and is computed with a sensitivity analysis. The partitioning heuristic we propose, assigns the tasks to the processors in order (i) to maximize the allowance of the tasks and (ii) to tolerate bounded execution duration overruns. Property (ii) is important as real-time applications are often prone to be subject to OS approximations or software faults that might result in execution duration overruns. We show with performance evaluations that Allowance-Fit-Decreasing partitioning improves the temporal robustness of real-time systems w.r.t. classical {First-Fit/Best-Fit/Next-Fit}-Decreasing partitioning.

Domaines: Algorithme et structure de données [cs.DS]

Frédéric Fauberteau, Serge Midonnet, Laurent George. Robust Partitioned Scheduling for Real-Time Multiprocessor Systems. 7th IFIP Conference on Distributed and Parallel Embedded Systems (DIPES'10), Sep 2010, Brisbane, Australia. pp.193-204, ⟨10.1007/978-3-642-15234-4_19⟩. ⟨hal-00620370⟩