Intel Virtualization Technology

Authors:
Rich Uhlig;Gil Neiger;Dion Rodgers;Amy L. Santoni;Fernando C. M. Martins;Andrew V. Anderson;Steven M. Bennett;Alain Kagi;Felix H. Leung;Larry Smith
Affiliations:
Intel Corporation;Intel Corporation;Intel Corporation;Intel Corporation;Intel Corporation;Intel Corporation;Intel Corporation;Intel Corporation;Intel Corporation;Intel Corporation
Venue:
Computer
Year:
2005

Citing 8
Cited 83

Hypervisor-based fault tolerance

SOSP '95 Proceedings of the fifteenth ACM symposium on Operating systems principles
Internet Suspend/Resume

WMCSA '02 Proceedings of the Fourth IEEE Workshop on Mobile Computing Systems and Applications
A Trusted Open Platform

Computer
Xen and the art of virtualization

SOSP '03 Proceedings of the nineteenth ACM symposium on Operating systems principles
Terra: a virtual machine-based platform for trusted computing

SOSP '03 Proceedings of the nineteenth ACM symposium on Operating systems principles
Memory resource management in VMware ESX server

OSDI '02 Proceedings of the 5th symposium on Operating systems design and implementationCopyright restrictions prevent ACM from being able to make the PDFs for this conference available for downloading
Scale and performance in the Denali isolation kernel

OSDI '02 Proceedings of the 5th symposium on Operating systems design and implementationCopyright restrictions prevent ACM from being able to make the PDFs for this conference available for downloading
ReVirt: enabling intrusion analysis through virtual-machine logging and replay

OSDI '02 Proceedings of the 5th symposium on Operating systems design and implementationCopyright restrictions prevent ACM from being able to make the PDFs for this conference available for downloading

Detecting past and present intrusions through vulnerability-specific predicates

Proceedings of the twentieth ACM symposium on Operating systems principles
Exploring the cache design space for large scale CMPs

ACM SIGARCH Computer Architecture News - Special issue: dasCMP'05
Spin Detection Hardware for Improved Management of Multithreaded Systems

IEEE Transactions on Parallel and Distributed Systems
Hardware support for spin management in overcommitted virtual machines

Proceedings of the 15th international conference on Parallel architectures and compilation techniques
A comparison of software and hardware techniques for x86 virtualization

Proceedings of the 12th international conference on Architectural support for programming languages and operating systems
Computation spreading: employing hardware migration to specialize CMP cores on-the-fly

Proceedings of the 12th international conference on Architectural support for programming languages and operating systems
Symerton--using virtualization to accelerate packet processing

Proceedings of the 2006 ACM/IEEE symposium on Architecture for networking and communications systems
CuPIDS: An exploration of highly focused, co-processor-based information system protection

Computer Networks: The International Journal of Computer and Telecommunications Networking
From chaos to QoS: case studies in CMP resource management

ACM SIGARCH Computer Architecture News
Embracing and Extending 20th-Century Instruction Set Architectures

Computer
QoS policies and architecture for cache/memory in CMP platforms

Proceedings of the 2007 ACM SIGMETRICS international conference on Measurement and modeling of computer systems
On the power of simple branch prediction analysis

ASIACCS '07 Proceedings of the 2nd ACM symposium on Information, computer and communications security
Sequencer virtualization

Proceedings of the 21st annual international conference on Supercomputing
Exploring Large-Scale CMP Architectures Using ManySim

IEEE Micro
Characterization & analysis of a server consolidation benchmark

Proceedings of the fourth ACM SIGPLAN/SIGOPS international conference on Virtual execution environments
Adapting to intermittent faults in multicore systems

Proceedings of the 13th international conference on Architectural support for programming languages and operating systems
An overview of Virtual Machine (VM) technology and its implementation in I.T. student labs at Utah Valley State College

Journal of Computing Sciences in Colleges
Towards modeling & analysis of consolidated CMP servers

ACM SIGARCH Computer Architecture News
A hypervisor-based system for protecting software runtime memory and persistent storage

Proceedings of the 2008 Spring simulation multiconference
Implicit Detection of Hidden Processes with a Feather-Weight Hardware-Assisted Virtual Machine Monitor

ACISP '08 Proceedings of the 13th Australasian conference on Information Security and Privacy
Secure Sharing of an ICT Infrastructure through Vinci

AIMS '08 Proceedings of the 2nd international conference on Autonomous Infrastructure, Management and Security: Resilient Networks and Services
On the use of intelligent local resource management for improved virtualized resource provision: challenges, required features, and an approach

Proceedings of the 2nd workshop on System-level virtualization for high performance computing
Hiding "real" machine from attackers and malware with a minimal virtual machine monitor

Proceedings of the 4th international conference on Security and privacy in communication netowrks
Comparison of OS level and hypervisor server virtualization

ISTASC'08 Proceedings of the 8th conference on Systems theory and scientific computation
Mixed-mode multicore reliability

Proceedings of the 14th international conference on Architectural support for programming languages and operating systems
Virtualization polling engine (VPE): using dedicated CPU cores to accelerate I/O virtualization

Proceedings of the 23rd international conference on Supercomputing
CoreLab: an emerging network testbed employing hosted virtual machine monitor

CoNEXT '08 Proceedings of the 2008 ACM CoNEXT Conference
MMV: a metamodeling based microprocessor validation environment

IEEE Transactions on Very Large Scale Integration (VLSI) Systems
Enabling and optimizing pilot jobs using xen based virtual machines for the HPC grid applications

VTDC '09 Proceedings of the 3rd international workshop on Virtualization technologies in distributed computing
Investigating suitability for server virtualization using business application benchmarks

VTDC '09 Proceedings of the 3rd international workshop on Virtualization technologies in distributed computing
Investigating virtual passthrough I/O on commodity devices

ACM SIGOPS Operating Systems Review
Optimization of dynamic languages using hierarchical layering of virtual machines

DLS '09 Proceedings of the 5th symposium on Dynamic languages
VM3: Measuring, modeling and managing VM shared resources

Computer Networks: The International Journal of Computer and Telecommunications Networking
Cost of Virtual Machine Live Migration in Clouds: A Performance Evaluation

CloudCom '09 Proceedings of the 1st International Conference on Cloud Computing
Modeling virtual machine performance: challenges and approaches

ACM SIGMETRICS Performance Evaluation Review
Multi-compartment: a new architecture for secure co-hosting on SoC

SOC'09 Proceedings of the 11th international conference on System-on-chip
NOVA: a microhypervisor-based secure virtualization architecture

Proceedings of the 5th European conference on Computer systems
Tainting is not pointless

ACM SIGOPS Operating Systems Review
Asynchronous pseudo physical memory snapshot and forensics on paravirtualized VMM using split kernel module

ICISC'07 Proceedings of the 10th international conference on Information security and cryptology
A secure virtual execution environment for untrusted code

ICISC'07 Proceedings of the 10th international conference on Information security and cryptology
Dynamic scheduling of virtual machines running HPC workloads in scientific grids

NTMS'09 Proceedings of the 3rd international conference on New technologies, mobility and security
Reinventing virtual appliances

IBM Journal of Research and Development
Separating hypervisor trusted computing base supported by hardware

Proceedings of the fifth ACM workshop on Scalable trusted computing
Virtage: Server virtualization with hardware transparency

Euro-Par'09 Proceedings of the 2009 international conference on Parallel processing
The turtles project: design and implementation of nested virtualization

OSDI'10 Proceedings of the 9th USENIX conference on Operating systems design and implementation
Typical Virtual Appliances: An optimized mechanism for virtual appliances provisioning and management

Journal of Systems and Software
Virtual Snooping: Filtering Snoops in Virtualized Multi-cores

MICRO '43 Proceedings of the 2010 43rd Annual IEEE/ACM International Symposium on Microarchitecture
Composition kernel: a software solution for constructing a multi-OS embedded system

EURASIP Journal on Embedded Systems
Transparently bridging semantic gap in CPU management for virtualized environments

Journal of Parallel and Distributed Computing
A light-weight virtual machine monitor for Blue Gene/P

Proceedings of the 1st International Workshop on Runtime and Operating Systems for Supercomputers
SpecTLB: a mechanism for speculative address translation

Proceedings of the 38th annual international symposium on Computer architecture
Co-management of power and performance in virtualized distributed environments

GPC'11 Proceedings of the 6th international conference on Advances in grid and pervasive computing
Virtualizing embedded systems: why bother?

Proceedings of the 48th Design Automation Conference
L4Android: a generic operating system framework for secure smartphones

Proceedings of the 1st ACM workshop on Security and privacy in smartphones and mobile devices
The performance analysis for virtualisation cluster and cloud platforms

International Journal of Computational Science and Engineering
Program Ultra-Dispatcher for launching applications in a customization manner on cloud computing

Journal of Network and Computer Applications
Overlays on wireless mesh networks: implementation and cross-layer searching

MMNS'06 Proceedings of the 9th IFIP/IEEE international conference on Management of Multimedia and Mobile Networks and Services
Dynamic virtual clustering with xen and moab

ISPA'06 Proceedings of the 2006 international conference on Frontiers of High Performance Computing and Networking
ReNIC: Architectural extension to SR-IOV I/O virtualization for efficient replication

ACM Transactions on Architecture and Code Optimization (TACO) - HIPEAC Papers
Packet aggregation based network I/O virtualization for cloud computing

Computer Communications
ELI: bare-metal performance for I/O virtualization

ASPLOS XVII Proceedings of the seventeenth international conference on Architectural Support for Programming Languages and Operating Systems
Virtualization challenges: a view from server consolidation perspective

VEE '12 Proceedings of the 8th ACM SIGPLAN/SIGOPS conference on Virtual Execution Environments
Predicting secret keys via branch prediction

CT-RSA'07 Proceedings of the 7th Cryptographers' track at the RSA conference on Topics in Cryptology
A lightweight virtual machine monitor for Blue Gene/P

International Journal of High Performance Computing Applications
Dynamic adaptive virtual core mapping to improve power, energy, and performance in multi-socket multicores

Proceedings of the 21st international symposium on High-Performance Parallel and Distributed Computing
Revisiting hardware-assisted page walks for virtualized systems

Proceedings of the 39th Annual International Symposium on Computer Architecture
Power-efficient distributed scheduling of virtual machines using workload-aware consolidation techniques

The Journal of Supercomputing
A fine-grained performance-based decision model for virtualization application solution

TPCTC'11 Proceedings of the Third TPC Technology conference on Topics in Performance Evaluation, Measurement and Characterization
Identifying critical factors for corporate implementing virtualization technology

Computers in Human Behavior
Towards exitless and efficient paravirtual I/O

Proceedings of the 5th Annual International Systems and Storage Conference
High performance network virtualization with SR-IOV

Journal of Parallel and Distributed Computing
Bringing Virtualization to the x86 Architecture with the Original VMware Workstation

ACM Transactions on Computer Systems (TOCS)
Dune: safe user-level access to privileged CPU features

OSDI'12 Proceedings of the 10th USENIX conference on Operating Systems Design and Implementation
vBalance: using interrupt load balance to improve I/O performance for SMP virtual machines

Proceedings of the Third ACM Symposium on Cloud Computing
CIVIC: a hypervisor based virtual computing environment

HPCC'07 Proceedings of the Third international conference on High Performance Computing and Communications
Virtualization: Issues, security threats, and solutions

ACM Computing Surveys (CSUR)
SLICC: Self-Assembly of Instruction Cache Collectives for OLTP Workloads

MICRO-45 Proceedings of the 2012 45th Annual IEEE/ACM International Symposium on Microarchitecture
Formal virtualization requirements for the ARM architecture

Journal of Systems Architecture: the EUROMICRO Journal
Lightweight snapshots and system-level backtracking

HotOS'13 Proceedings of the 14th USENIX conference on Hot Topics in Operating Systems
Empirical study of performance benefits of hardware assisted virtualization

Proceedings of the 6th ACM India Computing Convention
Virtual asymmetric multiprocessor for interactive performance of consolidated desktops

Proceedings of the 10th ACM SIGPLAN/SIGOPS international conference on Virtual execution environments
Shrinking the hypervisor one subsystem at a time: a userspace packet switch for virtual machines

Proceedings of the 10th ACM SIGPLAN/SIGOPS international conference on Virtual execution environments
Fast VMM-based overlay networking for bridging the cloud and high performance computing

Cluster Computing

Quantified Score

Hi-index	4.10

Visualization

Abstract

Once confined to specialized server and mainframe systems, virtualization is now supported in off-the-shelf systems based on Intel architecture hardware. Intel Virtualization Technology provides hardware support for processor virtualization, enabling simplifications of virtual machine monitor software. Resulting VMMs can support a wider range of legacy and future operating systems while maintaining high performance.