Ordonnancement sous Posix1003.1b
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'implémentation fait usage de threads, dont le comportement est défini par Posix1003.1c.