Chers collègues,
Nous vous souhaitons une bonne et heureuse année ! Nous aurons le
plaisir de la commencer en accueillant Gaël Thomas le mercredi 23
janvier 2013 (11h-12h), en Salle L-Alpha du LRDE.
* 11h: Amélioration du design et des performances
des machines virtuelles langages
-- Gaël Thomas - REGAL-LIP6/UPMC/INRIA
http://pagesperso-systeme.lip6.fr/Gael.Thomas/
Avec l'avènement du Web et du besoin de protéger les utilisateurs contre
des logiciels malicieux, les machines virtuelles langages, comme les
machines virtuelles Java et .Net, sont devenues la norme pour exécuter
des programmes. Dans cet exposé, je vais présenter les travaux que j'ai
menés ces dernières années et qui se sont concentrés sur trois aspects
des machines virtuelles: leur design, leur sûreté de fonctionnement, et
leur performance sur les architectures multi-cœurs.
Ma première contribution est VMKit, une bibliothèque qui facilite le
développement de nouvelles machines virtuelles performantes en cachant
leur complexité dans un ensemble de composants réutilisables. Ma seconde
contribution est I-JVM, une machine virtuelle Java qui élimine les huit
vulnérabilités connues qu'un composant de la plateforme OSGi pouvait
exploiter. Ma troisième contribution vise à améliorer les performances
des machines virtuelles sur les architectures multi-cœurs en se
focalisant sur les verrous et les ramasse-miettes: avec un mécanisme de
verrouillage qui surpasse tous les autres mécanismes connus lorsque le
nombre de cœurs augmente, et avec avec une étude des goulets
d'étranglement des ramasse-miettes sur les architectures multi-cœurs.
-- Gaël Thomas est maître de conférences (HDR) à l'UPMC Paris Sorbonne
qu'il a rejointe en 2006 après avoir passé une année en post doctorat à
l'université Joseph Fourier. Il est membre de l'équipe REGAL du LIP6,
une équipe mixte entre l'INRIA et l'UPMC qui étudie les systèmes
d'exploitation et les systèmes distribués à large échelle. Ses travaux
visent à améliorer les performances, la modularité et la sûreté de
fonctionnement des machines virtuelles langages comme la machine
virtuelle Java.
Depuis 2011, il est président de l'association ACM SIGOPS France.
Pour plus de renseignements, consultez http://seminaire.lrde.epita.fr/.
L'entrée du séminaire est libre. Merci de bien vouloir diffuser cette
information le plus largement possible.
--
Akim Demaille
Akim.Demaille(a)lrde.epita.fr