GitLab will be upgraded to the 12.10.14-ce.0 on 28 Sept 2020 at 2.00pm (AEDT) to 2.30pm (AEDT). During the update, GitLab and Mattermost services will not be available. If you have any concerns with this, please talk to us at N110 (b) CSIT building.

README.rest 1.23 KB
Newer Older
Kunshan Wang's avatar
Kunshan Wang committed
1 2 3
================
Mu Specification
================
Kunshan Wang's avatar
Kunshan Wang committed
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.
Kunshan Wang's avatar
Kunshan Wang committed
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.

Kunshan Wang's avatar
Kunshan Wang committed
12
Main specification:
Kunshan Wang's avatar
Kunshan Wang committed
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>`__
Kunshan Wang's avatar
Kunshan Wang committed
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>`__
Kunshan Wang's avatar
Kunshan Wang committed
32 33

.. vim: tw=80