Achieving Performance Isolation with Lightweight Co-Kernels
Preemptable ticket spinlocks: improving consolidated performance in the cloud
Shoot4U: Using VMM Assists to Optimize TLB Operations on Preempted vCPUs