Systèmes temps réel embarqués : ordonnancement optimal de tâches pour la consommation énergétique du processeur

par Dana-Mihaela Rohárik Vîlcu

Thèse de doctorat en Informatique

Sous la direction de Gilles Mercier.


  • Résumé

    Cette thèse traite le problème d’ordonnancement des tâches périodiques indépendantes avec minimisation de la consommation énergétique au niveau du/des processeur(s). Des résultats théoriques connus pour le cas monoprocesseur sont complétés par une formule pour la solution statique optimale. Le problème est élargi pour les plates-formes multiprocesseur et des résultats fondamentaux sur la faisabilité et l’optimalité sont obtenus. Sur la base du concept d’ordonnancement global optimal, on fournit la solution statique et celle dynamique pour 1 cas des tâches avant des consommations énergétiques différentes. Une condition nécessaire d’optimalité sur une plate-forme donnée est obtenue. Le gain énergétique estimé à l’augmentation du nombre de processeurs est important. Ces résultats théoriques nécessitent des modifications au niveau du système d’exploitation et des plates-formes adaptées ; RTAI-Linux et respectivement Transmeta Crusoe, ARM v6 et Altera Nios sont pris comme exemples.

  • Titre traduit

    Real time embedded systems : tasks scheduling with optimal power consumption


  • Résumé

    This thesis treats the problem of periodical independent task scheduling with minimal power consumption at the processor(s) level. Known theoretical results for the uniprocessor case are completed with a formula for the optimal static solution. We enlarge the problem for multiprocessor plat!orms and fundamental results on feasibility and optimality are obtained. Based on the concept of globally optimal scheduling, we give the static and dynamic solutions for the case of tasks with different consumptions. We determine a necessary condition of optimality for a scheduling on a given platform. The results show important gains by increasing the number of processors. These theoretical results imply modifications to be done at the operating system level and adapted physical plates-forms ; RTAI-Linux and respectively Transmeta Crusoe, ARM v6 and Altera Nios are used as example.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Détails : 161 p.
  • Notes : Publication autorisée par le jury
  • Annexes : Bibliogr. p. 153-161

Où se trouve cette thèse ?

  • Bibliothèque : Université Paris-Est Créteil Val de Marne. Service commun de la documentation. Section multidisciplinaire.
  • Consultable sur place dans l'établissement demandeur
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.