Waterfall: Primitives Generation on the Fly

Abstract : Modern languages are typically supported by managed runtimes (Virtual Machines). Since VMs have to deal with many concepts such as memory management, abstract execution model and scheduling, they tend to be very complex. Additionally, VMs have to meet strong performance requirements. This demand of performance is one of the main reasons why many VMs are built statically. Thus, design decisions are frozen at compile time preventing changes at runtime. One clear example is the impossibility to dynamically adapt or change primitives of the VM once it has been compiled. In this work we present a toolchain that allows for altering and configuring components such as primitives and plug-ins at runtime. The main contribution is Waterfall, a dynamic and reflective translator from Slang, a restricted subset of Smalltalk, to native code. Waterfall generates primitives on demand and executes them on the fly. We validate our approach by implementing dynamic primitive modification and runtime customization of VM plug-ins.
Type de document :
Pré-publication, Document de travail
2013
Liste complète des métadonnées


https://hal.inria.fr/hal-00871353
Contributeur : Lse Lse <>
Soumis le : jeudi 10 octobre 2013 - 11:16:26
Dernière modification le : mardi 19 janvier 2016 - 01:07:24
Document(s) archivé(s) le : vendredi 7 avril 2017 - 08:42:47

Fichiers

Waterfall.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : hal-00871353, version 1
  • ARXIV : 1310.2741

Citation

Guido Chari, Diego Garbervetsky, Camillo Bruni, Marcus Denker, Stéphane Ducasse. Waterfall: Primitives Generation on the Fly. 2013. <hal-00871353>

Partager

Métriques

Consultations de
la notice

646

Téléchargements du document

116