Sustainability in static-priority restricted-migration scheduling

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

1 LIST (CEA) - Laboratoire d'Intégration des Systèmes et des Technologies
2 LIGM - Laboratoire d'Informatique Gaspard-Monge

In this paper, we focus on the static-priority scheduling of periodic hard real-time tasks upon identical multiprocessor platforms. In order to bound the inter-processor migrations, we consider the restricted-migration scheduling policy for which a task is allowed to migrate only at job boundaries. Several jobs of the same task can then be assigned on different processors but a given job can not migrate. It has been shown that this scheduling policy can suffer from scheduling anomalies. These anomalies occur when a decrease in execution requirement of a job causes a deadline miss. We present a static-priority restricted-migration scheduling algorithm and we prove it does not suffer from these anomalies. We also review the scheduling anomalies according to the scheduling tests for this algorithm.

Mots clés: Real-Time; Scheduling; Multiprocessor; Algorithm; Sustainability

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

Frédéric Fauberteau, Serge Midonnet. Sustainability in static-priority restricted-migration scheduling. RACS 2012, Oct 2012, San Antonio, United States. pp.416-421, ⟨10.1145/2401603.2401692⟩. ⟨hal-00797909⟩