Internships/ProjectIdeas/PackedShadowVirtqueue

Add packed virtqueue to Shadow Virtqueue

Summary: Add the packed virtqueue format support to QEMU's Shadow Virtqueue.

To live migrate a guest with a passthrough device, QEMU needs a way to know which memory the device modifies so it is able to migrate it every time it is modified. Otherwise the migrated guest would resume with outdated memory contents after live migration.

This is especially hard with passthrough hardware devices, as transports like PCI impose a few security and performance challenges. As a method to overcome this for VIRTIO devices, QEMU can offer an emulated virtqueue to the device, called a Shadow Virtqueue (SVQ), instead of allowing the device to communicate directly with the guest. SVQ will then forward the writes to the guest, being the effective writer in the guest memory and knowing when a portion of it needs to be migrated again.

Compared with the original Split Virtqueue layout already supported by Shadow Virtqueues, the Packed Virtqueue layout is a more compact representation that uses less memory size and allows both devices and drivers to exchange the same amount of information with fewer memory operations.

The task is to complete the packed virtqueue support for SVQ, using the kernel VIRTIO ring driver as a reference. There is already a setup that can be used to test the changes.

Coding period tasks:

• TODO

Links:

• https://www.redhat.com/en/blog/virtio-devices-and-drivers-overview-headjack-and-phone
• https://www.redhat.com/en/blog/virtqueues-and-virtio-ring-how-data-travels
• https://www.redhat.com/en/blog/packed-virtqueue-how-reduce-overhead-virtio
• vDPA-net live migration with Shadow Virtqueue (video)
• vhost-shadow-virtqueue.c source code

Details:

• Project size: TODO
• Skill level: Intermediate
• Language: C