Dis virtual machine
 |
The topic of this article may not meet Wikipedia's notability guidelines for products and services. (January 2009) |
 |
This article relies on references to primary sources. (January 2009) |
| Written in | C |
|---|---|
| Operating system | Inferno |
| Type | Virtual machine |
| Website | www.vitanuova.com/inferno/papers/dis.html |
The Dis virtual machine is the execution environment for application code in the Inferno operating system. Its design is based on a register machine, closely modeling CISC-like architectures.[1] Code is interpreted or is just-in-time compiled into machine code for the target architecture.
Dis is the target machine for the Limbo programming language.
Dis has memory management built in. It uses a hybrid of reference counting and a real-time garbage collector for cyclic data.
The instruction set architecture is based on a three-operand memory-to-memory machine. It includes instructions for arithmetic, control flow, data motion. There are also instructions for creating new processes, synchronizing and communicating between processes, loading modules of code, and support for higher-level data-types: strings, arrays, lists, and communication channels.
Dis instructions operate on operands of byte (8 bits), word (32 bits), float (64 bits), and big integer (64 bits).
[edit] See also
[edit] Footnotes
- ^ "Dis Virtual Machine Specification", Inferno (paper), Vita nuova, 26 February 2009.
[edit] External links
- The design of the Inferno virtual machine, Vita nuova.
- "Dis VM design", Inferno (4th ed.), Cat V.
- "Dis VM specification", Inferno (4th ed.), Cat V.
 |
This operating system-related article is a stub. You can help Wikipedia by expanding it. |
