Virtual Machines: Versatile Platforms for Systems and Processes

Front Cover
Elsevier, Jun 17, 2005 - Computers - 638 pages
Virtual Machine technology applies the concept of virtualization to an entire machine, circumventing real machine compatibility constraints and hardware resource constraints to enable a higher degree of software portability and flexibility. Virtual machines are rapidly becoming an essential element in computer system design. They provide system security, flexibility, cross-platform compatibility, reliability, and resource efficiency. Designed to solve problems in combining and using major computer system components, virtual machine technologies play a key role in many disciplines, including operating systems, programming languages, and computer architecture. For example, at the process level, virtualizing technologies support dynamic program translation and platform-independent network computing. At the system level, they support multiple operating system environments on the same hardware platform and in servers.

Historically, individual virtual machine techniques have been developed within the specific disciplines that employ them (in some cases they aren't even referred to as "virtual machines”), making it difficult to see their common underlying relationships in a cohesive way. In this text, Smith and Nair take a new approach by examining virtual machines as a unified discipline. Pulling together cross-cutting technologies allows virtual machine implementations to be studied and engineered in a well-structured manner. Topics include instruction set emulation, dynamic program translation and optimization, high level virtual machines (including Java and CLI), and system virtual machines for both single-user systems and servers.

* Examines virtual machine technologies across the disciplines that use them-operating systems, programming languages and computer architecture-defining a new and unified discipline.
* Reviewed by principle researchers at Microsoft, HP, and by other industry research groups.
* Written by two authors who combine several decades of expertise in computer system research and development, both in academia and industry.
 

What people are saying - Write a review

User Review - Flag as inappropriate

nice

User Review - Flag as inappropriate

gdgh

Contents

Chapter One Introduction to Virtual Machines
1
Interpretation and Binary Translation
27
Chapter Three Process Virtual Machines
83
Chapter Four Dynamic Binary Optimization
147
Chapter Five HighLevel Language Virtual Machine Architecture
221
Chapter Six HighLevel Language Virtual Machine Implementation
281
Chapter Seven Codesigned Virtual Machines
329
Chapter Eight System Virtual Machines
369
Chapter Nine Multiprocessor Virtualization
445
Chapter Ten Emerging Applications
499
Real Machines
553
References
613
Index
629
Copyright

Other editions - View all

Common terms and phrases

Popular passages

Page 614 - Barham. P.. B. Dragovic, K. Fraser, S. Hand, T Harris, A. Ho, R. Neugebauer, I. Pratt, and A. Warfield (2003): "XEN and the art of virtualization," ACM Symposium on Operating System Principles, 164-177.
Page 613 - A Survey of Adaptive Optimization in Virtual Machines, Proceedings of the IEEE (February).

Bibliographic information