BECOULET Alexandre
Supervision : Alain GREINER
Co-supervision : WAJSBĂśRT Franck
Conception d'un système d'exploitation supportant nativement les
Cette thèse présente le système d'exploitation MutekH (http://www.mutekh.org/), capable de s'exécuter nativement sur une plateforme matérielle multiprocesseur, où les processeurs peuvent être de complexité différente et disposer de spécificités ou de jeux d'instructions différents. Les travaux présentés ici s'insèrent dans un contexte où les systèmes multi-core et les processeurs spécialisés permettent tous deux de réduire la consommation énergétique et d'optimiser les performances dans les systèmes embarqués et dans les systèmes sur puce. Les autres solutions logicielles existantes permettant l'exécution d'applications sur des plateformes multiprocesseurs hétérogènes ne permettent pas, à ce jour, la communication par mémoire partagée, telle qu'on l'envisage habituellement pour les systèmes multiprocesseurs homogènes. Notre solution est la seule qui permet la réutilisation du code source d'applications parallèles existantes pour leur exécution directe par des processeurs différents. La solution proposée est mise en oeuvre en deux phases: grâce au développement d'un noyau dont l'abstraction rend transparente l'hétérogénéité des processeurs, puis à la réalisation d'un outil spécifique d'édition des liens, capable d'harmoniser le code et les données des différents fichiers exécutables chargés en mémoire partagée. Les résultats obtenus montrent que MutekH permet l'exécution d'applications préexistantes utilisant des services standards, tels que les Threads POSIX, sur des plateformes multiprocesseurs hétérogènes sans dégradation des performances par rapport aux autres systèmes d'exploitation opérant sur des plateformes multiprocesseurs classiques.
Defence : 09/28/2010
Jury members :
M. Alain Greiner (LIP6)
M. Franck Wajsburt (LIP6)
M. Paul Feautrier (ENS LYON) [Rapporteur]
M. Frédéric Pétrot (TIMA) [Rapporteur]
M. François Charot (INRIA)
M. Akim Demaille (Gostai)
M. Renaud Pacalet (ENST)
M. Pierre Sens (LIP6)
2009-2010 Publications
-
2010
- A. Becoulet : “Conception d’un système d’exploitation supportant nativement les”, thesis, phd defence 09/28/2010, supervision Greiner, Alain, co-supervision : WajsbĂĽrt, Franck (2010)
-
2009
- N. Pouillon, A. BĂ©coulet, A. Vieira De Mello, F. PĂŞcheux, A. Greiner : “A Generic Instruction Set Simulator API for Timed and Untimed Simulation and Debug of MP2-SoCs”, IEEE/IFIP International Symposium on Rapid System Prototyping, 2009. RSP '09., Paris, France, pp. 116-122 (2009)