Doctorant Systèmes d'Exploitation pour Base Cerf-Valeur Rapide H/F

INRIA; Villé; Hybride; EUR 23 000 - 28 000; Plein temps

Avantages offerts par ce poste

Restauration subventionnée

Transports publics remboursés

Congés: 7 semaines + RTT

Télétravail possible

Formation professionnelle

Résumé du poste

Inria Grenoble Alpes recrute un doctorant F/H sur les systèmes d'exploitation pour des magasins clé-valeur distribués. Le poste porte sur la mise en veille et le réveil à l’échelle microseconde, l’optimisation de l’ordonnancement et l’intégration dans Linux et runtimes utilisateurs.

Vous travaillerez sur des environnements cloud mutualisés et des charges réseau importantes, avec une période de thèse en CDD au Centre Inria Grenoble Alpes. Compétences en C/C++, Linux et RDMA souhaitables.

Qualifications

• Bac+5 ou équivalent requis.
• Connaissance des systèmes d'exploitation et de la gestion d'énergie.
• Maîtrise du développement C/C++ et des environnements Linux.
• Compréhension des environnements utilisateurs et des runtimes.

Responsabilités

• Réaliser une revue d'état de l'art sur les mécanismes OS et runtimes à faible latence.
• Concevoir et implémenter des mécanismes de veille/réveil dans Linux et runtimes.
• Évaluer les performances sur des infrastructures RDMA et des systèmes clé-valeur distribués.

Connaissances

Linux kernel

OS scheduling

Power-aware runtime

Formation

Bac+5 ou équivalent

Outils

C/C++

RDMA

Linux

Description du poste

A propos d'Inria Inria, l'institut national de recherche dans les sciences et technologies du numérique, est en appui de l'État pour les stratégies nationales de recherche et d'innovation du numérique en tant qu'Agence de programmes. Inria mène plus de 300 projets de recherche et d'innovation avec ses 3500 scientifiques, ingénieurs et personnels d'appui, en partenariat avec les universités et l'écosystème numérique (entreprises, entrepreneurs, acteurs publics). Ensemble, nous explorons des domaines clés comme l'intelligence artificielle, la cybersécurité, l'informatique quantique, le Cloud, la transformation numérique de la santé, les jumeaux numériques ou encore les technologies numériques pour la défense. Nous construisons des solutions concrètes telles que des logiciels, des startups technologiques, des partenariats avec les entreprises du tissu national et des formations de pointe. Notre objectif : l'impact scientifique, technologique et industriel au service de la souveraineté numérique de la France.

Doctorant F/H Systèmes d'exploitation pour base cerf-valeur rapide

Type de contrat : CDD Niveau de diplôme exigé : Bac +5 ou équivalent Fonction : Doctorant A propos du centre ou de la direction fonctionnelleLe Centre Inria de l'Université Grenoble Alpes, regroupe un peu moins de 450 personnes réparties au sein de 26 é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 etla 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 posteLes bases de données clé-valeur distribuées modernes fonctionnent de plus en plus à des échelles où les surcoûts du systèmed'exploitation deviennent un facteur limitant de performance de premier ordre. Les systèmes actuels s'appuient souvent sur l'attente active(*busy waiting*) pour atteindre une faible latence, car les interruptions, l'ordonnancement des tâches et les mécanismes de réveil sont tropcoûteux à l'échelle de la microseconde. Bien que cette approche maximise les performances, elle gaspille des cycles processeur et del'énergie, ce qui la rend peu adaptée aux futurs centres de données durables. Des travaux récents, tels que Sandman [1], montrent qu'ilest possible de réaliser d'importantes économies d'énergie grâce à une gestion plus intelligente des ressources, mais reposent sur deshypothèses qui ne sont pas valables dans les environnements cloud mutualisés (par exemple, des machines exécutant une seuleapplication).L'objectif de cette thèse est de concevoir des mécanismes de système d'exploitation permettant aux magasins clé-valeur distribués demettre en veille et de réveiller efficacement des contextes d'exécution à granularité fine, sans recourir à l'attente active. Les recherchesexploreront de nouvelles interactions entre l'ordonnanceur du système d'exploitation, le sous-système d'interruptions et les environnements d'exécution en espace utilisateur (*user-level runtimes*), afin de prendre en charge des millions d'événements réseau etde stockage par seconde tout en maintenant une faible latence, un débit élevé et une excellente efficacité énergétique. Une attentionparticulière sera portée aux environnements cloud, où les ressources sont partagées et où les charges de travail présentent desfluctuations rapides ainsi qu'un comportement fortement sporadique (*bursty*).latency*), d'utilisation du processeur et de consommation énergétique à l'aide de magasins clé-valeur distribués de pointe exécutés surdes réseaux RDMA à haut débit.[1] Sandman : https://dl.acm.org/doi/pdf/10.1145/3731569.3764804

Mission confiée

Résultats attendus :

• - Mécanismes de mise en veille et de réveil à l'échelle de la microseconde. Concevoir de nouveaux mécanismes au niveau du systèmed'exploitation et de l'environnement d'exécution permettant aux tâches des magasins clé-valeur de se bloquer et de reprendre leurexécution avec un surcoût significativement inférieur à celui des approches actuelles fondées sur les interruptions ou l'ordonnancement.
• - Intégration d'un environnement d'exécution sensible aux ressources. Développer un environnement d'exécution capable de basculerdynamiquement entre des états actifs et des états basse consommation en fonction de l'intensité de la charge de travail, tout enpréservant les garanties de latence.
• - Évaluation sur des charges de travail clé-valeur modernes. Démontrer des améliorations en termes de débit, de latence de queue (*tailPrincipales activitésPrincipales activités :Réaliser un état de l'art sur les mécanismes OS et runtime de mise en veille/réveil à faible latence et sur les techniques d'efficacité énergétique des magasins clé-valeur distribués.Concevoir de nouveaux mécanismes de mise en veille et de réveil adaptés aux contraintes des systèmes clé-valeur et des environnements cloud mutualisés.Implémenter et intégrer ces mécanismes dans Linux, des environnements d'exécution en espace utilisateur et des magasins clé-valeur distribués.Évaluer expérimentalement les solutions proposées sur des infrastructures RDMA, en termes de latence, débit, utilisation CPU et consommation énergétique.Publier et valoriser les résultats de la recherche dans des conférences et revues scientifiques internationales.

Principales activités

Réaliser un état de l'art sur les mécanismes OS et runtime de mise en veille/réveil à faible latence et sur les techniques d'efficacité énergétique des magasins clé-valeur distribués.Concevoir de nouveaux mécanismes de mise en veille et de réveil adaptés aux contraintes des systèmes clé-valeur et des environnements cloud mutualisés.Implémenter et intégrer ces mécanismes dans Linux, des environnements d'exécution en espace utilisateur et des magasins clé-valeur distribués.Évaluer expérimentalement les solutions proposées sur des infrastructures RDMA, en termes de latence, débit, utilisation CPU et consommation énergétique.Publier et valoriser les résultats de la recherche dans des conférences et revues scientifiques internationales.

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 et aménagement du temps de travail
• Équipements professionnels à disposition (visioconférence, prêts de matériels informatiques, etc.)
• Prestations sociales, culturelles et sportives (Association de gestion des oeuvres sociales d'Inria)
• Accès à la formation professionnelle
• Participation employeur mutuelle santé et prévoyance (sous conditions)
• Rémunération2300 euros brut / mois