Gestion coordonnée de ressources CPU et mémoire sur architectures multicoeurs
Dans cette thèse, nous traitons du problème des ordonnanceurs pour architectures multicœurs en l’abordant sous plusieurs angles: celui de la conception (simplicité et correction), celui de l’amélioration des performances et enfin celui du développement d’ordonnanceurs sur mesure pour une application. En résumé, les contributions présentées sont les suivantes :
- Ipanema, un langage dédié au développement d’ordonnanceurs de processus pour multi-cœur. Nous implémentons également au cœur du noyau Linux une nouvelle abstraction permettant d’ajouter dynamiquement un nouvel ordonnanceur écrit en Ipanema ;
- Une série d’outils de recherche de bogues de performance. Grâce à ces outils, nous montrons que l’ordonnanceur de Linux, CFS, souffre d’un problème lié à la gestion de la fréquence sur les processeurs modernes. Nous proposons une solution à ce problème sous la forme d’un patch soumis à la communauté. Ce patch permet d’améliorer significativement les performances de nombreuses applications ;
- Une modélisation des ordonnanceurs sous forme d’un “feature tree”. Nous implémentons ces fonctionnalités de façon indépendante afin de proposer un nouvel ordonnanceur entièrement modulaire. Cet ordonnanceur modulaire nous permet d’étudier exhaustivement les différentes combinaisons de fonctionnalités ouvrant ainsi la voie au développement d’ordonnanceurs spécifiques à une application donnée.
Soutenance : 23/10/2020
Membres du jury :
Mr Pascal Felber, Professeur, Université de Neuchâtel [Rapporteur]
Mr Vivien Quéma, Professeur, Grenoble INP (ENSIMAG) [Rapporteur]
Mr Rachid Guerraoui, Professeur, École Polytechnique Fédérale de Lausanne
Mme Karine Heydemann, Maitre de conférences (HDR), Sorbonne Université
Mr Étienne Rivière, Professeur, Université Catholique de Louvain
Mr Gilles Muller, Directeur de recherche, Inria
Mr Julien Sopena, Maitre de conférences, Sorbonne Université