GEOFFRAY Nicolas

Supervision : Bertil FOLLIOT

Co-supervision : THOMAS Gaël

Fostering Systems Research with Managed Runtimes

Beaucoup de projets de recherches en système se basent sur des machines virtuelles (VM) de type Java parce qu'elles offrent une meilleure sureté d'exécution et une facilité de développement en comparaison avec des environnements natifs. Cependant, développer une VM est une tâche difficile qui demande beaucoup de temps et de connaissances. Bien que les VMs partagent plusieurs points communs, comme un compilateur ou un ramasse miettes, l'opportunité de partager des projets communs n'a pas encore été exploitée dans le développement de VMs. Cette thèse décrit et évalue VMKit, une VM minimale qui exploite ce partage et facilite le développement de VMs de haut-niveau ainsi que l'expérimentation de nouveaux mécanismes de recherche. Nous avons utilisé VMKit pour développer deux VMs, une machine virtuelle Java, et une machine virtuelle .Net, ainsi qu'un nouveau mécanisme système qui offre une meilleure sécurité d'exécution dans le contexte d'architectures orientées service.

Defence : 09/24/2009

Jury members :

Mme Christine Morin, Directeur de Recherche INRIA/Rennes [Rapporteur]
M. Jean-Bernard Stefani, Directeur de Recherche INRIA/Grenoble [Rapporteur]
Mme Nathalie Drach-Temam, Professeur à l'Université Pierre et Marie Curie
M. Albert Cohen, Directeur de Recherche INRIA/Saclay
M. Gilles Grimaud, Professeur à l'Université des Sciences et Technologies de Lille
M. Laurent Daynès, Senior Staff Engineer at SUN Labs
M. Bertil Folliot, Professeur à l'Université Pierre et Marie Curie
M. Gaël Thomas, Maître de Conférences à l'Université Pierre et Marie Curie

Departure date : 09/30/2009

2006-2010 Publications