JTE systèmes temps réel embarqués
Ordonnancement sous POSIX 1003.1b-c
Nicolas Navet, LORIA/INRIA
Résumé : le standard Posix 1003.1b, auquel se conforme la grande majorité des OS temps réel, définit les politiques d'ordonnancement FPP (Fixed Priority Preemptive) et Round Robin. Cet exposé fera une synthèse des résultats portant sur l'ordonnancement de tâches sous Posix1003.1b ; seront traités les points suivants :
- complétude et non-ambiguïté des spécifications ?
- comment analyser l'ordonnançabilité sous Posix 1003.1b ?
- comment choisir les politiques et les priorités pour une application ?
- quelles stratégies d'ordonnancement DVS (Dynamic Voltage Scaling) sous Posix 1003.1b ?
Finalement, nous verrons comment ces résultats restent valables lorsque l'iimplémentation fait usage de threads, dont le comportement est défini par Posix1003.1c.