This document aims to provide a detailed description of Mu, a micro virtual machine, including its architecture, instruction set and type system.
NOTE: This branch uses the goto-with-values form. The previous branch using SSA form with PHI nodes is in the phi branch.
Main specification:
- Overview
- Intermediate Representation
- Intermediate Representation Binary Form (deprecated)
- Type System
- Instruction Set
- Common Instructions
- Client Interface (a.k.a. The API)
- Call-based IR Building API (work in progress)
- Threads and Stacks
- Memory and Garbage Collection
- Memory Model
- (Unsafe) Native Interface
- Heap Allocation and Initialisation Language (HAIL)
- Portability and Implementation Advices
Platform-specific parts: These extends the main specification. The main specification considers these parts as implementation-specific.