The Denali
operating system
An operating system (OS) is system software that manages computer hardware, software resources, and provides common daemon (computing), services for computer programs.
Time-sharing operating systems scheduler (computing), schedule tasks for ef ...
is "an
IA-32
IA-32 (short for "Intel Architecture, 32-bit", commonly called i386) is the 32-bit version of the x86 instruction set architecture, designed by Intel and first implemented in the 80386 microprocessor in 1985. IA-32 is the first incarnation of ...
virtual machine monitor, that allows for untrusted services to be run in isolated (protected) domains."
Denali makes use of
paravirtualization
In computing, paravirtualization or para-virtualization is a virtualization technique that presents a software interface to the virtual machines which is similar, yet not identical, to the underlying hardware–software interface.
The intent o ...
to support high performance virtual machines, even on the notoriously uncooperative x86 architecture (see
x86 virtualization). The envisioned usage model for the original Denali was to support virtual machines running lightweight single application operating systems for internet services. A later revision of Denali (uDenali) includes support for running full-featured operating systems.
References
"Lightweight virtual machines for distributed and networked systems" Developer's page.
University of Washington
The University of Washington (UW, simply Washington, or informally U-Dub) is a public research university in Seattle, Washington.
Founded in 1861, Washington is one of the oldest universities on the West Coast; it was established in Seat ...
.
"Scale and performance in the Denali isolation kernel" Association for Computing Machinery
The Association for Computing Machinery (ACM) is a US-based international learned society for computing. It was founded in 1947 and is the world's largest scientific and educational computing society. The ACM is a non-profit professional member ...
.
External links
Denali, Lightweight virtual machines for distributed and networked systems
{{operating-system-stub
Virtualization software