CLIQUEZ ICI POUR VOUS INSCRIRE
Organisateurs
Alain Tchana (Grenoble INP – alain.tchana@grenoble-inp.fr), ERODS team – Grenoble
https://lig-membres.imag.fr/tchanaa
Les équipes de recherche ERODS du LIG et Whisper de Inria Paris ont développé USM (User Space Memory), un framework pour l’écriture et l’exécution en user space des politiques de gestion de la mémoire. USM expose à l’adminsys une API C permettant de programmer trois types de politiques :
• Allocation de pages physiques : une politique décide de quand, combien de pages allouer, de leur initialisation, et de leur libération.
• Swap-in et swap-out : quand, quelles pages, et quel device de swap
• OOM : quand et quel processus éliminer
A coté des politiques, avec USM, le sysadmin décide de la structure de données à utiliser pour représenter les pages libres et occupées. La structure de données peut avoir un impact sur l’efficacité des politiques. USM fonctionne de la façon suivante :
- l’adminsys programme des politiques et la façon dont les applications vont etre assignées aux politiques.
- l’adminsys démarre USM
- l’adminsys démarre chaque application qui doit etre gérée par USM en utilisant une librairie fournie par USM
L’approche USM ouvre la voix à l’utilisation de modèles d’inférence IA à la place des heuristiques pour les services du système d’exploitation. En effet, les heuristiques sont limitées par l’intuition de celui/celle qui la propose. A l’inverse, un modèle IA s’améliore avec le temps grâce à des entraînements répétés. Nous souhaitons explorer cette idée.
Missions
• Prise en main de USM
• Déploiement de quelques applications
• Collecte de traces
• Identification des approches IA appropriées
• Entraînement et construction de modèles
• Intégration des modèles dans USM
• Evaluations
Compétences à acquerir
• Linux
• IA
• Allocation mémoire dans Linux
• Expérimentation
Compétences requises
• IA
• Programmation C