Systèmes temps réel embarqués : ordonnancement optimal de tâches pour la consommation énergétique du processeur
Institution:
Paris 12Disciplines:
Directors:
Abstract EN:
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.
Abstract FR:
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.