Précédent : Cadmium: un système support pour Remonter : Logiciels Suivant : Résultats nouveaux
Précédent : Cadmium: un
système support pour Remonter : Logiciels
Suivant : Résultats nouveaux
Participants : Carine Baillarguet, Ian Piumarta.
La Machine Virtuelle Recursive (MVR) (http://www-sor.inria.fr/projects/vvm/) permet aux programmeurs d'étendre dynamiquement le jeu d'instructions de la machine virtuelle, ainsi que son jeu de primitives, par transformation de fonctions applicatives en instructions ou primitives optimisées. Elle démontre également l'intérêt d'une implémentation «ouverte», permettant aux programmeurs de définir eux-mêmes des facilités systèmes, tels que les processus légers, la synchronisation, les «continuations», de nouveaux éléments syntaxiques, et les extensions orientées-objet. Elle valorise aussi les mécanismes d'optimisation dynamique développés antérieurement [[16]]. Ces mêmes mécanismes ont étés utilisés pour améliorer les performances de la machine virtuelle d'Objective Caml http://www-sor.inria.fr/ piumarta/pldi98/ocaml-1.05/.