Une machine virtuelle pour Nit
introduction
Le projet
Thèse commencée en 2013 (avec Roland Ducournau) : Étude d’une
machine virtuelle en héritage multiple basée sur le hachage parfait
Objectifs principaux
Preuve de faisabilité d’une telle machine virtuelle
Expérimenter des techniques d’implémentation dans les machines
virtuelles
Étudier les protocoles d’optimisation dynamiques
Avoir une machine virtuelle (relativement) efficace
On cherche à avoir un modèle d’exécution similaire à celui de Java.
Julien Pagès (LIRMM, Montpellier) Une machine virtuelle pour Nit 3 Décembre 2014 3 / 39
introduction
Les machines virtuelles
Trois grandes familles de systèmes d’exécution
1Interpréteur
2Compilateur
3Machine virtuelle
Caractéristiques d’une machine virtuelle
Chargement dynamique (monde ouvert)
Compilation à la volée
Gestion automatique de la mémoire
Julien Pagès (LIRMM, Montpellier) Une machine virtuelle pour Nit 3 Décembre 2014 4 / 39
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
1
/
58
100%
