formation par la recherche / formation doctorale / enseignement, stages / sujets de thèses

Architecture virtuelle dynamiquement reconfigurable pour le code mobile

Localisation :Irisa, Rennes

Equipe COSI

Responsable : D. LAVENIER (tél. direct : 2 99 84 72 17, email : lavenier@irisa.fr)

Mot-clés : machine virtuelle, JAVA, logique reconfigurable, code mobile, programmation objet.

Sujet :

L'exécution du code mobile doit répondre à plusieurs exigences difficiles à concilier : la performance, la portabilité et la sécurité. La solution adoptée actuellement, par exemple dans les navigateurs Internet, est de recourir à une machine virtuelle capable d'interpréter le code à la volée tout en l'isolant du système hôte. Cette solution, de part sa mise en oeuvre, a déjà atteint ses limites: d'une part elle repose sur l'universalité du langage de programmation du code mobile, principalement Java, et de son interprétation par une machine virtuelle monolithique et spécialisée, la JVM; d'autre part, l'utilisation de cette machine virtuelle oblige le processeur hôte à émuler un système coûteux en ressources et relativement lent pour l'exécution du code mobile.

Une solution technique aux problèmes de la performance, de la disponibilité des ressources et de l'évolutivité du support d'exécution peut être atteinte par l'utilisation d'une technologie différente de celle des microprocesseurs: les architectures dynamiquement reconfigurables (ADR). Associée à un processeur, sous la forme d'un co-processeur par exemple, une ADR configurée pour réaliser les tâches d'une machine virtuelle apporte à la fois la performance et la flexibilité.

La réalisation pratique suppose tout à la fois de disposer d'un moyen de description d'une machine virtuelle, de maîtriser la compilation pour une telle machine et, enfin, de parvenir à configurer rapidement une architecture dynamiquement reconfigurable pour une machine virtuelle donnée.

Ce sont les trois objectifs du travail de thèse qui s'effectuera en coopération avec le l'équipe de recherche ORCADE de l'Université de Bretagne Sud à Vannes.