Conception aisée et robuste d'ordonnanceurs de processus au moyen d'un langage dédié

par Luciano Porto Barreto

Thèse de doctorat en ?

Sous la direction de Gilles Muller.

Soutenue en 2003

à Rennes 1 .


  • Résumé

    La politique d'ordonnancement de processus d'un système d'exploitation a une influence determinante sur la performance et sur la qualité de service des applications. Les politiques d'ordonnancement conventionnelles sont cependant inaptes à satisfaire les besoins des applications dans certains domaines tels que le multimédia ou les systèmes temps-réel, ce qui requiert le développement des politiques plus appropriées. Néanmoins, développer de nouveaux ordonnanceurs est une tache laborieuse qui requiert une connaissance approfondie du système d'exploitation et qui est souvent propice aux erreurs. Dans cette thèse nous proposons un cadre de développement permettant un développement aisé, robuste et efficace des politiques d'ordonnancement dans le noyau système. Ce cadre repose sur un langage haut niveau, nommé Bossa, qui facilite la programmation des politiques d'ordonnancement en offrant des abstractions plus proches au programmeur du domaine. Ainsi, le développeur peut se concentrer sur la conception de la politique sans avoir à se préoccuper des détails de fonctionnement du noyau liés à l'ordonnancement. Une politique d'ordonnancement Bossa est traduite en code qui peut être intégré dans le noyau du système pour remplacer l'ordonnanceur par défaut. Cette approche rend également le processus développement plus sûr car il est possible de vérifier la cohérence d'une politique d'ordonnancement Bossa avant son intégration dans le noyau. Nous avons utilisé notre approche dans le développement de nombreuses politiques d'ordonnancement telles que des politiques à temps partagé ou basées sur la notion de priorité et des extensions basées sur la notion de progrès des applications. Nous avons évalué la performancedes ordonnanceurs développés avec Bossa dans le cadre des programmes de benchmarks spécifiques à l'ordonnancement de processus ainsi que sur l'analyse de l'exécution des applications réelles.


  • Pas de résumé disponible.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Détails : 144 p.
  • Notes : Publication autorisée par le jury
  • Annexes : Bibliogr. : 187 réf.

Où se trouve cette thèse ?

  • Bibliothèque : Université de Rennes I. Service commun de la documentation. Section sciences et philosophie.
  • Disponible pour le PEB
  • Cote : TA Rennes 2003/30
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.