【原创】Linux虚拟化KVM-Qemu分析(九)之virtio设备
背景
Read the fucking source code!
--By 鲁迅A picture is worth a thousand words.
--By 高尔基
说明:
- KVM版本:5.9.1
- QEMU版本:5.0.0
- 工具:Source Insight 3.5, Visio
- 文章同步在博客园:
https://www.cnblogs.com/LoyenWang/
新的一年, 大家牛起来!
祝小姐姐们:
落雁沉鱼 兰质蕙心 明眸皓齿 螓首蛾眉 天生丽质 天香国色 杏脸桃腮 煦色韶光 涎玉沫珠 宜嗔宜喜 远山芙蓉 艳色绝世 余霞成绮 阿娇金屋 逞娇呈美 国色天香 花颜月貌 绝色佳人 暗香盈袖 闭月羞花 倾国倾城 温婉娴淑 千娇百媚 仪态万千...
祝男的:
新年好。
1. 概述
先来张图:
- 图中罗列了四个关键模块:
Virtio Device
、Virtio Driver
、Virtqueue
、Notification(eventfd/irqfd)
; Virtio Driver
:前端部分,处理用户请求,并将I/O请求转移到后端;Virtio Device
:后端部分,由Qemu来实现,接收前端的I/O请求,并通过物理设备进行I/O操作;Virtqueue
:中间层部分,用于数据的传输;Notification
:交互方式,用于异步事件的通知;
想在一篇文章中写完这四个模块,有点too yong too simple
,所以,看起来又是一个系列文章了。
本文先从Qemu侧的virtio device入手,我会选择从一个实际的设备来阐述,没错,还是上篇文章中提到的网络设备。
2. 流程分析
在Qemu的网卡虚拟化时,通常会创建一个虚拟网卡前端和虚拟网卡后端,如下图:
- 在虚拟机创建的时候指定参数:
-netdev tap, id = tap0, -device virtio-net-pci, netdev=tap0
; - 创建一个
Tap
网卡后端设备; - 创建一个
Virtio-Net
网卡前端设备; - 网卡前端设备和后端设备进行交互,最终与Host的驱动完成数据的收发;
全文围绕着Tap
设备的创建和Virtio-Net
设备的创建展开。
入口流程如下:
- Qemu的代码阅读起来还是比较费劲的,各种盘根错节,里边充斥着面向对象的思想,先给自己挖个坑,后续会专题研究的,
this is for you, you have my words.
; - 图中与本文相关的有三个模块:1)模块初始化;2)网络设备初始化;3)设备初始化;
- Qemu中设备模拟通过
type_init
先编译进系统,在module_call_init
时进行回调,比如图中的xxx_register_types
,在这些函数中都是根据TypeInfo
类型信息来创建具体的实现信息; net_init_client
用来创建网络设备,比如Tap
设备;device_init_func
根据Qemu命令的传入参数创建虚拟设备,比如Virtio-Net
;
- Qemu中设备模拟通过
下边进入细节,the devil is in the details
。
3. tap创建
从上文中,我们知道,Tap
与Virtio-Net
属于前后端的关系,最终是通过结构体分别指向对方,如下图:
NetClientState
是网卡模拟的核心结构,表示网络设备中的几个端点,两个端点通过peer
指向对方;
创建Tap设备的主要工作就是创建一个NetClientState
结构,并添加到net_clients
链表中:
函数的调用细节如下图:
- 处理流程只关注了核心的处理流程,整个过程有很多关于传入参数的处理,选择性忽略了;
net_tap_init
:与Host的tun
驱动进行交互,其实质就是打开该设备文件,并进行相应的配置等;net_tap_fd_init
:根据net_tap_info
结构,创建NetClientState
,并进行相关设置,这里边net_tap_info
结构体中的接收函数指针用于实际的数据传输处理;tap_read_poll
用于将fd添加到Qemu的AioContext中,用于异步响应,当有数据来临时,捕获事件并进行处理;
以上就是Tap后端的创建过程,下文将针对前端创建了。
4. virtio-net创建
这是一个复杂的流程。
4.1 数据结构
Qemu中用C语言实现了面向对象的模型,用于对设备进行抽象,精妙!
针对Virtio-Net设备,结构体及拓扑组织关系如下图:
DeviceState
作为所有设备的父类,其中派生了VirtIODevice
和PCIDevice
,而本文研究的Virtio-Net
派生自VirtIODevice
;- Qemu中会虚拟一个PCI总线,同时创建
virtio-net-pci
,virtio-balloon-pci
,virtio-scsi-pci
等PCI代理设备,这些代理设备挂载在PCI总线上,同时会创建Virtio总线,用于挂载最终的设备,比如VirtIONet
; - PCI代理设备就是一个纽带;
4.2 流程分析
与设备创建相关的三个函数,可以从device_init_func
入口跟踪得知:
- 当Qemu命令通过
-device
传入参数时,device_init_func
会根据参数去查找设备,并最终调用到该设备对应的类初始化函数、对象初始化函数、以及realize函数; - 所以,我们的分析就是这三个入口;
4.2.1 class_init
- 在网卡虚拟化过程中,参数只需要指定PCI代理设备即可,也就是
-device virtio-net-pci, netdev=tap0
,从而会调用到virtio_net_pci_class_init
函数; - 由于实现了类的继承关系,在子类初始化之前,需要先调用父类的实现,图中也表明了继承关系以及调用函数顺序;
- C语言实现继承,也就是将父对象放置在自己结构体的开始位置,图中的颜色能看出来;
4.2.2 instance_init
类初始化结束后,开始对象的创建:
- 针对
Virtio-Net-PCI
的实例化比较简单,作为代理,负责将它的后继对象初始化,也就是本文的前端设备Virtio-Net
;
4.2.3 realize
realize
的调用,比较绕,简单来说,它的类继承关系中存在多个realize
的函数指针,最终会从父类开始执行,一直调用到子类,而这些函数指针的初始化在什么时候做的呢?没错,就是在class_init类初始化的时候,进行了赋值,细节不表,结论可靠;- 最终的调用关系就如图了;
到目前为止,我们似乎都还没有看到Virtio-Net
设备的相关操作,不用着急,已经很接近真相了:
virtio_net_pci_realize
函数,会触发virtio_device_realize
的调用,该函数是一个通用的virtio设备实现函数,所有的virtio设备都会调用,而我们的前端设备Virtio-Net
也是virtio设备;virtio_net_device_realize
就到了我们的主角了,它进行了virtio通用的设置(后续在数据通信中再分析),还创建了一个NetClientState
端点,与Tap
设备对应,分别指向了对方,惺惺相惜,各自安好;virtio_bus_device_plugged
表示设备插入总线时的处理,完成的工作就是按照PCI总线规划,配置各类信息,以便与Guest OS中的virtio驱动交互,后续的文章再分析了;
本文基本捋清了虚拟网卡前端设备和后端设备的创建过程,完成的工作只是绑定了彼此,数据交互以及通知机制,留给后续吧。
参考
《 Virtual I/O Device (VIRTIO) Version 1.1》
https://www.redhat.com/en/blog/virtio-devices-and-drivers-overview-headjack-and-phone
欢迎关注个人公众号,不定期更新技术文章。
【原创】Linux虚拟化KVM-Qemu分析(九)之virtio设备的更多相关文章
- KVM/QEMU/qemu-kvm/libvirt 概念全解
目录 目录 前言 KVM QEMU KVM 与 QEMU qemu-kvm Libvirt Libvirt 在 OpenStack 中的应用 前言 如果是刚开始接触虚拟机技术的话, 对上述的概念肯定会 ...
- 【原创】Linux虚拟化KVM-Qemu分析(三)之KVM源码(1)
背景 Read the fucking source code! --By 鲁迅 A picture is worth a thousand words. --By 高尔基 说明: KVM版本:5.9 ...
- 【原创】Linux虚拟化KVM-Qemu分析(一)
背景 Read the fucking source code! --By 鲁迅 A picture is worth a thousand words. --By 高尔基 说明: KVM版本:5.9 ...
- 【原创】Linux虚拟化KVM-Qemu分析(四)之CPU虚拟化(2)
背景 Read the fucking source code! --By 鲁迅 A picture is worth a thousand words. --By 高尔基 说明: KVM版本:5.9 ...
- 【原创】Linux虚拟化KVM-Qemu分析(五)之内存虚拟化
背景 Read the fucking source code! --By 鲁迅 A picture is worth a thousand words. --By 高尔基 说明: KVM版本:5.9 ...
- 【原创】Linux虚拟化KVM-Qemu分析(八)之virtio初探
背景 Read the fucking source code! --By 鲁迅 A picture is worth a thousand words. --By 高尔基 说明: KVM版本:5.9 ...
- Linux虚拟化技术KVM、QEMU与libvirt的关系(转)
说明:个人理解,KVM是内核虚拟化技术,而内核是不能使用在界面上使用的,那么此时QEMU提供了用户级别的使用界面,相互辅助.当然,单独使用QEMU也是可以实现一整套虚拟机,不过QEMU+KVM基本是标 ...
- 【原创】Linux虚拟化KVM-Qemu分析(十)之virtio驱动
背景 Read the fucking source code! --By 鲁迅 A picture is worth a thousand words. --By 高尔基 说明: KVM版本:5.9 ...
- 【原创】Linux虚拟化KVM-Qemu分析(十一)之virtqueue
背景 Read the fucking source code! --By 鲁迅 A picture is worth a thousand words. --By 高尔基 说明: KVM版本:5.9 ...
随机推荐
- 敏捷史话(四):敏捷是人的天性 —— Arie van Bennekum
敏捷是人的天性,是你与生俱来的东西.面对敏捷,Arie van Bennekum 下了这样一个结论. 但这并不意味着人们只能通过天赋获得敏捷,对于想要学习敏捷的人来说,敏捷绝不是仅仅靠学习僵化的框架. ...
- MySQL增删改操作
增删改操作 增加 看语法 1. 插入完整数据(顺序插入) 语法一: INSERT INTO 表名(字段1,字段2,字段3-字段n) VALUES(值1,值2,值3-值n); #指定字段来插入数据,插入 ...
- kotlin和python哪个好!程序员怎样优雅度过35岁中年危机?满满干货指导
导语 学历永远是横在我们进人大厂的一道门槛,好像无论怎么努力,总能被那些985,211 按在地上摩擦! 不仅要被"他们"看不起,在HR挑选简历,学历这块就直接被刷下去了,连证明自己 ...
- Python+Selenium+Unittest实现PO模式web自动化框架(5)
1.PageObjects目录下的模块 该目录下是存放各页面功能点. 比如:login_page.py模块下就是存放登录页面上的各个功能点的.(登录功能.获取登录失败的提示信息) # --^_^-- ...
- Service Locator Pattern 服务定位
https://www.geeksforgeeks.org/service-locator-pattern/ Service Locator Pattern Last Updated: 06-03-2 ...
- Linux centos7编译源码安装redis
1.安装准备 ① 由于redis底层用c语言编写的,安装redis需要先将官网下载的源码进行编译,编译依赖make和gcc环境,如果没有则需要安装(一般系统中已经装了了make和gcc,无须再装) 安 ...
- Python中单引号,双引号,三引号的区别
Python中的字符串一般用单引号('A'),双引号("A")和三引号('''A''')或者("""A""") 1.单引 ...
- 【Python爬虫】:使用高性能异步多进程爬虫获取豆瓣电影Top250
在本篇博文当中,将会教会大家如何使用高性能爬虫,快速爬取并解析页面当中的信息.一般情况下,如果我们请求网页的次数太多,每次都要发出一次请求,进行串行执行的话,那么请求将会占用我们大量的时间,这样得不偿 ...
- Java并发包源码学习系列:阻塞队列实现之SynchronousQueue源码解析
目录 SynchronousQueue概述 使用案例 类图结构 put与take方法 void put(E e) E take() Transfer 公平模式TransferQueue QNode t ...
- toggle() 隐藏和收缩
<!DOCTYPE html><html><head><script src="/jquery/jquery-1.11.1.min.js" ...