On Sun, Aug 09, 2026 at 06:19:58PM +0000, Alexander Graf wrote: > Virtio drivers use guest memory to back virtqueues and their buffers. > That means a VMM needs to be able to map guest memory. That is ok in the > normal virt case. It gets icky with confidential computing (where we use > swiotlb as workaround) and it defeats the purpose of isolated vhost-user > backing devices, because they end up with full RAM access to the guest. > > So instead, I'm proposing an extension to virtio which allows it to give > each virtio device its own dedicated memory region to communicate with the > host, called DMB (Device Memory Buffer). A trusted hypervisor can force > DMB to be present, which then enables safer, more isolated and resilient > communication between guest and host. > > With DMB, the device provides a shared memory region that both parties > agree is the full memory map both have access to. All memory offsets > that previously would have been into guest RAM, are then offsets into > this shared memory buffer region. One nice property of this is that it > is a generic mechanism in the virtio transport layer, so higher level > drivers work unmodified. > > I was exploring to use swiotlb instead to create individual pools. But > that approach has multiple downsides: > > 1. Swiotlb is an OS primitive which is not available in all Operating > Systems. DMB however lives in the virtio transport layer, which means we > can add support for it in any OS independent of generic layers. This > helps with Windows support.
How does it help, if you are going to put a pool in the driver, put a pool in the driver. Maybe with virtio mem to simplify allocation. > 2. We munge DMA space together. DMB provides a separate DMA space per > virtio device. This means we can for example implement a device in > vhost-user and give the implementing process only visibility to the DMB > region, not all of guest memory. That reduces the exposure the > vhost-user provider has, improving security. > > 3. Devices can opt-in. A hypervisor can choose to use standard virtio > semantics for self-implemented devices (e.g. NSM), while requiring DMB > for devices implemented by less trustworthy providers. The > non-trustworthy devices do not get any visibility into the trustworthy > ones, even with DMB in place for both. So I am not sure whether the implication is that it's purely a software construct. But if it is, can we extend virtio iommu to add a way to discover and enforce trust boundaries? And maybe translate offsets to BARs, if that is desired? It seems to be that the result would be that we don't need fiddly special casing in virtio ring specifically, and a lot of things like pre-mapped dma will begin to work. > == Limitations == > > - Only PCI is wired up. > - Feature bit 44 and the shared memory id register at offset 0x40 of the > PCI common configuration are provisional: the OASIS technical > committee has the specification and has allocated neither. > > > https://lore.kernel.org/virtio-comment/[email protected]/ > > - The device I ran this against is not public, so you cannot reproduce > the numbers below. The KUnit test you can. > > == Testing == > > Without patches 10 and 12 a receive refill livelocks and queues starve > each other: 29,319,791 receive softirqs in five seconds with not one > packet received, against 4 with them, and 2 of 7 receive queues that never > see a buffer, against none. Earlier revisions moved 512 MiB of O_DIRECT > block I/O and 2.7 GB of verified vsock through a region with no error. > > The KUnit test for patch 12's guarantee you can run yourself, and two of > its five cases fail if I take the fix out: > > tools/testing/kunit/kunit.py run --arch=x86_64 \ > --kconfig_add CONFIG_VIRTIO_MMIO=y \ > --kconfig_add CONFIG_VIRTIO_DMB=y virtio_dmb > > Patch 1 can be taken on its own: a stale worked example in a vdpa > comment. Patch 10 fixes something older than this series too, a failed > mapping arriving as -EIO from a packed ring, failing an I/O that on a > split ring is only back-pressure, but it does not apply alone: it wants > patch 2, and patch 9 for the file its documentation hunk edits. Both > carry Fixes:. Patch 12 wants 10 first. > > I wrote this series with an AI coding assistant, which drafted the code, > the changelogs and this cover letter. I reviewed and reworked all of it, > and every commit carries an Assisted-by: trailer. > > Alex > > Alexander Graf (12): > vdpa: correct the VIRTIO_DEVICE_F_MASK example value > virtio_ring: validate premapped addresses through the device's map > virtio: add the VIRTIO_F_DMB feature bit > virtio_pci: read the device memory buffer shared memory id > virtio_pci: create virtqueues with the device's mapping token > virtio: add a device memory buffer region allocator > virtio: locate the device memory buffer after feature negotiation > virtio_pci: support VIRTIO_F_DMB > Documentation: virtio: describe the device memory buffer > virtio_ring: report a bounded pool's exhaustion as -ENOSPC > virtio: expose device memory buffer occupancy over debugfs > virtio: guarantee a virtqueue can publish its first descriptor chain > > Documentation/driver-api/virtio/index.rst | 1 + > .../driver-api/virtio/virtio-dmb.rst | 803 ++++++++ > drivers/vdpa/vdpa.c | 2 +- > drivers/virtio/Kconfig | 29 + > drivers/virtio/Makefile | 3 +- > drivers/virtio/virtio.c | 15 +- > drivers/virtio/virtio_dmb.c | 1719 +++++++++++++++++ > drivers/virtio/virtio_dmb.h | 34 + > drivers/virtio/virtio_dmb_test.c | 279 +++ > drivers/virtio/virtio_pci_modern.c | 100 +- > drivers/virtio/virtio_pci_modern_dev.c | 23 +- > drivers/virtio/virtio_ring.c | 216 ++- > include/linux/virtio.h | 3 + > include/linux/virtio_config.h | 41 + > include/linux/virtio_pci_modern.h | 1 + > include/uapi/linux/virtio_config.h | 17 +- > include/uapi/linux/virtio_pci.h | 10 + > 17 files changed, 3254 insertions(+), 42 deletions(-) > create mode 100644 Documentation/driver-api/virtio/virtio-dmb.rst > create mode 100644 drivers/virtio/virtio_dmb.c > create mode 100644 drivers/virtio/virtio_dmb.h > create mode 100644 drivers/virtio/virtio_dmb_test.c > > > base-commit: fc02acf6ac0ccde0c805c2daa9148683cdd01ba8
