Dis virtual machine
E632963
Dis virtual machine is the lightweight, register-based virtual machine at the core of the Inferno operating system, designed to execute its portable Dis bytecode across diverse platforms.
All labels observed (1)
| Label | Occurrences |
|---|---|
| Dis virtual machine canonical | 3 |
Statements (48)
| Predicate | Object |
|---|---|
| instanceOf |
bytecode interpreter
ⓘ
register-based virtual machine ⓘ virtual machine ⓘ |
| abstractionLevel | low-level virtual machine ⓘ |
| associatedWith | Limbo programming language NERFINISHED ⓘ |
| coreOf | Inferno operating system NERFINISHED ⓘ |
| designedFor |
executing Dis bytecode
ⓘ
portability across diverse platforms ⓘ |
| developedAt | Bell Labs NERFINISHED ⓘ |
| distinguishedBy | register-based design instead of stack-based design ⓘ |
| enables | platform-independent execution ⓘ |
| executes |
Dis instruction set
ⓘ
compiled Limbo code ⓘ |
| executionEnvironmentFor | Inferno system services NERFINISHED ⓘ |
| executionModel | register-based ⓘ |
| hasComponent | Dis instruction set ⓘ |
| hasFeature |
portable execution semantics
ⓘ
strong isolation between processes ⓘ virtualized stack and registers ⓘ well-defined bytecode format ⓘ well-defined calling conventions for Dis code ⓘ |
| hasGoal |
simplified portability for Inferno applications
ⓘ
uniform runtime across heterogeneous systems ⓘ |
| hasNameOrigin | named after Dis bytecode format ⓘ |
| hasProperty |
architecture-neutral bytecode
ⓘ
independent of underlying CPU instruction set ⓘ |
| implements |
Inferno communication primitives
ⓘ
Inferno process model ⓘ |
| influencedBy | Bell Labs research on operating systems ⓘ |
| is | lightweight ⓘ |
| languageRuntimeFor | Limbo NERFINISHED ⓘ |
| partOf | Inferno software architecture NERFINISHED ⓘ |
| relatedTo |
.NET Common Language Runtime
NERFINISHED
ⓘ
Java Virtual Machine NERFINISHED ⓘ |
| runs | Dis bytecode programs ⓘ |
| supports |
communication via channels
ⓘ
concurrent processes ⓘ dynamic loading of Dis modules ⓘ garbage-collected runtime ⓘ portable Dis bytecode ⓘ type-safe execution model ⓘ |
| targetPlatform |
Inferno hosted on Plan 9
ⓘ
Inferno hosted on Unix ⓘ Inferno hosted on Windows ⓘ Inferno hosted on other environments ⓘ Inferno on native hardware ⓘ |
| usedFor | network-distributed applications in Inferno ⓘ |
| usedIn | Inferno OS applications ⓘ |
Referenced by (3)
Full triples — surface form annotated when it differs from this entity's canonical label.