SMP Guest Kernels

• Xen étend son support à de multiple VCPUs

• • Virtuel IPI’s sont envoyés via « Xen event channels »
  • Actuellement 32 VCPUs sont supportés

• Simple hotplug/unplug de VCPUs

• • A partir de la VM ou par les outils de contrôle
  • Optimisation avec un VCPU par des patch spinlocks sur les binaires.

Notes: