Optimisation des performances et de la consommation de puissance électrique pour architecture Intel Itanium/EPIC

Cette thèse propose, dans sa première partie, d étendre l architecture EPIC des processeurs de la famille Itanium par l ajout d une pile matérielle. L idée principale est qu il est possible de combler l écart de performance entre une architecture généraliste et les circuits spécialisés pour exécuter des machines virtuelles (FORTH, .NET, Java, etc.). Pour ce faire nous proposons de réassigner dynamiquement un sous-ensemble des ressources existantes d EPIC pour offrir une pile d évaluation matérielle. Deux implémentations, non-intrusives et respectant la compatibilité binaire des applications existantes, sont proposées. La principale différence entre ces piles réside dans leur gestionnaire: logiciel ou matériel. La pile d évaluation sous le contrôle du matériel présente des fonctions avancées comme le support des piles d évaluation typées promues par la CIL de .NET. Ainsi, nous proposons un traducteur simple-passe de binaire CIL en binaire EPIC, utilisant la pile d évaluation matérielle. Dans la seconde partie de cette thèse, nous avons étudié l efficacité énergétique des applications sur les architectures Intel. Nous avons ainsi défini dans un premier temps une méthodologie et des outils de mesure de l énergie consommée et la quantité de travail utile fournie par les logiciels. Dans un second temps, nous avons entamé l étude de transformations de code source afin de réduire / contrôler la quantité d énergie consommée par les logiciels.This thesis proposes, in its first part, to extend the EPIC architecture of the Itanium processor family by providing a hardware stack. The principal idea defended here is that it is possible to close the existing performance gap between generic architectures and application specific designs to run virtual machines (FORTH, .NET, Java, etc). With this intention, we propose to reallocate dynamically a subset of the EPIC architecture s resources to implement a hardware evaluation stack. Two implementations are proposed, both non-intrusive and compatible with existing binary codes. The fundamental difference between these stacks lies in their manager: software or hardware. The hardware controlled evaluation stack offers support for advanced functions such as the support of strongly typed evaluation stacks required by .NET s CIL. Thus, we propose a single pass CIL binary translator into EPIC binary, using the hardware evaluation stack. In the second part of this thesis, we studied the energy efficiency of software applications. First, we defined a methodology and developed tools to measure the energy consumption and the useful work provided by the software. In a second time, we engaged the study of source code transformation rules in order to reduce/control the quantity of consumed energy by the software.VALENCIENNES-BU Sciences Lettres (596062101) / SudocSudocFranceF