The Denali
operating system
An operating system (OS) is system software that manages computer hardware and software resources, and provides common daemon (computing), services for computer programs.
Time-sharing operating systems scheduler (computing), schedule tasks for ...
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 i386, 80386 microprocessor in 1985. IA-32 is the first incarn ...
virtual machine monitor, that allows for untrusted services to be run in isolated (protected) domains."
Denali makes use of
paravirtualization
In computing, virtualization (abbreviated v12n) is a series of technologies that allows dividing of physical computing resources into a series of virtual machines, operating systems, processes or containers.
Virtualization began in the 1960s with ...
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 ...
). 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 () 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 and informally U-Dub or U Dub) is a public research university in Seattle, Washington, United States. Founded in 1861, the University of Washington is one of the oldest universities on the West Coast of the Uni ...
.
"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 membe ...
.
External links
Denali, Lightweight virtual machines for distributed and networked systems
{{operating-system-stub
Virtualization software