README.rest 1.23 KB
Newer Older
Kunshan Wang's avatar
Kunshan Wang committed
1 2 3
================
Mu Specification
================
4

Kunshan Wang's avatar
Kunshan Wang committed
5 6
This document aims to provide a detailed description of Mu, a micro virtual
machine, including its architecture, instruction set and type system.
7

Kunshan Wang's avatar
Kunshan Wang committed
8 9 10 11
This branch uses the goto-with-values form. The previous branch using SSA form
with PHI nodes is in the `phi
<https://github.com/microvm/microvm-spec/tree/phi>`__ branch.

12
Main specification:
13

Kunshan Wang's avatar
Kunshan Wang committed
14 15 16 17 18 19 20 21 22 23 24 25 26
- `Overview <overview.rest>`__
- `Intermediate Representation <uvm-ir.rest>`__
- `Intermediate Representation (Binary Form) <uvm-ir-binary.rest>`__
- `Type System <type-system.rest>`__
- `Instruction Set <instruction-set.rest>`__
- `Common Instructions <common-insts.rest>`__
- `Client Interface <uvm-client-interface.rest>`__
- `Threads and Stacks <threads-stacks.rest>`__
- `Memory and Garbage Collection <uvm-memory.rest>`__
- `Memory Model <memory-model.rest>`__
- `Native Interface <native-interface.rest>`__
- `Heap Allocation and Initialisation Language (HAIL) <hail.rest>`__
- `Portability and Implementation Advices <portability.rest>`__
27 28 29 30

Platform-specific parts: These extends the main specification. The main
specification considers these parts as implementation-specific.

Kunshan Wang's avatar
Kunshan Wang committed
31
- `AMD64 Unix Native Interface <native-interface-x64-unix.rest>`__
32 33

.. vim: tw=80