The Denali
operating system
An operating system (OS) is system software that manages computer hardware, software resources, and provides common services for computer programs.
Time-sharing operating systems schedule tasks for efficient use of the system and may also in ...
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 o ...
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
x86 virtualization is the use of hardware-assisted virtualization capabilities on an x86/x86-64 CPU.
In the late 1990s x86 virtualization was achieved by complex software techniques, necessary to compensate for the processor's lack of hardware-as ...
). 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 Seattle a ...
.
"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