Priority Inheritance Revisited. Towards the conformance of real-time protocols
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.
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.
D.ZÖBEL, D.POLOCK
ordonnancement temps réel, protocole d'héritage de priorité, vérification de protocoles, validation et mise en oeuvre de protocoles.
real-time scheduling, priority inheritance protocol, protocol errors, protocol verification, validation of protocol implementations.
Anglais
|
