Virtual Machine

LispKit Virtual Machine

Components

The virtual machine consists of the following components:

• context: This is a reference to the context in which this virtual machine is embedded.
• stack: This is the stack for passing parameters, storing intermediate results, and for returning results.
• sp: The stack pointer, i.e. the index of the next available position on the stack.

Organisation of stack

The stack is segmented into frames, each representing the invocation of a closure. The layout of each stack frame looks like this: TODO: Include more details