Difference between revisions of "Seminar/2013-01-23"
From LRDE
| Line 1: | Line 1: | ||
| − | Connection closed |
||
{{SeminarHeader |
{{SeminarHeader |
||
| id = 2013-01-23 |
| id = 2013-01-23 |
||
| Line 8: | Line 7: | ||
{{Talk |
{{Talk |
||
| id = 2013-01-23 |
| id = 2013-01-23 |
||
| − | | abstract = Avec l' |
+ | | abstract = 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 |
logiciels malicieux, les machines virtuelles langages, comme les machines |
||
| − | virtuelles Java et .Net, sont devenues la norme pour |
+ | virtuelles Java et .Net, sont devenues la norme pour exécuter des |
| − | programmes. Dans cet |
+ | programmes. Dans cet exposé, je vais présenter les travaux que j'ai menés |
| − | ces |
+ | ces dernières années et qui se sont concentrés sur trois aspects des |
| − | machines virtuelles: leur design, leur |
+ | machines virtuelles: leur design, leur sûreté de fonctionnement, et leur |
| − | performance sur les architectures multi- |
+ | performance sur les architectures multi-cœurs. |
| − | Ma |
+ | 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 |
+ | 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 |
+ | exploiter. Ma troisième contribution vise à améliorer les performances des |
| − | machines virtuelles sur les architectures multi- |
+ | machines virtuelles sur les architectures multi-cœurs en se focalisant sur |
| − | les verrous et les ramasse-miettes: avec un |
+ | les verrous et les ramasse-miettes: avec un mécanisme de verrouillage qui |
| − | surpasse tous les autres |
+ | surpasse tous les autres mécanismes connus lorsque le nombre de cœurs |
| − | augmente, et avec avec une |
+ | augmente, et avec avec une étude des goulets d'étranglement des |
| − | ramasse-miettes sur les architectures multi- |
+ | ramasse-miettes sur les architectures multi-cœurs. |
| duration = 1h |
| duration = 1h |
||
| − | | orator = |
+ | | orator = Gaël Thomas - REGAL-LIP6/UPMC/INRIA |
| − | | resume = |
+ | | resume = Gaël Thomas est maître de conférences (HDR) à l'UPMC Paris Sorbonne qu'il a |
| − | rejointe en 2006 |
+ | rejointe en 2006 après avoir passé une année en post doctorat à l'université |
| − | Joseph Fourier. Il est membre de l' |
+ | Joseph Fourier. Il est membre de l'équipe REGAL du LIP6, une équipe mixte |
| − | entre l'INRIA et l'UPMC qui |
+ | 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 |
+ | performances, la modularité et la sûreté de fonctionnement des machines |
virtuelles langages comme la machine virtuelle Java. |
virtuelles langages comme la machine virtuelle Java. |
||
| − | Depuis 2011, il est |
+ | Depuis 2011, il est président de l'association ACM SIGOPS France. |
| schedule = 11h |
| schedule = 11h |
||
| slides = thomas.pdf |
| slides = thomas.pdf |
||
| − | | title = |
+ | | title = Amélioration du design et des performances des machines virtuelles langages |
| urls = http://pagesperso-systeme.lip6.fr/Gael.Thomas/ |
| urls = http://pagesperso-systeme.lip6.fr/Gael.Thomas/ |
||
| videos = http://www.dailymotion.com/video/xx3zhj_seminaire-lrde-improving-the-design-and-the-performance-of-managed-runtime-environments_tech#.UQezzr92R8E |
| videos = http://www.dailymotion.com/video/xx3zhj_seminaire-lrde-improving-the-design-and-the-performance-of-managed-runtime-environments_tech#.UQezzr92R8E |
||
Revision as of 19:04, 26 March 2014
Mercredi 23 janvier 2013, 11h-12h, Salle L-Alpha du LRDE
Amélioration du design et des performances des machines virtuelles langages
- Documents
- thomas.pdf
Gaël Thomas - REGAL-LIP6/UPMC/INRIA
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.
http://www.dailymotion.com/video/xx3zhj seminaire-lrde-improving-the-design-and-the-performance-of-managed-runtime-environments tech#.UQezzr92R8Ehttp://pagesperso-systeme.lip6.fr/Gael.Thomas/