Scheduling Configuration on Posix 1003.1b Systems

Mathieu Grenier 1 Nicolas Navet 1
1 TRIO - Real time and interoperability
INRIA Lorraine, LORIA - Laboratoire Lorrain de Recherche en Informatique et ses Applications
Abstract : Posix 1003.1b compliant systems provide two well-specified scheduling policies, namely {\it sched\_rr} (Round-Robin like) and {\it sched\_fifo} (FPP like). Up to now, little has been done to take advantage of the combination of both policies to maximize schedulability. In this study, we propose two priority, policy and quantum assignment algorithms for Posix 1003.1b systems that are optimal with regards to the power of the feasibility test (i.e. its ability to distinguish feasible and non feasible configurations). Though much less complex than an exhaustive exploration, the exponential complexity of the algorithms limits their applicability to small or medium-size problems. This is why a heuristic is proposed to handle larger task sets. As shown in the experiments, our proposal allows achieving a significant gain in feasibility over FPP, and therefore using the computational resources at their fullest potential. In many cases where FPP does not lead to a feasible schedule, using both FPP and RR may provide an alternative to EDF, which, most often, is not implemented at the OS kernel level.}
Type de document :
[Research Report] RR-6209, INRIA. 2007, pp.26
Liste complète des métadonnées
Contributeur : Rapport de Recherche Inria <>
Soumis le : jeudi 7 juin 2007 - 09:48:11
Dernière modification le : jeudi 11 janvier 2018 - 06:20:05
Document(s) archivé(s) le : mardi 21 septembre 2010 - 13:20:27


Fichiers produits par l'(les) auteur(s)


  • HAL Id : inria-00152312, version 2



Mathieu Grenier, Nicolas Navet. Scheduling Configuration on Posix 1003.1b Systems. [Research Report] RR-6209, INRIA. 2007, pp.26. 〈inria-00152312v2〉



Consultations de la notice


Téléchargements de fichiers