Abstract: TokyoTech virtual machine
builder (VMB) is a generator of efficient virtual machine. VMB takes a
definition of a virtual machine and generates a virtual machine that
efficiently executes bytecode programs of the specified machine instruction
A definition of a virtual machine comprises a definition of virtual hardware
(a set of virtual registers, virtual stacks, and heap organization) and a
virtual machine instruction set. Behavior of each virtual machine instruction
is given in terms of machine state transition system.
Virtual machine builder has been used to generate a set of virtual machines
that include virtual machine for Objective Caml and a subset of Java.
The generated virtual machine executes slightly slowler (0-8% slower) than a
human-made virtual machine.