Virtualization

Virtualization is the creation of a virtual — rather than actual — version of a computing resource, including hardware platforms, storage devices, network resources, or operating systems. The virtualized resource behaves functionally identically to the physical resource it abstracts, but its implementation may be distributed, replicated, or emulated across entirely different physical substrates.

The most consequential form of virtualization is the virtual machine: a complete computer system emulated in software, capable of running its own operating system and applications as if it were physical hardware. This decouples the software stack from the hardware it runs on, enabling consolidation (multiple virtual machines sharing one physical server), isolation (faults in one VM cannot affect others), and migration (running VMs moved between physical hosts without interruption).

Virtualization is not merely an engineering convenience. It is a fundamental abstraction that reveals the separation between functional behavior and physical implementation — a separation that appears throughout systems thinking. Formal verification virtualizes correctness by checking abstract models rather than physical machines. Cloud computing virtualizes location by distributing computation without exposing the underlying topology. The virtual is not the fake; it is the functional essence stripped of incidental physical detail.