Doctorant F/H Programmation asynchrone sous contraintes mémoire

Télécharger l'offre au format PDF

Type de contrat : CDD

Niveau de diplôme exigé : Bac + 5 ou équivalent

Fonction : Doctorant

Niveau d'expérience souhaité : Jeune diplômé

A propos du centre ou de la direction fonctionnelle

Le Centre Inria de l’Université Grenoble Alpes, regroupe un peu moins de 600 personnes réparties au sein de 24 équipes de recherche et 9 services support à la recherche.

Son effectif est distribué sur 3 campus à Grenoble, en lien étroit avec les laboratoires et les établissements de recherche et d'enseignement supérieur (Université Grenoble Alpes, CNRS, CEA, INRAE, …), mais aussi avec les acteurs économiques du territoire.

Présent dans les domaines du calcul et grands systèmes distribués, logiciels sûrs et systèmes embarqués, la modélisation de l’environnement à différentes échelles et la science des données et intelligence artificielle, le Centre Inria de l’Université Grenoble Alpes participe au meilleur niveau à la vie scientifique internationale par les résultats obtenus et les collaborations tant en Europe que dans le reste du monde.

 

 

 

 

Contexte et atouts du poste

Ecole doctorale MSTII, Université Grenoble Alpes.

Encadrant Fabrice Rastello

Dans le cadre du projet Holigrail du PEPR IA, l'équipe CORSE participe au développement d'infrastructures de compilation optimisante pour le deep learning. C'est dans ce cadre qu'elle développe des outlls permettant d'analyser un code optimisé afin, en particulier, de faciliter le "debug de performance". Elle développe aussi des outils de prédiction de performance à la fois basée sur des approches empiriques mais aussi sur des approches analytiques ou comportementales. Ces prédictions plux rapide qu'un cycle complet de compilation+exécution servent à la fois à l'optimisation de performance mais aussi à des passes de compression effectuées en amont de la compilation (eg élagage, décomposition, etc). Ces modèles comportementaux sont basés sur des techniques de "reverse engineering" de micro-architecture. C'est ce à quoi cette thèse se propose de contribuer.

Mission confiée

La mission principales est de mener un projet de recherche doctoral visant à résoudre le défi croissant de la compréhension des performances des microarchitectures de processeurs modernes. Face à la prolifération de conceptions complexes et hétérogènes (Intel P/E-cores, ARM spécialisés comme Google Axion, AWS Graviton), il est crucial de développer des méthodologies de caractérisation plus évolutives, précises et portables que les approches existantes en "boîte noire" ou "boîte blanche".

Le ou la doctorant(e) aura pour objectif principal d'établir un nouveau paradigme de modélisation "boîte grise", qui exploite la stabilité des principes de conception fondamentaux des pipelines superscalaires, tels que l'algorithme de Tomasulo. Cette approche intermédiaire permettra d'obtenir des insights plus profonds que les méthodes basées sur l'observation pure (boite "blanche", sans la complexité et le manque de portabilité des analyses basées sur l'ingénierie inverse (boites "noires").

Les activités principales dans le cadre de cette thèse incluront :

  • Développer une méthodologie pour générer des micro-benchmarks portables : Concevoir des benchmarks capables de créer des goulots d'étranglement analytiques et ciblés au sein du pipeline du processeur, indépendamment des spécificités et de la documentation obscure des fournisseurs.
  • Formuler la tâche d'inférence des paramètres matériels comme un problème d'optimisation contrainte : Intégrer les régularités architecturales inhérentes du pipeline comme des contraintes fortes, guidant le processus d'inférence vers des modèles de performance précis et fidèles à la microarchitecture réelle.
  • Concevoir un modèle générique et portable du pipeline de processeur : Élaborer un modèle holistique qui représente fidèlement les interactions complexes entre les composants frontend et backend du processeur, offrant ainsi une compréhension plus complète et réaliste du comportement microarchitectural.

Ce projet de thèse contribuera de manière significative à la recherche académique en offrant une nouvelle approche pour la compréhension et la prédiction des performances des CPU superscalaires. Les résultats permettront non seulement d'avancer la science fondamentale des architectures informatiques, mais aussi de fournir des outils essentiels pour l'optimisation des logiciels haute performance dans un écosystème matériel en constante mutation notamment dans le domaine du deep learning.

Principales activités

Principales activés :

  • développement d'algorithmes de benchmarking
  • diffusion scientifique

 

Compétences

Compétences techniques et niveau requis : micro-architecture matérielle, compteurs matériels, code bas niveau (assembleur), bonne compétences en algorithmique et en système

Langues : Anglais, Français

 

Avantages

  • Restauration subventionnée
  • Transports publics remboursés partiellement
  • Congés : 7 semaines de congés annuels + 10 jours de RTT (base temps plein) + possibilité d'autorisations d'absence exceptionnelle (ex : enfants malades, déménagement)
  • Possibilité de télétravail (90 jours par an flottants) et aménagement du temps de travail (sauf pour les stagiaires et apprentis)
  • Prestations sociales, culturelles et sportives (Association de gestion des œuvres sociales d'Inria)
  • Accès à la formation professionnelle
  • Participation employeur mutuelle santé (sous conditions)

Rémunération

2 200 euros brut /mois