Ordonnancement sous Posix1003.1b

Nicolas Navet 1
1 TRIO - Real time and interoperability
INRIA Lorraine, LORIA - Laboratoire Lorrain de Recherche en Informatique et ses Applications
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.
Type de document :
Communication dans un congrès
Journée thèmes émergents de l'Association ACM-SIGOPS de France (ASF) sur les Systèmes Temps Réel Embarqués, 2004, Nantes/France, 33 p, 2004
Liste complète des métadonnées

https://hal.inria.fr/inria-00099912
Contributeur : Publications Loria <>
Soumis le : mardi 26 septembre 2006 - 10:08:00
Dernière modification le : jeudi 11 janvier 2018 - 06:20:06
Document(s) archivé(s) le : mercredi 29 mars 2017 - 13:02:18

Fichiers

Identifiants

  • HAL Id : inria-00099912, version 1

Collections

Citation

Nicolas Navet. Ordonnancement sous Posix1003.1b. Journée thèmes émergents de l'Association ACM-SIGOPS de France (ASF) sur les Systèmes Temps Réel Embarqués, 2004, Nantes/France, 33 p, 2004. 〈inria-00099912〉

Partager

Métriques

Consultations de la notice

128

Téléchargements de fichiers

33