Précédent : Analyse de l'ordonnancement par échéance Remonter : Algorithmes d'ordonnancement Suivant : Comparaison des ordonnancements préemptifs statique

Analyse des ordonnancements à priorités fixes ou dynamiques dans les cas préemptif et non préemptif

Participants : Laurent George, Nicolas Rivierre, Marco Spuri La théorie de l'ordonnancement appliquée aux problèmes temps réel pour les systèmes centralisés a produit de nombreux résultats au cours des vingt dernières années et il peut apparaître difficile de s'y retrouver face à la pléthore de résultats existants. Nous avons cherché à réunir ces résultats pour les cas centralisé, non-oisif, préemptif/non-préemptif, à priorités fixes ou dynamiques. Pour cela, nous avons considéré des jeux de tâches dont les relations entre les échéances de terminaison et les paramètres des lois d'arrivée sont quelconques. L'optimalité des politiques d'ordonnancement, les conditions de faisabilité associées ainsi que les pires temps de réponse sont donc examinés pour le cas général. Des extensions classiques telles que la gigue sur les inter-arrivées ou la présence de ressources partagées sont aussi examinées.

Il apparaît que l'ordonnancement préemptif et l'ordonnancement non-préemptif sont très proches dans l'expression des conditions de faisabilité. De plus, l'analyse des ordonnanceurs à priorités fixes ou dynamiques peut être unifiée par l'utilisation du concept de période occupée relative à une priorité (et donc dépendante de l'ordonnanceur utilisé). En particulier, nous introduisons le concept de ``deadline-d busy period'' pour l'ordonnanceur EDF qui nous paraît être un point de départ intéressant pour une comparaison avec les ``level-i busy period'' utilisées dans le cas d'ordonnanceur à priorités fixes.