[virtio](一):`hw/virtio/` 总览

发布时间:2026/9/27 17:50:29

[virtio](一):`hw/virtio/` 总览
这一组文章从 QEMUhw/virtio/入手拆解 virtio 设备模型、virtqueue、通知机制、transport、vhost、迁移和调试路径。本篇先建立全局地图hw/virtio/到底负责什么读源码时应该从哪里开始。1. 为什么从hw/virtio/开始virtio 是虚拟化 I/O 中最重要的协议之一。传统设备模拟会尽量伪装成真实硬件例如模拟一块网卡或磁盘控制器。这种方式兼容性好但设备语义复杂寄存器访问、中断和状态机都可能带来大量 VM exit 和用户态处理开销。virtio 的思路不同。它不假装自己是一块传统真实硬件而是定义一套 guest 和 host 都理解的虚拟化友好协议。Guest driver 通过共享内存队列提交请求host device model 或 vhost backend 处理请求再通过 used ring 和中断通知 guest 完成。在 QEMU 源码里hw/virtio/承担的是 virtio 设备模型的公共层。它不是某一个具体设备而是很多 virtio 设备共同依赖的骨架。它覆盖的内容包括virtio device 生命周期feature negotiationdevice statusconfig spacevirtqueue 管理notificationinterrupt deliveryvhost 接入migration state具体设备例如 virtio-blk、virtio-net、virtio-scsi、virtio-balloon会建立在这套公共机制之上。2. virtio 的三层结构读 QEMU virtio 源码时最容易混淆的是 device、transport 和 backend。可以先把 virtio 拆成三层virtio device type virtio-blk, virtio-net, virtio-scsi, virtio-balloon virtio transport virtio-mmio, virtio-pci, virtio-ccw virtqueue guest 和 device model 交换请求的共享队列device type 决定设备语义。例如 virtio-blk 处理块请求virtio-net 处理网络包virtio-balloon 处理内存气球。transport 决定 guest 如何发现和配置这个设备。例如 RISC-Vvirtmachine 上常见 virtio-mmio服务器虚拟化里常见 virtio-pci。virtqueue 则是请求传输机制。无论是 virtio-blk 还是 virtio-net最终都要通过 virtqueue 在 guest 和 host 之间交换 descriptor。3. QEMU 中的关键对象阅读hw/virtio/时可以先关注几个核心对象VirtIODeviceVirtQueueVRingVirtioDeviceClassVirtIOMMIOProxyVirtIOPCIProxyvhost_dev其中VirtIODevice是通用 virtio 设备对象。它保存 feature、status、config、queue、interrupt 等公共状态。具体设备通常会把VirtIODevice作为父对象或公共成员再扩展自己的设备状态。简化模型VirtIODevice | -- virtio-blk state -- virtio-net state -- virtio-scsi state -- virtio-balloon stateVirtQueue则表示一条 virtqueue。它不是把 guest 内存里的 vring 复制一份而是记录 guest 提供的 vring 地址、队列大小、索引状态和通知状态。QEMU device model 通过它读取 guest descriptor chain处理完成后写回 used ring。4.hw/virtio/与具体设备目录的关系hw/virtio/中既有公共 virtio 框架也有一部分具体设备实现。常见文件可以粗略分成几类。公共层virtio.cvirtio-mmio.cvirtio-pci.cvhost.cvhost-user.c具体设备virtio-blk.cvirtio-net.cvirtio-scsi.cvirtio-balloon.cvirtio-rng.c头文件和接口通常分布在include/hw/virtio/include/standard-headers/linux/virtio_*.h其中standard-headers里的内容来自 Linux UAPI 相关头文件用来保持 QEMU 和 guest driver 对 virtio 协议结构的理解一致。5. 不要一开始就硬读具体设备很多人第一次读 virtio 源码会直接打开virtio-blk.c或virtio-net.c。这当然可以但容易遇到两个问题。第一具体设备代码会大量调用 virtio 公共函数。如果不了解VirtIODevice和VirtQueue会看不出请求是如何从 guest 内存里被取出来的。第二virtio-net 这类设备本身就很复杂。它涉及多队列、offload、control queue、vhost、迁移和网络后端。直接从这里开始很容易把 virtio 框架问题和网络设备语义问题混在一起。更稳妥的路线是virtio common layer | v virtqueue data path | v transport layer | v simple device: virtio-blk | v complex device: virtio-net | v vhost and migration这条路线先建立协议骨架再进入具体设备。6. 一次 virtio I/O 的全局路径可以用一条 virtio-blk 读请求建立整体直觉Guest process reads file | v Guest VFS / block layer | v virtio-blk driver | | write descriptor chain v virtqueue in guest RAM | | kick v QEMU virtio-blk device model | v QEMU block layer | v host image file / block backend | | completion v used ring interrupt | v Guest virtio-blk driver completes request这条路径里hw/virtio/负责的不是某一个点而是一组机制guest 如何配置设备virtqueue 如何被设置descriptor 如何被取出used ring 如何被写回中断如何被触发vhost 如何接管数据面迁移时状态如何保存7. QEMU、KVM 和 vhost 的分工virtio 经常和 KVM、vhost 一起出现但它们不是同一层东西。KVM 负责 CPU 执行和内核态虚拟化能力。QEMU 负责虚拟整机和设备模型。vhost 负责把某些高频 virtqueue 数据面从 QEMU 下沉到 kernel 或独立用户态 backend。可以粗略理解为QEMU: control plane, device model, migration orchestration KVM: vCPU execution, memory slots, interrupt injection support vhost: fast data plane for selected virtio devices即使用了 vhostQEMU 也不会消失。它仍然负责设备创建、feature negotiation、queue setup、config space、reset、迁移和管理接口。8. 本系列阅读地图这一组文章建议按下面顺序读1. hw/virtio 总览 2. VirtIODevice 与设备生命周期 3. virtqueue 与 descriptor chain 4. notification、eventfd 与中断注入 5. virtio-mmio 与 virtio-pci transport 6. virtio-blk 请求路径 7. virtio-net 与 vhost-net 8. vhost-user 9. virtio 设备迁移状态 10. trace、调试与故障定位这条线覆盖从框架到数据面再到迁移和调试的完整路径。9. 源码阅读入口第一阶段可以先看hw/virtio/virtio.cinclude/hw/virtio/virtio.hhw/virtio/virtio-mmio.chw/virtio/virtio-pci.chw/virtio/vhost.cinclude/hw/virtio/vhost.h阅读时可以带着几个问题VirtIODevice保存了哪些公共状态virtqueue 在 QEMU 中如何表示guest 提交 descriptor 后QEMU 从哪里取request completion 如何写回notification 和 interrupt 如何连接vhost 如何拿到 virtqueue 和 guest memory 信息10. 本篇小结hw/virtio/不是某一个 virtio 设备的实现而是 QEMU virtio 体系的公共骨架。它向上支撑 virtio-blk、virtio-net 等具体设备向下连接 transport、guest memory、eventfd、irqfd、vhost backend 和 migration。读 QEMU virtio 源码最好先理解两个核心对象VirtIODevice设备公共状态和生命周期VirtQueueguest 和 host 交换请求的队列抽象可以把本篇压缩成一句话QEMUhw/virtio/是 virtio 设备模型的中枢它把设备语义、共享队列、通知机制、transport、vhost 和迁移状态连接成一条完整 I/O 路径。11. 下一篇预告VirtIODevice与设备生命周期下一篇进入VirtIODevice。会讨论virtio device statusfeature negotiationconfig spacequeue setupresetDRIVER_OK为什么重要

相关新闻

TPM安全芯片详解:功能、检查与设置指南

TPM安全芯片详解:功能、检查与设置指南

2026/9/27 17:48:50

1. TPM究竟是什么?为什么你的电脑需要它TPM(Trusted Platform Module)是一种安全芯片,它独立于计算机的主处理器和操作系统运行。这块小小的芯片实际上是一个微型的加密计算机,专门用于生成、存储和管理加密密钥。我第…

UE5光照开发:解决编辑器与播放模式曝光差异的EV100配置指南

UE5光照开发:解决编辑器与播放模式曝光差异的EV100配置指南

2026/8/13 8:13:07

1. 项目概述:当编辑器的“所见”非播放的“所得” 如果你在虚幻引擎5(UE5)中做过光照,大概率遇到过这个让人头疼的场景:在编辑器视口里,你的场景光照明明调得恰到好处,明暗有致,氛围…

基于python的学生选课系统

基于python的学生选课系统

2026/8/12 17:41:02

一、关键词学生选课、课程管理、成绩管理、专业管理二、作品包含源码数据库万字设计文档PPT全套环境和工具资源本地部署教程三、项目技术前端技术: Html、Css、Js、Vue3.3、Element-Plus后端技术:Python、Flask四、运行环境(以下版本亲测&…

CANN/GE ACL数据集缓冲区添加函数

CANN/GE ACL数据集缓冲区添加函数

2026/9/26 19:14:12

aclmdlAddDatasetBuffer 【免费下载链接】ge GE(Graph Engine)是面向昇腾的图编译器和执行器,提供了计算图优化、多流并行、内存复用和模型下沉等技术手段,加速模型执行效率,减少模型内存占用。 GE 提供对 PyTorch、Te…

用ffmpeg高效批量调整图片尺寸的实战指南

用ffmpeg高效批量调整图片尺寸的实战指南

2026/9/27 1:30:29

/* MD / 富文本中的 .toc(含博客园搬家等嵌套结构);.toc-box 在侧栏,不受影响 */#content_views .toc,/* 编辑器常在目录前后插入空 p(:empty 仍占 20px),一并去掉避免顶空隙 */#content_views.markdown_views > p:empty:has(+ .toc),#content_views.markdown_views …

Transformers 音频特征提取工具库 audio_utils 全解析:从 Mel 刻度换算到对数 Mel 频谱

Transformers 音频特征提取工具库 audio_utils 全解析:从 Mel 刻度换算到对数 Mel 频谱

2026/9/27 1:30:37

Transformers 音频特征提取工具库 audio_utils 全解析:从 Mel 刻度换算到对数 Mel 频谱 【免费下载链接】transformers 🤗 Transformers: the model-definition framework for state-of-the-art machine learning models in text, vision, audio, and mu…

RustFS 多节点集群重启与滚动升级实战:Readiness、Quorum 与 Degraded 模式完全指南

RustFS 多节点集群重启与滚动升级实战:Readiness、Quorum 与 Degraded 模式完全指南

2026/9/27 1:30:35

RustFS 多节点集群重启与滚动升级实战:Readiness、Quorum 与 Degraded 模式完全指南 【免费下载链接】rustfs 🚀2.3x faster than MinIO for 4KB object payloads. RustFS is an open-source, S3-compatible high-performance object storage system sup…

Java Integer缓存揭秘:128陷阱原理、避坑与面试全解

Java Integer缓存揭秘:128陷阱原理、避坑与面试全解

2026/9/27 1:30:34

/* MD / 富文本中的 .toc(含博客园搬家等嵌套结构);.toc-box 在侧栏,不受影响 */#content_views .toc,/* 编辑器常在目录前后插入空 p(:empty 仍占 20px),一并去掉避免顶空隙 */#content_views.markdown_views > p:empty:has(+ .toc),#content_views.markdown_views …

RustFS Scanner 数据用量发布权威性决策:配额准入如何获得可用的权威依据

RustFS Scanner 数据用量发布权威性决策:配额准入如何获得可用的权威依据

2026/9/26 16:36:51

RustFS Scanner 数据用量发布权威性决策:配额准入如何获得可用的权威依据 【免费下载链接】rustfs 🚀2.3x faster than MinIO for 4KB object payloads. RustFS is an open-source, S3-compatible high-performance object storage system supporting mi…

远程协作的工作台整理

远程协作的工作台整理

2026/9/26 14:29:04

远程协作的工作台整理远程协作的核心不是再加一个工具,而是让交接信息足够完整。异步任务要写明目标、输入位置、完成标准和需要决策的人。 工作台的最小配置 将日程、待办、代码和沟通入口收拢到少数固定位置;通知按紧急程度分层。工作台不需要模仿办公…

持续集成 流水线自动化与 声明式交付 实践:原型怎样变成可用功能

持续集成 流水线自动化与 声明式交付 实践:原型怎样变成可用功能

2026/9/26 13:57:22

持续集成 流水线自动化与 声明式交付 实践:原型怎样变成可用功能分类:[AI/大模型]细分主题:AI 增强型 CI/CD 流水线自动化与 GitOps 实践:Agent 工作流、工具调用与任务拆解:从原型到生产的验收清单很多团队在尝试用大…

容器编排 生产环境运维与排障实战:复盘记录怎样真正派上用场

容器编排 生产环境运维与排障实战:复盘记录怎样真正派上用场

2026/9/26 23:35:16

容器编排 生产环境运维与排障实战:复盘记录怎样真正派上用场分类:[工程技术]细分主题:Kubernetes 生产环境运维与排障实战:可复制的项目复盘模板与决策记录大部分团队的事故复盘报告,最后都变成了躺在 Confluence 或钉…