ACCUEIL

Consignes aux
auteurs et coordonnateurs
Nos règles d'éthique
Auteurs : soumettez
votre article en ligne
Autres revues >>

Technique et Science Informatiques

0752-4072
Revue des sciences et technologies de l'information
 

 ARTICLE VOL 24/8 - 2005  - pp.939-961  - doi:10.3166/tsi.24.939-961
TITLE
Priority Inheritance Revisited. Towards the conformance of real-time protocols

RÉSUMÉ
Le problème d'inversion de priorité a été identifié dans les années 1980. Une solution à ce problème a été publiée dans les années 1990. Entre temps, les fournisseurs de systèmes d'exploitation et exécutifs temps réel ont intégré des appels systèmes pour fournir aux applications certains protocoles afin d'éviter le phénomène d'inversion de priorité. Cependant, il y a des erreurs et des imperfections dans la mise en oeuvre des protocoles mais aussi dans l'approche qui conduit à ces derniers. Premièrement, cet article présente une erreur non détectée dans le protocole d'héritage de priorité (priority inheritance protocol), deuxièmement, il montre par une séquence de tests, que certains systèmes d'exploitation et exécutifs sont déficients pour la mise en oeuvre correcte du protocole.


ABSTRACT
The priority inversion problem was discovered in the eighties. The decisive ideas to cope with this problem have been published in the nineties. In the meantime the suppliers of real-time operating systems and run-time systems have occupied this topic by providing certain protocols in order to give the application programmer comfortable system calls to avoid priority inversion. At a closer look there are considerable errors and defects in the protocol implementations but also in the approach to derive these protocols. So, on the one hand this article unfolds an undetected error of the priority inheritance protocol. On the other hand it shows by a sequence of test suites that certain operating systems and runtime systems have different kinds of defects in implementing the protocol.


AUTEUR(S)
Dieter ZÖBEL, David POLOCK

MOTS-CLÉS
ordonnancement temps réel, protocole d'héritage de priorité, vérification de protocoles, validation et mise en oeuvre de protocoles.

KEYWORDS
real-time scheduling, priority inheritance protocol, protocol errors, protocol verification, validation of protocol implementations.

LANGUE DE L'ARTICLE
Anglais

 PRIX
• Abonné (hors accès direct) : 12.5 €
• Non abonné : 25.0 €
|
|
--> Tous les articles sont dans un format PDF protégé par tatouage 
   
ACCÉDER A L'ARTICLE COMPLET  (190 Ko)



Mot de passe oublié ?

ABONNEZ-VOUS !

CONTACTS
Comité de
rédaction
Conditions
générales de vente

 English version >> 
Lavoisier