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.

2006-2010 Publications

• 2010
  • N. Geoffray, G. Thomas, J. Lawall, G. Muller, B. Folliot : “VMKit: a substrate for managed runtime environments”, VEE '10 - 6^th International Conference on Virtual Execution Environments, Pittsburgh, Pennsylvania, United States, pp. 51-62, (ACM) (2010)
• 2009
  • N. Geoffray : “Fostering Systems Research with Managed Runtimes”, thesis, phd defence 09/24/2009, supervision Folliot, Bertil, co-supervision : Thomas, Gaël (2009)
  • N. Geoffray, G. Thomas, G. Muller, P. Parrend, S. Frénot, B. Folliot : “I-JVM: une machine virtuelle Java pour l’isolation de composants dans OSGi”, Actes de la 7éme Conférence Française sur les Systèmes d'Exploitation (CFSE'07), Chapitre français de l'ACM-SIGOPS, GDR ARP, Toulouse, France, pp. 1-12 (2009)
  • N. Geoffray, G. Thomas, G. Muller, P. Parrend, S. Frénot, B. Folliot : “I-JVM: a Java Virtual Machine for Component Isolation in OSGi”, 39^th IEEE/IFIP International Conference on Dependable Systems and Networks (DSN'2009), Estoril, Portugal, pp. 544-553, (IEEE) (2009)
  • N. Geoffray, G. Thomas, G. Muller, P. Parrend, S. Frénot, B. Folliot : “I-JVM: a Java Virtual Machine for Component Isolation in OSGi”, 21 pages (2009)
  • N. Geoffray, G. Thomas, Ch. Clément, B. Folliot, G. Muller : “VMKit: a Substrate for Virtual Machines”, 25 pages (2009)
• 2008
  • G. Thomas, N. Geoffray, Ch. Clément, B. Folliot : “Designing Highly Flexible Virtual Machines: The JnJVM Experience”, Software: Practice and Experience, vol. 38 (15), pp. 1643-1675, (Wiley) (2008)
  • N. Geoffray, G. Thomas, Ch. Clément, B. Folliot : “A Lazy Developer Approach: Building a JVM with Third Party Software”, International Conference on Principles and Practice of Programming In Java (PPPJ '08), Modena, Italy, pp. 73-82, (ACM) (2008)
  • N. Geoffray, G. Thomas, Ch. Clément, B. Folliot : “Towards a New Isolation Abstraction for OSGi”, First Workshop on Isolation and Integration in Embedded Systems (IIES 2008), Glasgow, Scotland, United Kingdom, pp. 41-45, (ACM) (2008)
• 2006
  • N. Geoffray, G. Thomas, B. Folliot : “Live and Heterogeneous Migration of Execution Environments”, Pervasive Systems Workshop (PerSys), vol. 4278, Lecture Notes in Computer Science, Montpellier, France, pp. 1254-1263, (Springer-Verlag) (2006)
  • N. Geoffray, G. Thomas, B. Folliot : “Transparent and Dynamic Code Offloading for Java Applications”, Distributed Objects and Applications (DOA), vol. 4276, Lecture Notes in Computer Science, Montpellier, France, pp. 1790-1806, (Springer-Verlag) (2006)
  • N. Geoffray, G. Thomas, B. Folliot : “Distribution transparente et dynamique de code pour applications Java”, Conférence Française sur les Systèmes d'Exploitation (CFSE), Perpignan, France, pp. 85-96 (2006)