Brevet FR2957433A1 — publié le 20110916

La présente invention concerne un procédé de configuration d'un système informatique, un programme d'ordinateur et un système informatique correspondants. L'invention s'applique plus particulièrement à un système informatique comportant au moins un processeur comprenant lui-même au moins un coeur de calcul mettant en oeuvre une technologie d'exécution simultanée de plusieurs fils d'instructions, dite technologie SMT (de l'anglais « Simultaneous Multi Threading »), par exemple la technologie d« La terminologie suivante est utilisée dans la présente description, ainsi que dans les revendications. Un « système informatique » est un système conçu pour exécuter des instructions de programme d'ordinateur et comportant pour cela au moins une unité de traitement centrale, appelée également processeur ou CPU (de l'anglais « Central Processing Unit »). Dans un ordre de complexité croissante, un système informatique selon l'invention peut être constitué d'un simple micro-ordinateur comportant un ou plusieurs microprocesseurs à un ou plusieurs coeurs de calcul, ou d'un ensemble plus complexe dans lequel plusieurs micro-ordinateurs sont interconnectés via un réseau de transmission de données. La complexité d'un système informatique dans lequel l'invention peut être mise en oeuvre dépend principalement de l'application visée. Un « microprocesseur » est un processeur implémenté sur un nombre très restreint de circuits intégrés, généralement un seul. La popularité des microprocesseurs fait qu'ils sont généralement appelés simplement processeur ou CPU. On notera qu'un processeur peut comporter un ou plusieurs coeurs de calcul. Un « processeur mono coeur » est alors un processeur (microprocesseur) comprenant un seul coeur de calcul, et un « processeur multi coeurs » est un processeur (microprocesseur) comprenant plusieurs coeurs de calcul qui partagent certains éléments en commun, généralement une mémoire cache, par exemple la mémoire cache dite de niveau 2 (cache L2). Un coeur de calcul est la partie du processeur (microprocesseur) réalisant les calculs correspondants aux instructions exécutées. Un coeur de calcul comprend généralement une ou plusieurs unités de contrôle ainsi qu'une ou plusieurs unités de calcul entier et une ou plusieurs unités de calcul flottant. Un « programme d'ordinateur », ou plus simplement « programme » est un ensemble d'instructions destinées à être exécutées par un processeur. Un « processus » est un programme en cours d'exécution. Un processus peut ne comporter qu'un seul fil d'instructions (le processus est alors parfois qualifié de « processus lourd »), ou bien comporter plusieurs fils d'instructions (qualifiés parfois de « processus légers ») partageant des ressources communes, généralement de la mémoire, et pouvant s'exécuter de manière asynchrone. Un « fil d'instructions » (« thread » en anglais) est une suite d'instructions qu'un coeur de calcul exécute les unes après les autres. Un « BIOS » (de l'anglais « Basic Input Output System ») est un programme lancé au début du démarrage d'un système informatique, avant le lancement du système d'exploitation. Un « système d'exploitation » est un programme s'exécutant sur un système informatique et réalisant l'interface entre le système informatique et d'autres programmes s'exécutant sur ce système informatique, généralement des « programmes applicatifs », c'est-à-dire des programmes destinés à être contrôlés par un utilisateur et généralement destinés à être lancés par ce dernier. Un « démon » est un processus destiné à être exécuté en arrière plan, c'est-à-dire qui n'est pas sous contrôle direct de l'utilisateur. Les démons sont souvent lancés par le système d'exploitation. Par opposition aux démons, un « processus applicatif » est un programme applicatif en cours d'exécution. Un « shell » est un programme fournissant une interface à l'utilisateur pour accéder à des services offerts par le système d'exploitation. Un « script » est un programme interprété, c'est-à-dire comprenant des instructions interprétées par un autre programme qui les convertit en instructions pour le processeur. Un « shell-script » est donc un script comportant des instructions destinées à être interprétées par un shell. Par ailleurs, un « processeur logique » est un processeur vu par le système d'exploitation. Ainsi, un processeur physiquement présent apparaît sous la forme d'un ou plusieurs processeurs logiques au système d'exploitation suivant son architecture et/ou sa configuration. En particulier, un processeur mono coeur en mode mono threading apte à traiter un seul fil d'instruction à la fois apparaît comme un seul processeur logique, et un processeur multi coeurs où chaque coeur est apte à traiter un seul fil d'instructions à la fois apparaît comme autant de processeurs logiques que de coeurs. Il existe actuellement des processeurs, mono coeur ou multi coeurs, dans lesquels chaque coeur de calcul met en oeuvre une technologie SMT afin d'être apte à exécuter de manière entrelacée au moins deux fils d'instructions à la fois. Par exemple, la société Intel commercialise des processeurs capables de fonctionner de manière sélective en mode « hyper threading » dans lequel chaque coeur de calcul est apte à exécuter de manière entrelacée deux fils d'instructions à la fois, ou bien en mode « mono threading » dans lequel chaque coeur de calcul est apte à exécuter un seul fil d'instructions à la fois. Par ailleurs, la plupart des systèmes d'exploitation modernes sont conçus pour gérer plusieurs processeurs logiques et sont donc aptes à fournir des fils d'instructions à chaque coeur de calcul physiquement présent. Afin de permettre à un tel système d'exploitation de profiter du mode hyper threading sans nécessiter de le modifier, il est prévu que chaque coeur en mode hyper threading apparaisse sous la forme de deux processeurs logiques au système d'exploitation. Ce dernier peut donc fournir deux processus à chaque coeur de calcul en mode hyper threading en utilisant ses mécanismes habituels de gestion des processeurs logiques. Certains programmes sont conçus pour tirer parti du mode hyper threading : c'est le cas en particulier des programmes produisant, lors de leur exécution, un processus multi programmé comprenant deux fils d'instructions qui utilisent des ressources différentes d'un coeur de calcul. Il a été observé que certains programmes ont des performances optimales dans un mode, mais dégradées dans l'autre mode. Ainsi, il serait souhaitable d'adapter le mode de fonctionnement - mono threading ou hyper threading ou plus généralement SMT - des coeurs de calcul de processeurs suivant le type de programme que l'on souhaite exécuter. Or, à présent, le seul moyen connu pour passer d'un mode à l'autre est de modifier un paramètre du BIOS. Ceci nécessite un premier redémarrage du système informatique afin d'accéder au BIOS pour le configurer, et un second redémarrage pour que le BIOS ainsi configuré s'exécute. Il existe bien des outils informatiques permettant de faire la modification des paramètres du BIOS sous contrôle du système informatique. Cependant, le second redémarrage du système reste nécessaire. Ainsi, ces solutions impliquent une perte de temps importante et sont en pratique trop lourdes pour être utilisables. Il peut ainsi être souhaité de prévoir un procédé de configuration d'un système informatique qui permette de s'affranchir d'au moins une partie des problèmes et contraintes précités. Ainsi, un objet de l'invention est un procédé de configuration d'un système informatique comportant au moins un coeur de calcul pour exécuter des fils d'instructions, chaque coeur de calcul étant apte à exécuter de manière entrelacée au moins deux fils d'instructions à la fois, et un système d'exploitation, en cours d'exécution sur le système informatique, apte à fournir des fils d'instructions à chaque coeur de calcul, le procédé étant caractérisé en ce qu'il comporte une étape de configuration du système d'exploitation en cours d'exécution dans un mode dans lequel il fournit à chaque coeur de calcul au plus un fil d'instructions à la fois. Grâce à l'invention, il est possible d'imposer dynamiquement que chaque coeur de calcul ne traite à la fois qu'un seul fil d'instructions, malgré sa configuration en mode hyper threading, ou plus généralement en mode SMT. Il est ainsi possible de passer dynamiquement du mode SMT au mode dans lequel chaque coeur ne traite au plus qu'un fil d'instruction à la fois, sous contrôle direct du système d'exploitation, sans qu'un redémarrage ne soit nécessaire. Le système informatique peut ainsi exécuter, sur des coeurs de calcul en mode SMT et avec de bonnes performances, un programme ayant normalement des performances optimales lorsqu'il est exécuté sur des coeurs de calcul en mode mono threading. L'invention est particulièrement efficace avec des coeurs de calcul ayant des capacités sensiblement identiques en mode mono threading et en mode SMT avec un seul fil d'instructions en cours d'exécution. De façon optionnelle, le procédé comporte en outre, alors que le système d'exploitation en cours d'exécution est configuré dans le mode, dit premier mode, dans lequel il fournit à chaque coeur de calcul au plus un fil d'instructions à la fois, une étape de configuration du système d'exploitation en cours d'exécution dans un second mode, différent du premier mode, dans lequel il peut fournir à chaque coeur de calcul plus d'un fil d'instructions à la fois. Ainsi, il est possible d'exécuter à nouveau de manière efficace un programme ayant normalement des performances optimales lorsqu'il est exécuté sur des coeurs de calcul en mode SMT. De façon optionnelle également, chaque coeur de calcul est conçu pour présenter au système d'exploitation en cours d'exécution autant de processeurs logiques que de fils d'instructions qu'il peut exécuter de manière entrelacée à la fois, le système d'exploitation en cours d'exécution comporte une liste des processeurs logiques disponibles pour l'ordonnancement des fils d'instructions dans laquelle se trouvent tous les processeurs logiques présentés par chaque coeur de calcul, et le procédé comporte en outre, pour configurer le système d'exploitation en cours d'exécution afin qu'il fournisse à chaque coeur de calcul au plus un fil d'instructions à la fois, une étape de transmission, au système d'exploitation en cours d'exécution, d'une instruction de retirer de la liste des processeurs logiques disponibles pour l'ordonnancement, tous les processeurs logiques sauf un de chaque coeur de calcul. Ainsi, le système d'exploitation est très simplement configuré pour ne fournir qu'au plus un fil d'instructions à chaque coeur de calcul. De façon optionnelle également, le procédé comporte en outre, pour configurer le système d'exploitation en cours d'exécution afin qu'il fournisse à chaque coeur de calcul plus d'un fil d'instructions à la fois, une étape de transmission, au système d'exploitation en cours d'exécution, d'une instruction d'ajouter dans la liste des processeurs logiques disponibles pour l'ordonnancement, tous les processeurs logiques qui en ont été retirés. Ainsi, le système d'exploitation est très simplement configuré pour pouvoir fournir plus d'un fil d'instructions à chaque coeur de calcul. De façon optionnelle également, le système informatique ne comporte, comme coeur ou coeurs de calcul, qu'un ou des coeurs de calcul aptes à exécuter de manière entrelacée au moins deux fils d'instructions à la fois. De façon optionnelle également, chaque coeur de calcul est apte à exécuter de manière entrelacée exactement deux fils d'instructions à la fois. Ainsi, le procédé est adapté au cas particulier de l'hyper threading. L'invention a également pour objet un programme d'ordinateur téléchargeable depuis un réseau de communication et/ou enregistré sur un support lisible par ordinateur et/ou exécutable par un processeur, caractérisé en ce qu'il comprend des instructions pour l'exécution des étapes d'un procédé de configuration selon l'invention, lorsque ledit programme est exécuté sur un ordinateur. De façon optionnelle, le programme d'ordinateur est sous forme d'un shellscript. De façon optionnelle également, le programme d'ordinateur est sous forme d'au moins une fonction d'une bibliothèque informatique destinée à être appelée par un autre programme. L'invention a également pour objet un système informatique comportant : au moins un coeur de calcul pour exécuter des fils d'instructions, chaque coeur de calcul étant apte à exécuter de manière entrelacée au moins deux fils d'instructions à la fois, et une mémoire dans laquelle est enregistré un système d'exploitation qui, lorsque exécuté par le système informatique, est apte à fournir des fils d'instructions à chaque coeur de calcul, caractérisé en ce qu'il comporte : une mémoire dans laquelle est enregistré un programme d'ordinateur comprenant des instructions pour, lorsque exécuté par le système informatique alors que le système d'exploitation est en cours d'exécution par le système informatique, configurer le système d'exploitation en cours d'exécution dans un mode dans lequel il fournit à chaque coeur de calcul au plus un fil d'instructions à la fois. L'invention sera mieux comprise à l'aide de la description qui va suivre, donnée uniquement à titre d'exemple et faite en se référant aux dessins annexés dans lesquels : la figure 1 représente schématiquement un système informatique selon un mode de réalisation de l'invention, et la figure 2 illustre les étapes successives d'un procédé de configuration du système informatique de la figure 1, selon un mode de réalisation de l'invention. En référence à la figure 1, on a représenté un exemple de mise en oeuvre de l'invention, sous la forme d'un ordinateur 100. L'ordinateur 100 comporte une unité centrale 102 et une interface homme/machine 104, par exemple un écran, un clavier et une souris. L'unité centrale 102 comporte une carte mère 106 et, connectés à la carte mère 106, deux processeurs Xeon X5570 (marque déposée) 108, une mémoire de BIOS 110, une mémoire vive 112 et une mémoire de stockage 114, telle qu'un disque dur. Les processeurs 108 sont ainsi aptes à exécuter les instructions enregistrées dans la mémoire de BIOS 110 et la mémoire vive 112, et à lire ou écrire des données enregistrées dans la mémoire de stockage 114. Dans l'exemple illustré sur la figure 1, chaque processeur 108 comporte quatre coeurs de calcul 116 pour exécuter des fils d'instructions. Chaque processeur 108 est apte à fonctionner sélectivement en mode mono threading, dans lequel chaque coeur de calcul 116 est apte à exécuter un seul fil d'instruction à la fois et apparaît, en particulier pour le système d'exploitation, sous la forme d'un seul processeur logique, ou bien en mode hyper threading, dans lequel chaque coeur de calcul 116 est apte à exécuter de manière entrelacée deux fils d'instructions à la fois et apparaît, en particulier pour le système d'exploitation, sous la forme de deux processeurs logiques. Un BIOS 118 est enregistré dans la mémoire de BIOS 110. Le BIOS 118 peut être configuré, au moyen d'un paramètre de configuration prédéterminé, pour démarrer les processeurs 108 en mode mono threading ou bien en mode hyper threading. Dans ce dernier cas, le BIOS 118 est configuré pour démarrer deux processeurs logiques pour chaque coeur de calcul 116, appelés respectivement premier et second processeurs logiques. En mode mono threading, le BIOS 118 ne démarre que le premier processeur logique. En outre, le BIOS 118 est conforme à la norme ACPI (de l'anglais « Advanced Configuration and Power Interface »). Cette norme spécifie en particulier que l'exécution du BIOS 118 doit créer une liste des processeurs logiques présents, c'est-à-dire ceux qui ont été démarrés. Cette liste est créée dans une table, appelée table MADT (de l'anglais « Multiple APIC Description Table ») enregistrée dans la mémoire vive 112 et destinée à être lue par le système d'exploitation lors de son exécution afin qu'il ait connaissance des processeurs logiques présents. La table MADT indique en outre, pour chaque processeur logique, si ce dernier correspond au coeur d'un processeur mono coeur, à l'un des coeurs d'un processeur multi coeurs, et/ou à l'un des coeurs logiques d'un coeur physique en mode hyper threading. Ainsi, la table MADT donne la configuration du ou des processeurs de l'ordinateur 100. Sur les processeurs Intel (marque déposée) récents, ces informations sont fournies par l'instruction « cpuid ». La norme ACPI spécifie en outre que les seconds processeurs logiques de tous les coeurs de calcul 116 doivent être placés dans la liste après les premiers processeurs logiques de tous les coeurs de calcul 116. Ainsi, la liste comprend une première moitié regroupant les premiers processeurs logiques des coeurs de calcul 116, et une seconde moitié regroupant les seconds processeurs logiques des coeurs de calcul 116. Un système d'exploitation 120 est enregistré dans la mémoire de stockage 114. Le système d'exploitation 120 est en particulier conçu pour fournir, lorsqu'il est exécuté par l'ordinateur 100, des fils d'instructions à chaque coeur de calcul 116. Dans l'exemple décrit, le système d'exploitation 120 est conforme au standard Unix (marque déposée). Il s'agit par exemple du système d'exploitation Linux (marque déposée). Un shell-script 122, dont le code est produit en annexe, est également enregistré dans la mémoire de stockage 114. Le shell-script 122 est destiné à configurer le système d'exploitation 120 pour passer du mode hyper threading, ou plus généralement du mode SMT, à un mode « mono threading simulé », comme cela sera expliqué par la suite. En référence à la figure 2, on va à présent décrire le fonctionnement de l'ordinateur 100. Par souci de simplicité, les programmes précités 118, 120 et 122 en cours d'exécution, qui sont alors des processus, porteront la référence du programme dont ils sont issus et seront désignés de la même façon, c'est-à-dire respectivement BIOS 118, système d'exploitation 120 et shell-script 122. Au cours d'une étape 200, l'ordinateur 100 est mis sous tension. Au cours d'une étape 202, le BIOS 118 est exécuté par l'ordinateur 100, le BIOS 118 étant configuré de manière à démarrer chaque coeur de calcul 116 en mode hyper threading. Ainsi, au cours d'une étape 204, le BIOS 118 démarre deux processeurs logiques par coeur de calcul 116, de sorte que l'ordinateur 100 présente seize processeurs logiques dans l'exemple décrit. Au cours d'une étape 206, le BIOS 118 crée, dans la table MADT, la liste des processeurs logiques présents, c'est-à-dire dans le cas présent des seize processeurs logiques démarrés. Au cours d'une étape 208, le BIOS 118 lance le système d'exploitation 120. Au cours d'une étape 210, le système d'exploitation 120 lit, dans la table MADT, la liste des processeurs logiques présents. Au cours d'une étape 212, le système d'exploitation 120 place tous les processeurs logiques présents dans une liste de processeurs logiques disponibles pour l'ordonnancement (« scheduling » en anglais), c'est-à-dire pour la répartition des fils d'instructions entre les processeurs de cette liste. Par « liste des processeurs logiques disponibles pour l'ordonnancement », il faut comprendre n'importe quel ensemble de données indiquant, pour chaque processeur logique présent dans la liste MADT, si ce processeur logique doit être utilisé pour l'ordonnancement. Le format de cet ensemble de données n'est donc pas obligatoirement un format de structure de données en « liste ». Suite à cette étape 212, l'ordinateur 100 est ainsi configuré par défaut en mode hyper threading, dans lequel le système d'exploitation 120 ordonnance les fils d'instructions entre tous les processeurs logiques présents, c'est-à-dire entre tous les processeurs logiques de tous les coeurs de calcul 116 des processeurs 108. Les fils d'instructions proviennent par exemple de démons démarrés par le système d'exploitation 120 ou de programmes applicatifs démarrés par l'utilisateur au travers de l'interface homme/machine 104. L'ordinateur 100 est en particulier apte à exécuter de manière optimale les programmes optimisés pour le mode hyper threading. L'utilisateur souhaite alors par exemple lancer un programme, enregistré dans la mémoire de stockage 114, qui n'est pas optimisé pour le mode hyper threading, mais pour le mode mono threading. Dans ce cas, au cours d'une étape 214, l'utilisateur lance le shell-script 122 au moyen de l'interface homme/machine 104 pour passer en mode dit « mono threading simulé ». Par exemple, cet utilisateur tape « ht off » en réponse à une invite de shell. Au cours d'une étape 216, le shell-script 122 configure alors le système d'exploitation 120 en cours d'exécution afin qu'il fournisse à chaque coeur de calcul 116 au plus un fil d'instructions à la fois, malgré le fait que, de par leur configuration en mode hyper threading par le BIOS 118, les coeurs de calcul 116 peuvent exécuter deux fils d'instructions à la fois. C'est ce qui est appelé dans la présente description le mode « mono threading simulé ». A cet effet, le shell-script 122 donne instruction au système d'exploitation 120 en cours d'exécution de retirer de la liste des processeurs logiques disponibles pour l'ordonnancement tous les processeurs logiques sauf un de chaque coeur de calcul 116. Dans le cas présent, comme la norme ACPI spécifie que le premier processeur logique de chaque coeur de calcul 116 doit apparaître en premier dans la liste des processeurs présents, le shell-script 122 réalise l'étape 216 en donnant instruction au système d'exploitation 120 de retirer de la liste des processeurs logiques disponibles pour l'ordonnancement les processeurs logiques dont la position dans la liste des processeurs logiques présents est supérieure au nombre de coeurs de calcul 116 de l'ordinateur 100. Dans le cas de l'hyper threading, il s'agit des processeurs logiques positionnés dans la seconde moitié de la liste des processeurs logiques présents. Dans l'exemple décrit, le shell-script 122 donne instruction de retirer de la liste des processeurs disponibles pour l'ordonnancement successivement chaque processeur de la seconde moitié de la liste de processeurs présents. On remarquera que le shell-script 122 peut être utilisé pour un nombre quelconque de coeurs de calcul (et pas seulement huit comme dans l'exemple décrit), du moment que chacun de ces coeurs de calcul 116 est configuré à partir du BIOS 118 en mode hyper threading. Le shell-script 122 donne instruction de retirer un processeur logique. Pour un système d'exploitation Linux, cela se fait en écrivant la valeur 0 dans le fichier propre au processeur numéroté X : /sys/devices/system/cpu/cpuX/online. En réponse, le système d'exploitation 120 exécute, successivement pour chaque processeur logique devant être retiré de la liste des processeurs logiques disponibles pour l'ordonnancement, une suite d'étapes 218, 220 et 222. Au cours de l'étape 218, le système d'exploitation 120 migre les interruptions et les processus exécutés par un processeur logique devant être retiré de la liste des processeurs logiques disponibles pour l'ordonnancement, vers d'autres processeurs logiques de cette liste. Au cours de l'étape 220, le système d'exploitation 120 arrête les démons propres au processeur logique devant être retiré. Au cours d'une étape 222, le système d'exploitation 120 retire ce processeur logique de la liste des processeurs disponibles pour l'ordonnancement, de sorte que plus aucun fil d'instructions ne lui est fourni par le système d'exploitation 120. Lorsque les étapes 218, 220 et 222 ont été mises en oeuvre pour tous les processeurs logiques devant être retirés, l'ordinateur 100 est configuré en mode mono threading simulé, de sorte que le système d'exploitation 120 ordonnance tous les fils d'instructions sur les processeurs logiques de la première moitié de la liste de processeurs logiques présents, c'est-à-dire uniquement sur le premier processeur logique de chaque coeur de calcul 116. Ainsi, chaque coeur de calcul 116 n'exécute au plus qu'un seul fil d'instructions à la fois. L'utilisateur peut ainsi lancer, au cours d'une étape 224, le programme optimisé pour le mode mono threading, qui s'exécute, au cours d'une étape 226, avec de bonnes performances, malgré la configuration des coeurs de calcul 116 en mode hyper threading. Si maintenant l'utilisateur souhaite lancer un programme, par exemple enregistré dans la mémoire de stockage 114, qui n'est pas optimisé pour le mode mono threading mais pour le mode hyper threading, il lance, au cours d'une étape 228, le shell-script 122 au moyen de l'interface homme/machine 104 pour revenir en mode « hyper threading ». Par exemple, cet utilisateur tape « ht on » à une invite de shell. Au cours d'une étape 230, le shell-script 122 configure alors le système d'exploitation 120 en cours d'exécution afin qu'il puisse fournir à chaque coeur de calcul 116 plus d'un fil d'instructions à la fois. A cet effet, le shell-script 122 donne instruction au système d'exploitation 120 en cours d'exécution d'ajouter dans la liste des processeurs logiques disponibles tous les processeurs logiques ayant été retirés suite à l'étape 216. Plus précisément, dans l'exemple décrit, le shell-script 122 donne instruction d'ajouter successivement chaque processeur logique apparaissant dans la seconde partie de la liste de processeurs logiques présents. Dans l'exemple décrit, le shell-script 122 donne instruction d'ajouter un processeur logique. Pour un système d'exploitation Linux, cela se fait en écrivant la valeur 1 dans le fichier propre au processeur numéroté X : /sys/devices/system/cpu/cpuX/on line. En réponse, le système d'exploitation 120 exécute, successivement pour chaque processeur logique devant être ajouté à la liste des processeurs disponibles pour l'ordonnancement, une suite d'étapes 232 et 234. Au cours de l'étape 232, le système d'exploitation 120 ajoute un processeur logique ayant été retiré suite à l'étape 216 à la liste des processeurs disponibles pour l'ordonnancement. Au cours de l'étape 234, le système d'exploitation 120 démarre les démons propres au processeur logique ajouté à l'étape précédente. Lorsque les étapes 232 et 234 ont été mises en oeuvre pour tous les processeurs logiques devant être ajoutés, l'ordinateur 100 est configuré en mode hyper threading, de sorte que le système d'exploitation 120 ordonnance les nouveaux fils d'instructions entre tous les processeurs logiques de tous les coeurs de calcul 116 des processeurs 108. L'utilisateur peut ainsi lancer, au cours d'une étape 236, le programme optimisé pour le mode hyper threading, qui s'exécutera, au cours d'une étape 238, avec de bonnes performances. Les applications et services qui prennent en compte de manière dynamique le nombre de processeurs logiques disponibles s'adaptent automatiquement à la nouvelle situation. Les autres sont redémarrées, soit manuellement par l'utilisateur, soit en prévoyant dans le shell-script 122 des instructions pour les redémarrer. D'une façon plus générale, dans le mode de réalisation illustré sur la figure 2, lorsque l'ordinateur 100 est configuré en mode hyper threading, les étapes 214 à 222 doivent être exécutées pour le configurer en mode mono threading simulé et lorsque l'ordinateur 100 est configuré en mode mono threading simulé, les étapes 228 à 234 doivent être exécutées pour le configurer en mode hyper threading. Il apparaît clairement que l'invention est avantageuse en ce qu'elle permet d'exécuter, successivement et de façon efficace, deux programmes optimisés pour des modes différents, sans nécessiter de redémarrer l'ordinateur 100. On notera par ailleurs que l'invention n'est pas limitée au mode de réalisation décrit précédemment. Il apparaîtra en effet à l'homme de l'art que diverses modifications peuvent être apportées au mode de réalisation décrit ci-dessus, à la lumière de l'enseignement qui vient de lui être divulgué. En particulier, le système d'exploitation pourrait être conçu pour démarrer par défaut en mode mono threading simulé. Une première façon de le faire pourrait être de modifier le système d'exploitation de sorte qu'à l'étape 212, ce dernier n'ajoute pas tous les processeurs logiques présents mais seulement un seul par coeur de calcul 116, par exemple en n'ajoutant que les processeurs logiques de la première moitié de la liste des processeurs présents. Une seconde façon de le faire pourrait être de faire exécuter automatiquement le shell-script 122 par le système d'exploitation 120, par exemple avant que l'utilisateur n'ait la main, c'est-à-dire avant qu'il ne puisse lancer les programmes ou utiliser des fonctions du système d'exploitation. Enfin, il est envisageable d'implémenter un nouveau service système dont la fonction serait d'activer le mode choisi. Celui-ci serait démarré ou arrêté soit manuellement, soit de façon automatique à chaque changement de niveau de fonctionnement du système (« runlevel » en anglais). En outre, il est prévu selon l'invention que d'autres types de programmes qu'un shell-script puissent mettre en oeuvre les étapes 216 à 222 et/ou 230 à 234. En particulier, ces étapes pourraient être mises en oeuvre par l'exécution d'un programme binaire exécutable. Ainsi, ce programme constitue une commande permettant à l'utilisateur de mettre en oeuvre les étapes précédentes. En outre, elles pourraient être mises en oeuvre par une fonction d'une librairie appelée par un programme, par exemple applicatif, via une interface applicative dite API (de l'anglais « Application Programming Interface »). Ainsi, il serait possible de concevoir un programme optimisé dans un des deux modes qui, au moment de son lancement appellerait cette fonction pour configurer l'ordinateur 100 dans le mode favorisant son exécution. En outre, à l'étape 216, le shell-script 122 pourrait donner instruction de retirer de la liste des processeurs disponibles pour l'ordonnancement les processeurs de la première moitié de la liste de processeurs présents. Cependant, certains programmes qui considèrent que les premiers processeurs logiques sont toujours disponibles risqueraient de ne plus fonctionner. En outre, le programme mettant en oeuvre les étapes 216 à 222 et/ou 230 à 243 pourrait ne pas utiliser la numérotation des processeurs logiques, mais à la place détecter lesquels correspondent à un second processeur logique d'un coeur en mode multi-threading pour les activer ou les désactiver. Cette détection peut par exemple être réalisée à partir des indications de la table MADT. Cette manière de faire est avantageuse par exemple lorsque la numérotation des processeurs logiques dans la table MADT ne suit pas la norme APIC, ou lorsque le système d'exploitation n'en tient pas compte. Dans les revendications qui suivent, les termes utilisés ne doivent pas être interprétés comme limitant les revendications au mode de réalisation exposé dans la présente description, mais doivent être interprétés pour y inclure tous les équivalents que les revendications visent à couvrir du fait de leur formulation et dont la prévision est à la portée de l'homme de l'art en appliquant ses connaissances générales à la mise en oeuvre de l'enseignement qui vient de lui être divulgué. Annexe : code du shell-script 122 # ht : script pour passer du mode hyper threading # au mode mono threading simulé et inversement usage() { echo "Usage: ht [on off]" echo "ht on # active le mode hyper threading" echo "ht off # désactive le mode hyper threading" 10 ] set ht() { # enregistrer dans NB le nombre # de processeurs présents 15 cd /sys/devices/system/cpu NB='ls -d cpu* wc -w' # enregistrer dans NCORES le numéro du dernier # processeur de la première moitié # des processeurs présents 20 NCORES='expr $NB / 2' # parcourir les processeurs présents ls -d cpu* white read i do # enregistrer dans N le numéro du processeur # présent en cours N='echo $i sed s/cpu//' # si le processeur présent en cours est dans # la première moitié de la liste # des processeurs présents, alors passer # au processeur présent suivant if [ "$N" -lt "$NCORES"] then continue # sinon, enregistrer dans le fichier propre au # processeur présent en cours la valeur 1 si 25 30 35 # « ht on » est lancé, ou bien la valeur 0 si # ht off » est lancé fi echo $1 > $i/online done ] ifs "$1"= "on"] then set ht 1 else if [ "$l" = "off" ] then set ht 0 else usage exit 2 fi fi REVENDICATIONS1. Procédé de configuration d'un système informatique (100) comportant au moins un coeur de calcul (116) pour exécuter des fils d'instructions, chaque coeur de calcul (116) étant apte à exécuter de manière entrelacée au moins deux fils d'instructions à la fois, et un système d'exploitation (120), en cours d'exécution sur le système informatique (100), apte à fournir des fils d'instructions à chaque coeur de calcul (116), le procédé étant caractérisé en ce qu'il comporte une étape (216) de configuration du système d'exploitation (120) en cours d'exécution dans un mode dans lequel il fournit à chaque coeur de calcul (116) au plus un fil d'instructions à la fois. 2. Procédé de configuration d'un système informatique (100) selon la revendication 1, comportant en outre, alors que le système d'exploitation (120) en cours d'exécution est configuré dans le mode, dit premier mode, dans lequel il fournit à chaque coeur de calcul (116) au plus un fil d'instructions à la fois, une étape de configuration du système d'exploitation (120) en cours d'exécution dans un second mode, différent du premier mode, dans lequel il peut fournir à chaque coeur de calcul (116) plus d'un fil d'instructions à la fois. 3. Procédé de configuration d'un système informatique (100) selon la revendication 1 ou 2, dans lequel chaque coeur de calcul (116) est conçu pour présenter au système d'exploitation (120) en cours d'exécution autant de processeurs logiques que de fils d'instructions qu'il peut exécuter de manière entrelacée à la fois, et dans lequel le système d'exploitation (120) en cours d'exécution comporte une liste des processeurs logiques disponibles pour l'ordonnancement des fils d'instructions dans laquelle se trouvent tous les processeurs logiques présentés par chaque coeur de calcul (116), le procédé comportant en outre, pour configurer (216) le système d'exploitation (120) en cours d'exécution afin qu'il fournisse à chaque coeur de calcul (116) au plus un fil d'instructions à la fois, une étape de transmission, au système d'exploitation (120) en cours d'exécution, d'une instruction de retirer de la liste des processeurs logiques disponibles pour l'ordonnancement, tous les processeurs logiques sauf un de chaque coeur de calcul (116). 4. Procédé de configuration d'un système informatique (100) selon les revendications 2 et 3, comportant en outre, pour configurer le système d'exploitation (120) en cours d'exécution afin qu'il fournisse à chaque coeur de calcul plus d'un fild'instructions à la fois, une étape de transmission, au système d'exploitation (120) en cours d'exécution, d'une instruction d'ajouter dans la liste des processeurs logiques disponibles pour l'ordonnancement, tous les processeurs logiques qui en ont été retirés. 5. Procédé de configuration d'un système informatique selon l'une quelconque des revendications 1 à 4, dans lequel le système informatique ne comporte, comme coeur ou coeurs de calcul, qu'un ou des coeurs de calcul (116) aptes à exécuter de manière entrelacée au moins deux fils d'instructions à la fois. 6. Procédé de configuration d'un système informatique selon l'une quelconque des revendications 1 à 5, dans lequel chaque coeur de calcul (116) est apte à exécuter de manière entrelacée exactement deux fils d'instructions à la fois. 7. Programme d'ordinateur (122) téléchargeable depuis un réseau de communication et/ou enregistré sur un support lisible par ordinateur et/ou exécutable par un processeur, caractérisé en ce qu'il comprend des instructions pour l'exécution des étapes d'un procédé de configuration selon l'une quelconque des revendications 1 à 6, lorsque ledit programme est exécuté sur un ordinateur (100). 8. Programme d'ordinateur (122) selon la revendication 7, sous forme d'un shell-script. 9. Programme d'ordinateur selon la revendication 7, sous forme d'au moins une fonction d'une bibliothèque informatique destinée à être appelée par un autre programme. 10. Système informatique (100) comportant : - au moins un coeur de calcul (116) pour exécuter des fils d'instructions, chaque coeur de calcul (116) étant apte à exécuter de manière entrelacée au moins deux fils d'instructions à la fois, et - une mémoire (114) dans laquelle est enregistré un système d'exploitation qui, lorsque exécuté par le système informatique (100), est apte à fournir des fils d'instructions à chaque coeur de calcul (116), caractérisé en ce qu'il comporte : - une mémoire (114) dans laquelle est enregistré un programme d'ordinateur (122) comprenant des instructions pour, lorsque exécuté par le système informatique (100) alors que le système d'exploitation (120) est en cours d'exécution par le système informatique (100), configurer le système d'exploitation (120) en cours d'exécution dans un mode dans lequel il fournit à chaque coeur de calcul (116) au plus un fil d'instructions à la fois.