Virtual Machines (Google eBook)
This book offers a unique insight into the building of virtual machines for sequential, object-oriented and parallel languages, and uses comparisons of different VMs to provide actual, practical examples. State transitions are used as a formal technique for the specification of virtual machines throughout and – in addition – transitions and state transitions relating to the general operation are included for specification of the virtual machine for the event-based system. Two virtual machines are defined using a simple sequential language, which is then generalised to include object and parallelism. Other themes explored include the implementation of VMs and proposals for future work. Appendices contain high-level specifications of two compilers: one for the simple language that serves as the basic example throughout the book, the other for the event-based language specified in Chapter 6. This book is an essential reference tool for academic and industrial researchers as well as postgraduates in this area.
What people are saying - Write a review
We haven't found any reviews in the usual places.
3 The Java Virtual Machine
4 DIY VMs
5 More StackBased VMs
An EventDriven Language
7 RegisterBased Machines
8 Implementation Techniques
add2 addition ALEX allocated array BCPL bytecodes bytes chapter class file class or interface code vector command constant pool construct contains control stack cpop current event defined denoted element entry environment evaluation event queue example executed function getparam global variables Harrison Machine heap implemented initialisation instruction pointer instruction set Intcode integer interpreter Java jump label loaded loop machine's method mkrdy object-oriented OCODE machine offset opcode operand operations optimisation organisation parameters Parrot Parrot virtual machine performed popped primitives procedure process descriptor processor programming language pushc pushed reference register machine register-based register-transfer represented return address rule runtime s[sp SECD machine semantics sequence setlocal Smalltalk specification stack frame stack machine stack-based storage stored string structure temp1 thread threaded code transitions translation two-stack machine virtual machine instructions