DevicePass-through及网卡的直接分配在Xen里面的实现

2023-11-09 09:40

本文主要是介绍DevicePass-through及网卡的直接分配在Xen里面的实现,希望对大家解决编程问题提供一定的参考价值,需要的开发者们随着小编来一起学习吧!

 

《系统虚拟化原理》这本书看了大半年了,里面的内容反复看过之后,会不断的有收获,之前关于Passthough的概念很直很模糊,Passthough的具体实现也不清楚,今天看完书之后,终于有了一个初步的理解,特记录下来。

 

首先需要理解passthough这个概念,Passthough是指在虚拟化平台下,将物理设备直接分配给某个客户机使用。为实现设备的直接分配,VMM需要提供以下三种功能:

提到IO设备,我们就会想到三件事:

1、操作系统访问设备的IO地址空间(PortIO或MMIO);

2、设备的DMA操作直接访问内存空间;

3、中断

VMM为实现第一件事,也就是客户机操作系统访问到直接分配设备的IO地址空间,采用了转换表(这期间有多种考虑,最终选择了转换表,感兴趣的童鞋可以自己查资料普及)。所谓转换表,就是将客户机对设备虚拟PortIO地址空间或虚拟MMIO地址空间的访问进行转换。对于PortIO,可以通过设置VMCS中的IO bitmap,使得客户机访问设备的虚拟PortIO空间时陷出到VMM,VMM通过查询转换表,找到设备的真实PortIO地址空间,将客户机的请求转发给真实设备。对于MMIO,可以通过内存虚拟化技术实现,比如EPT页表,客户机在第一次访问设备虚拟MMIO地址空间时会陷入到VMM,此时修改EPT页表建立虚拟MMIO与设备物理MMIO的映射,在以后的访问中就不会再陷入到VMM。

VMM为实现第二件事,引入了DMA重映射硬件(通常很难通过软件截获设备的DMA操作),Intel的VT-D技术和AMD的IOMMU技术。以VT-d为例,客户机驱动程序提供GPA给设备进行DMA读写数据,DMA重映射硬件实现将GPA映射为MPA。首先硬件通过BDF设备标识符中的bus字段获得设备对应的根条目,根据根条目中的CTP字段获得设备的上下文条目,根据DF{dev:func}字段寻址到该设备对应的IO页表。VT-d也使用硬件查页表机制,获得设备DMA映射的物理地址。每个客户机有一个IO页表,同时VT-d硬件中也含有IO页表的缓存,叫做IOTLB。对于VT-D硬件,和所有硬件一样,在使用之前需要对它进行探测。

VMM为实现第三件事,引入中断虚拟化机制。中断虚拟化的实现主要通过实现虚拟PIC,虚拟IOAPIC,虚拟LAPIC实现,其中虚拟LAPIC在VCPU中。对于直接分配设备,发生中断时,首先设备驱动程序将中断请求发送给物理IOAPIC,物理IOAPIC将请求传递给物理LAPIC,物理LAPIC将请求传递给VMM,VMM通过查看IDT表,发现该设备直接分配给了客户机,则将中断请求通过中断注入的方式发送给LAPIC,再由客户机查找相应的中断处理函数实现。

以上为DevicePassthrough的具体实现。

 

接下来以网卡为例,分析网卡如何直接分配给Xen客户机:

1、用户通过lspci获得PCI设备的BDF号

2、隐藏设备,用户增加Dom0的grub启动项,pciback.hide=(03:00.0),这样Dom0就不会为该设备加载驱动了

3、用户在客户机的配置文件中指定BDF号,告诉VMM要将该设备直接分配。在Xen里面用户可以在HVM配置文件中增加pci =['03:00.1']

4、Xen获得直接分配请求后,通过在设备模型里虚拟一个PCI网卡来实现,这个虚拟PCI网卡相当于物理网卡在客户机中代言,客户机操作系统对虚拟网卡的请求都会转交的到物理网卡上,物理网卡处理完请求将结果通过虚拟网卡返回给客户机操作系。

5、Xen负责虚拟PCI网卡和物理网卡之间的交互。具体包括进行虚拟BDF与物理BDF直接的转换,进行虚拟IO地址空间与物理IO地址空间的转换。还有为物理网卡设置VT-d的IO页表。

以上为网卡在Xen里面的直接分配。

这篇关于DevicePass-through及网卡的直接分配在Xen里面的实现的文章就介绍到这儿,希望我们推荐的文章对编程师们有所帮助!



http://www.chinasem.cn/article/375362

相关文章

SpringBoot全局域名替换的实现

《SpringBoot全局域名替换的实现》本文主要介绍了SpringBoot全局域名替换的实现,文中通过示例代码介绍的非常详细,对大家的学习或者工作具有一定的参考学习价值,需要的朋友们下面随着小编来一... 目录 项目结构⚙️ 配置文件application.yml️ 配置类AppProperties.Ja

Python实现批量CSV转Excel的高性能处理方案

《Python实现批量CSV转Excel的高性能处理方案》在日常办公中,我们经常需要将CSV格式的数据转换为Excel文件,本文将介绍一个基于Python的高性能解决方案,感兴趣的小伙伴可以跟随小编一... 目录一、场景需求二、技术方案三、核心代码四、批量处理方案五、性能优化六、使用示例完整代码七、小结一、

Java实现将HTML文件与字符串转换为图片

《Java实现将HTML文件与字符串转换为图片》在Java开发中,我们经常会遇到将HTML内容转换为图片的需求,本文小编就来和大家详细讲讲如何使用FreeSpire.DocforJava库来实现这一功... 目录前言核心实现:html 转图片完整代码场景 1:转换本地 HTML 文件为图片场景 2:转换 H

C#使用Spire.Doc for .NET实现HTML转Word的高效方案

《C#使用Spire.Docfor.NET实现HTML转Word的高效方案》在Web开发中,HTML内容的生成与处理是高频需求,然而,当用户需要将HTML页面或动态生成的HTML字符串转换为Wor... 目录引言一、html转Word的典型场景与挑战二、用 Spire.Doc 实现 HTML 转 Word1

C#实现一键批量合并PDF文档

《C#实现一键批量合并PDF文档》这篇文章主要为大家详细介绍了如何使用C#实现一键批量合并PDF文档功能,文中的示例代码简洁易懂,感兴趣的小伙伴可以跟随小编一起学习一下... 目录前言效果展示功能实现1、添加文件2、文件分组(书签)3、定义页码范围4、自定义显示5、定义页面尺寸6、PDF批量合并7、其他方法

SpringBoot实现不同接口指定上传文件大小的具体步骤

《SpringBoot实现不同接口指定上传文件大小的具体步骤》:本文主要介绍在SpringBoot中通过自定义注解、AOP拦截和配置文件实现不同接口上传文件大小限制的方法,强调需设置全局阈值远大于... 目录一  springboot实现不同接口指定文件大小1.1 思路说明1.2 工程启动说明二 具体实施2

Python实现精确小数计算的完全指南

《Python实现精确小数计算的完全指南》在金融计算、科学实验和工程领域,浮点数精度问题一直是开发者面临的重大挑战,本文将深入解析Python精确小数计算技术体系,感兴趣的小伙伴可以了解一下... 目录引言:小数精度问题的核心挑战一、浮点数精度问题分析1.1 浮点数精度陷阱1.2 浮点数误差来源二、基础解决

Java实现在Word文档中添加文本水印和图片水印的操作指南

《Java实现在Word文档中添加文本水印和图片水印的操作指南》在当今数字时代,文档的自动化处理与安全防护变得尤为重要,无论是为了保护版权、推广品牌,还是为了在文档中加入特定的标识,为Word文档添加... 目录引言Spire.Doc for Java:高效Word文档处理的利器代码实战:使用Java为Wo

Java实现远程执行Shell指令

《Java实现远程执行Shell指令》文章介绍使用JSch在SpringBoot项目中实现远程Shell操作,涵盖环境配置、依赖引入及工具类编写,详解分号和双与号执行多指令的区别... 目录软硬件环境说明编写执行Shell指令的工具类总结jsch(Java Secure Channel)是SSH2的一个纯J

使用Python实现Word文档的自动化对比方案

《使用Python实现Word文档的自动化对比方案》我们经常需要比较两个Word文档的版本差异,无论是合同修订、论文修改还是代码文档更新,人工比对不仅效率低下,还容易遗漏关键改动,下面通过一个实际案例... 目录引言一、使用python-docx库解析文档结构二、使用difflib进行差异比对三、高级对比方