CONTEXTE

L’exo-noyau Hexo et le système d'exploitation MutekH ont été développés au LIP6, pour la conception de systèmes intégrés sur puce.

Un exo-noyau offre principalement un service d’abstraction du matériel (c’est à dire une API indépendante des spécificités du ou des processeurs). On peut développer sur cette API un ensemble de bibliothèques fournissant des services système de plus haut niveau. La spécificité d'Hexo est qu'il peut supporter des architectures hétérogènes massivement parallèle. Hexo est portable sur des architectures de processeurs entre 8 et 64 bits.

MutekH est constitué d'Hexo et d'un ensemble de bibliothèques: une libc, plusieurs systèmes de fichiers, le support de thread POSIX, une couche réseau TCP/IP, le support des scripts Lua, différents pilotes de périphériques. A ce jour MutekH supporte des plates formes matérielles de type IBM PC utilisant des processeurs X86, et des architectures multiprocesseurs modélisées avec SocLib et utilisant des processeurs Arm, PowerPc ou MIPS.

MutekH est utilisé au département SoC dans divers projets de recherche comme Adam, DSX ou Tsar. 

TRAVAIL PROPOSE

L'objectif de ce stage est le développement d'un driver pour la famille des systèmes de fichiers Ext2, Ext3 et Ext4. Ces systèmes de fichiers sont utilisés par les systèmes d'exploitation GNU/linux.

Le support de ces systèmes s'appuiera sur la bibliothèque existante Ext2fs qui contient l'algorithmique complexe nécessaire. Ce pilote permettra à MutekH d'accéder, par exemple, aux fichiers d'une partition GNU/Linux et viendra compléter la collection de systèmes de fichiers déjà supportés : Fat, Iso9660, RamFS...

Le stagiaire devra prendre en main le projet MutekH et notamment la gestion des systèmes de fichiers (libvfs) ainsi que la couche d'accès aux périphériques de blocs pour développer le pilote. Il devra également prendre en main et adapter la bibliothèque Ext2fs qui est utilisée pour l'accès aux systèmes de fichiers Ext2 sous GNU/Linux.

ENCADREMENT

Ce stage sera encadré par Nicolas Pouillon (nicolas.pouillon@lip6.fr), sous la responsabilité du professeur Alain Greiner (alain.greiner(at)lip6(.)fr).

REMUNERATION

Ce stage sera rémunéré pendant toute la durée du stage.