Type de contrat : CDD
Niveau de diplôme exigé : Bac + 5 ou équivalent
Fonction : Doctorant
Contexte et atouts du poste
In order to facilitate the integration of new schedulers in production-grade operating systems, two main approaches have been proposed: user-defined kernel-level schedulers and user-defined user-level schedulers. In the first case, the scheduling policy is injected (as a plug-in) into the operating-system kernel. In the second case, the custom scheduler runs in user mode (like an application) and interacts with the kernel to leverage its internal mechanisms (e.g., context switching) – only the scheduling policy is delegated to user space. The second approach offers the following benefits: (1) leveraging conventional debugging tools, (2) easily replacing the current scheduling policy (with a simple process launch/restart), (3) using a high-level programming language for the development of the scheduler code. A first step in the latter direction is ghOSt, from Google and Stanford. uFS, from the University of Wisconsin, similarly runs the file system in user space.
This PhD will be jointly supervised by Alain Tchana of ENS Lyon and Jean-Pierre Lozi of Inria Paris.
Mission confiée
So far, Linux kernel services have been externalized to user-space individually, with the hypothesis that the other operating-system services run in kernel space. For instance, in uFS the file system is a process that includes several threads. Although the uFS file system worker threads are pinned to dedicated cores, one can imagine their management by the kernel scheduler in order to avoid core waste. How could a userland scheduler such as ghOSt take those threads into account? More generally, no one is able to say how to make all these Linux services run effectively, efficiently, and in symbiosis at the user-space level. We want to answer this question. Also, as a bigger challenge, we want to study the externalization of the Linux's memory management subcomponent, on which all other components rely.
Principales activités
Study of algorithms for key Linux kernel services, design of an approach supporting the construction of efficient user-level counterparts, evaluation of the approach on real applications, writing papers, presentation of the work.
Compétences
Good knowledge of C code. Strong knowledge of operating system design. Familiarity with the Linux kernel source code would be helpful.
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 œuvres sociales d'Inria)
- Accès à la formation professionnelle
Partager
Informations générales
- Thème/Domaine :
Systèmes distribués et intergiciels
Système & réseaux (BAP E) - Ville : Paris
- Centre Inria : CRI de Paris
- Date de prise de fonction souhaitée : 2022-10-01
- Durée de contrat : 3 ans
- Date limite pour postuler : 2022-08-31
Contacts
- Equipe Inria : WHISPER
-
Directeur de thèse :
Lawall Julia / Julia.Lawall@inria.fr
A propos d'Inria
Inria est l’institut national de recherche dédié aux sciences et technologies du numérique. Il emploie 2600 personnes. Ses 200 équipes-projets agiles, en général communes avec des partenaires académiques, impliquent plus de 3500 scientifiques pour relever les défis du numérique, souvent à l’interface d’autres disciplines. L’institut fait appel à de nombreux talents dans plus d’une quarantaine de métiers différents. 900 personnels d’appui à la recherche et à l’innovation contribuent à faire émerger et grandir des projets scientifiques ou entrepreneuriaux qui impactent le monde. Inria travaille avec de nombreuses entreprises et a accompagné la création de plus de 180 start-up. L'institut s'efforce ainsi de répondre aux enjeux de la transformation numérique de la science, de la société et de l'économie.
Consignes pour postuler
Sécurité défense :
Ce poste est susceptible d’être affecté dans une zone à régime restrictif (ZRR), telle que définie dans le décret n°2011-1425 relatif à la protection du potentiel scientifique et technique de la nation (PPST). L’autorisation d’accès à une zone est délivrée par le chef d’établissement, après avis ministériel favorable, tel que défini dans l’arrêté du 03 juillet 2012, relatif à la PPST. Un avis ministériel défavorable pour un poste affecté dans une ZRR aurait pour conséquence l’annulation du recrutement.
Politique de recrutement :
Dans le cadre de sa politique diversité, tous les postes Inria sont accessibles aux personnes en situation de handicap.
Attention: Les candidatures doivent être déposées en ligne sur le site Inria. Le traitement des candidatures adressées par d'autres canaux n'est pas garanti.