La paravirtualización es una técnica de virtualización en la que se preparan sistemas operativos invitados para su ejecución en un entorno virtualizado , para lo cual se modifica ligeramente su kernel. El sistema operativo interactúa con el programa del hipervisor , que le proporciona una API invitada , en lugar de utilizar directamente recursos como la tabla de páginas de memoria. El código relacionado con la virtualización se localiza directamente en el sistema operativo. Por lo tanto, la paravirtualización requiere que el sistema operativo invitado se modifique para el hipervisor, y esto es una desventaja del método, ya que tal cambio solo es posible si el sistema operativo invitado es de código abierto, que puede modificarse bajo licencia. Pero, por otro lado, la paravirtualización ofrece un rendimiento casi como un sistema real no virtualizado. Al igual que con la virtualización completa, se pueden admitir muchos sistemas operativos diferentes simultáneamente. El método de paravirtualización logra un mayor rendimiento que el método de traducción dinámica .
El objetivo del cambio de interfaz es reducir la cantidad de tiempo de ejecución de invitado dedicado a operaciones que son significativamente más difíciles de ejecutar en un entorno virtual que en un entorno no virtual. La paravirtualización proporciona controladores de interrupción especialmente instalados para permitir que los invitados y el host acepten y reconozcan estas tareas que, de otro modo, se realizarían en el dominio virtual (donde el rendimiento es menor). Por lo tanto, una plataforma paravirtualizada exitosa puede permitir que el monitor de máquina virtual (VMM) sea más simple (al mover las tareas de misión crítica del dominio virtual al host del dominio) y/o reducir la penalización general del rendimiento de ejecución de la máquina dentro del invitado virtual.
El término apareció por primera vez en el proyecto Denali , y después de que esta palabra fuera utilizada por investigadores del Laboratorio de Computación de la Universidad de Cambridge en el proyecto Xen , finalmente se estableció en la terminología. El prefijo " para- " en la palabra término no significa nada, es solo que los autores de esta idea necesitaban un nuevo término.