1.4  Logiciels de virtualisation

• Emulation complète : Bochs [1994] (http://bochs.sourceforge.net/).
• Virtualisation matérielle :
  • compilation au vol : Virtual PC [1997] (émule un x86 pour PowerPC) ;
  • ré-écriture de code sensible : VMWare [1999] ;
  • hardware virtual machine : Xen 3.x [2006] ;
  • utilisation des anneaux de protection x86 : VirtualBox [2007] (pour x86) ;
  • instructions spécifiques : KVM [2007] (Kernel-based Virtual Machine).
• Para-virtualisation :
  • Xen 1.0 [2003] Linux et BSD SE hôte ;
  • Xen 3.x [2007] SE virtuel linux-2.6.18-xen modifié par Xen ;
  • Xen 4.0 [2008] SE virtuel linux-2.6.24 module pvops standard ;
  • KVM 60 [2008] para-virtualisation via virtio module de Linux ;
  • VMware 6 [2008] para-virtualisation via pvops ;
  • Xen 4.1 [2011] SE hôte linux-3.x.y module pvops standard.