【转载】Linux虚拟化KVM-Qemu分析(二)之ARMv8虚拟化
作者:LoyenWang
出处:https://www.cnblogs.com/LoyenWang/
公众号:LoyenWang
版权:本文版权归作者和博客园共有
转载:欢迎转载,但未经作者同意,必须保留此段声明;必须在文章中给出原文连接;否则必究法律责任
背景
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
1. 概述
- KVM虚拟化离不开底层硬件的支持,本文将介绍ARMv8架构处理器对虚拟化的支持,包括内存虚拟化、中断虚拟化、I/O虚拟化等内容;
- ARM处理器主要用于移动终端领域,近年也逐渐往服务器领域靠拢,对虚拟化也有了较为完善的支持;
Hypervisor
软件,涵盖的功能包括:内存管理、设备模拟、设备分配、异常处理、指令捕获、虚拟异常管理、中断控制器管理、调度、上下文切换、内存转换、多个虚拟地址空间管理等;- 本文描述的ARMv8虚拟化支持,对于理解
arch/arm64/kvm
下的代码很重要,脱离硬件去看Architecture-Specific代码,那是耍流氓;
开始旅程!
2. ARMv8虚拟化
2.1 Exception Level
- ARMv7之前的架构,定义了一个处理器的异常处理模式,比如
USR, FIQ, IRQ, SVC, ABT, UND, SYS, HYP, MON
等,各个异常模式所处的特权级不一样,比如USR
模式的特权级就为PL0
,对应为用户态程序运行; - 处理器的异常模式可以在特权级软件控制下进行主动切换,比如修改
CPSR
寄存器,也可以被动进行异常模式切换,典型的比如中断来临时切换到IRQ模式
;
ARMv7处理器的异常模式如下表所示:
然鹅,到了ARMv8,Exception Level(EL)
取代了特权级,其中处理器的异常模式与Exception Level
的映射关系如下图:
- 当异常发生时,处理器将改变
Exception Level
(相当于ARMv7中的处理器模式切换),来处理异常类型; - 图中可以看出
Hypervisor
运行在EL2
,而Guest OS
运行在EL1
,可以通过HVC (Hypervisor Call)
指令向Hypervisor
请求服务,响应虚拟化请求时就涉及到了Exception Level
的切换;
2.2 Stage 2 translation
Stage 2转换
与内存虚拟化息息相关,这部分内容不仅包括常规的内存映射访问,还包含了基于内存映射的I/O(MMIO
)访问,以及系统内存管理单元(SMMUs
)控制下的内存访问。
2.2.1 内存映射
OS在访问物理内存前,需要先建立页表来维护虚拟地址到物理地址的映射关系,看过之前内存管理分析的同学应该熟悉下边这张图,这个可以认为是Stage 1转换
:
- 当有了虚拟机时,情况就不太一样了,比如Qemu运行在Linux系统之上时,它只是Linux系统的一个用户进程,
Guest OS
所认为自己访问的物理地址,其实是Linux的用户进程虚拟地址,到最终的物理地址还需要进一步的映射; Hypervisor
可以通过Stage 2转换
来控制虚拟机的内存视图,控制虚拟机是否可以访问某块物理内存,进而达到隔离的目的;
整个地址的映射分成了两个阶段:
Stage 1: VA(Virutal Address) -> IPA(Intermediate Physical Address)
,操作系统控制Stage 1转换
;Stage 2: IPA(Intermediate Physical Address) -> PA(Physical Address)
,Hypervisor
控制Stage 2转换
;
Stage 2转换
与Stage 1
转换机制很类似,不同点在于Stage 2转换
时判断内存类型是normal还是device时,是存放进页表信息里了,而不是通过MAIR_ELx
寄存器来判断;每个虚拟机(VM,Virtual Machine)都会分配一个
VMID
,用于标识TLB entry
所属的VM,允许在TLB中同时存在多个不同VM的转换;操作系统会给应用程序分配一个
ASID(Address Space Identifier)
,也可以用于标识TLB entry
,属于同一个应用程序的TLB entry
都有相同的ASID
,不同的应用程序可以共享同一块TLB缓存
。每个VM都有自己的ASID
空间,通常会结合VMID
和ASID
来同时使用;Stage 1
和Stage 2
的转换页表中,都包含了属性的相关设备,比如访问权限,存储类型等,在两级转换的过程中,MMU
会整合成一个最终的也有效值,选择限制更严格的属性,如下图:
- 图中的
Device
属性限制更严格,则选择Device
类型; Hypervisor
如果想要改变默认整合行为,可以通过寄存器HCR_EL2(Hypervisor Configuration Register)
来配置,比如设置Non-cacheable
,Write-Back Cacheable
等特性;
2.2.2 MMIO(Memory-Mapped Input/Output)
Guest OS
认为的物理地址空间,实际是IPA
地址空间,就像真实物理机中一样,IPA
的地址空间,也分成内存地址空间和I/O
地址空间:
- 访问外设有两种情况:1)直通访问真实的外设;2)触发
fault
,Hypervisor
通过软件来模拟; VTTBR_EL2
:Virtualization Translation Table Base Register
,虚拟转换表基地址寄存器,存放Stage 2转换
的页表;- 为了模拟外设,
Hypervisor
需要知道访问的是哪个外设以及访问的寄存器,读访问还是写访问,访问长度是多少,使用哪些寄存器来传送数据等。Stage 2转换
有一个专门的Hypervisor IPA Fault Address Register, EL2(HPFAR_EL2)
寄存器,用于捕获Stage 2转换
过程中的fault;
软件模拟外设的示例流程如下:
- 1)虚拟机VM中的软件尝试访问串口设备;
- 2)访问时
Stage 2转换
被block住,并触发abort异常路由到EL2
。异常处理程序查询ESR_EL2(Exception Syndrome Register)
寄存器关于异常的信息,如访问长度、目标寄存器,Load/Store操作等,异常处理程序还会查询HPFAR_EL2
寄存器,获取abort的IPA地址; - 3)
Hypervisor
通过ESR_EL2
和HPFAR_EL2
里的相关信息对相关虚拟外围设备进行模拟,完成后通过ERET
指令返回给vCPU
,从发生异常的下一条指令继续运行;
2.2.3 SMMUs(System Memory Management Units)
访问内存的另外一种case就是DMA控制器。
非虚拟化下DMA控制器的工作情况如下:
- DMA控制器由内核的驱动程序来控制,能确保操作系统层面的内存的保护不会被破坏,用户程序无法通过DMA去访问被限制的区域;
虚拟化下DMA控制器,VM中的驱动直接与DMA控制器交互会出现什么问题呢?如下图:
- DMA控制器不受
Stage 2转换
的约束,会破坏VM的隔离性; - Guest OS以为的物理地址是IPA地址,而DMA看到的地址是真实的物理地址,两者的视角不一致,为了解决这个问题,需要捕获每次VM与DMA控制器的交互,并提供转换,当内存出现碎片化时,这个处理低效且容易引入问题;
SMMUs
可以用于解决这个问题:
SMMU
也叫IOMMU
,对IO部件提供MMU功能,虚拟化只是SMMU的一个应用;Hypervisor
可以负责对SMMU
进行编程,以便让上层的控制器和虚拟机VM以同一个视角对待内存,同时也保持了隔离性;
2.3 Trapping and emulation of Instructions
Hypervisor
也需要具备捕获(trap
)和模拟指令的能力,比如当VM中的软件需要配置底层处理器来进行功耗管理或者缓存一致性操作时,为了不破坏隔离性,Hypervisor
就需要捕获操作并进行模拟,以便不影响其他的VM。如果设置了捕获某个操作时,当该操作被执行时会向更高一级的Exception Level
触发异常(比如Hypervisor
为EL2),从而在相应的异常处理中完成模拟。
例子来了:
- 在ARM处理器中执行
WFI(wait for interrupt)
命令,可以让CPU处于一个低功耗的状态; HCR_EL2(Hypervisor Control Register)
,当该寄存器的TWI==1
时,vCPU执行WFI
指令会触发EL2异常,从而Hypervisor
可以对其进行模拟,将任务调度到另外一个vCPU即可;
捕获(traps
)的另一个作用是可以用于向Guest OS呈现寄存器的虚拟值,如下:
ID_AA64MMFR0_EL1
寄存器用于查询处理器对内存系统相关特性的支持,系统可能在启动阶段会读取该寄存器,Hypervisor
可以向Guest OS呈现一个不同的虚拟值;- 当vCPU读取该寄存器时,触发异常,
Hypervisor
在trap_handler
中进行处理,设置一个虚拟值,并最终返回给vCPU; - 通过
trap
来虚拟化一个操作需要大量的计算,包括触发异常、捕获,模拟、返回等一系列操作,像ID_AA64MMFR0_EL1
寄存器访问并不频繁,这种方式问题不大。但是当需要频繁访问的寄存器,比如MIDR_EL1
和MPIDR_EL1
等,出于性能的考虑,应该避免陷入到Hypervisor
中进行模拟处理,可以通过其他机制,比如提供VPIDR_EL2
和VMIDR_EL2
寄存器,在进入VM前就设置好该值,当读取MIDR_EL1
和MPIDR_EL1
时,硬件就返回VPIDR_EL2
和VMIDR_EL2
的值,避免了陷入处理;
2.4 Virtualizing exceptions
Hypervisor
对虚拟中断的处理比较复杂,Hypervisor
本身需要机制来在EL2处理中断,还需要机制来将外设的中断信号发送到目标虚拟机VM(或vCPU)上,为了使能这些机制,ARM体系架构包含了对虚拟中断的支持(vIRQs,vFIQs,vSErrors);- 处理器只有在EL0/EL1执行状态下,才能收到虚拟中断,在EL2/EL3状态下不能收到虚拟中断;
Hypervisor
通过设置HCR_EL2
寄存器来控制向EL0/EL1发送虚拟中断,比如为了使能vIRQ,需要设置HCR_EL2.IMO
,设置后便会将物理中断发送至EL2,然后使能将虚拟中断发送至EL1;
有两种方式可以产生虚拟中断:1)在处理器内部控制HCR_EL2
寄存器;2)通过GIC中断控制器(v2版本以上);其中方式一使用比较简单,但是它只提供了产生中断的方式,需要Hypervisor
来模拟VM中的中断控制器,通过捕获然后模拟的方式,会带来overhead,当然不是一个最优解。
让我们来看看GIC
吧,看过之前中断子系统系列文章的同学,应该见过下图:
Hypervisor
可以将GIC中的Virtual CPU Interface
映射到VM中,从而允许VM中的软件直接与GIC进行通信,Hypervisor
只需要进行配置即可,这样可以减少虚拟中断的overhead;
来个虚拟中断的例子吧:
- 外设触发中断信号到GIC;
- GIC产生物理中断
IRQ
或者FIQ
信号,如果设置了HCR_EL2.IMO/FMO
,中断信号将被路由到Hypervisor
,Hypervisor
会检查中断信号转发给哪个vCPU
; Hypervisor
设置GIC,将该物理中断信号以虚拟中断的形式发送给某个vCPU
,如果此时处理器运行在EL2,中断信号会被忽略;Hypervisor
将控制权返回给vCPU
;- 处理器运行在EL0/EL1时,虚拟中断会被接受和处理
- ARMv8处理器中断屏蔽由
PSTATE
中的比特位来控制(比如PSTATE.I
),虚拟化时比特位的作用有些不一样,比如设置HCR_EL2.IMO
时,表明物理IRQ路由到EL2,并且对EL0/EL1开启vIRQs
,因此,当运行在EL0/EL1时,PSTATE.I
比特位针对的是虚拟vIRQs
而不是物理的pIRQs
。
2.5 Virtualizing the Generic Timers
先来看一下SoC的内部:
简化之后是这样的:
- ARM体系架构每个处理器都包含了一组通用定时器,从图中可以看到两个模块:
Comparators
和Counter Module
,当Comparators
的值小于等于系统的count值时便会产生中断,我们都知道在操作系统中timer
的中断就是系统的脉搏了;
下图展示虚拟化系统中运行的vCPU
的时序:
- 物理时间4ms,每个
vCPU
运行2ms,如果设置vCPU0
在T=0
之后的3ms后产生中断,那希望是物理时间的3ms后(也就是vCPU0
的虚拟时间2ms)产生中断,还是虚拟时间3ms后产生中断?ARM体系结构支持这两种设置; - 运行在
vCPU
上的软件可以同时访问两种时钟:EL1物理时钟
和EL1虚拟时钟
;
EL1物理时钟
和EL1虚拟时钟
:
EL1物理时钟
与系统计数器模块直接比较,使用的是wall-clock
时间;EL1虚拟时钟
与虚拟计数器比较,而虚拟计数器是在物理计数器上减去一个偏移;Hypervisor
负责为当前调度运行的vCPU
指定对应的偏移,这种方式使得虚拟时间只会覆盖vCPU
实际运行的那部分时间;
来一张示例图:
- 6ms的时间段里,每个
vCPU
运行3ms,Hypervisor
可以使用偏移寄存器来将vCPU
的时间调整为其实际的运行时间;
2.6 Virtualization Host Extensions(VHE)
- 先抛出一个问题:通常
Host OS
的内核都运行在EL1,而控制虚拟化的代码运行在EL2,这就意味着传统的上下文切换,这个显然是比较低效的; VHE
用于支持type-2
的Hypervisor
,这种扩展可以让内核直接跑在EL2,减少host和guest之间共享的系统寄存器数量,同时也减少虚拟化的overhead;
VHE
由系统寄存器HCR_EL2
的E2H
和TGE
两个比特位来控制,如下图:
VHE
的引入,需要考虑虚拟地址空间的问题,如下图:
- 我们在内存子系统分析时提到过虚拟地址空间的问题,分为用户地址空间(
EL0
)和内核地址空间(EL1
),两者的区域不一致,而在EL2
只有一个虚拟地址空间区域,这是因为Hypervisor
不支持应用程序,因此也就不需要分成内核空间和用户空间了; EL0/EL1
虚拟地址空间也同时支持ASID(Address Space Identifiers)
,而EL2
不支持,原因也是Hypervisor
不需要支持应用程序;
从上两点可以看出,为了支持Host OS
能运行在EL2
,需要添加一个地址空间区域,以及支持ASID
,设置HCR_EL2.E2H
的寄存器位可以解决这个问题,如下图:
Host OS
运行在EL2
需要解决的另一个问题就是寄存器访问重定向,在内核中需要访问EL1
的寄存器,比如TTBR0_EL1
,而当内核运行在EL2
时,不需要修改内核代码,可以通过寄存器的设置来控制访问流,如下图:
- 重定向访问寄存器引入一个新的问题,
Hypervisor
在某些情况下需要访问真正的EL1
寄存器,ARM架构引入了一套新的别名机制,以_EL12/_EL02
结尾,如下图,可以在ECH==1
的EL2
访问TTBR0_EL1
:
Host OS
运行在EL2
还需要考虑异常处理的问题,前边提到过HCR_EL2.IMO/FMO/AMO
的比特位可以用来控制物理异常路由到EL1/EL2
。当运行在EL0
且TGE==1
时,所有物理异常都会被路由到EL2
(除了SCR_EL3控制的),这是因为Host Apps
运行在EL0
,而Host OS
运行在EL2
。
2.7 总结
- 本文涉及到内存虚拟化(stage 2转换),I/O虚拟化(包含了SMMU,中断等),中断虚拟化,以及指令
trap and emulation
等内容; - 基本的套路就是请求虚拟化服务时,路由到
EL2
去处理,如果有硬件支持的则硬件负责处理,否则可以通过软件进行模拟; - 尽管本文还没涉及到代码分析,但是已经大概扫了一遍了,大体的轮廓已经了然于胸了,说了可能不信,我现在都有点小兴奋了;
参考
《ArmV8-A virtualization.pdf》
《vm-support-ARM-may6-2019.pdf》
《aarch64_virtualization_100942_0100_en.pdf》
《ARM Cortex-A Series Programmer's Guide for ARMv8-A》
arm64: Virtualization Host Extension support
欢迎关注个人公众号,不定期更新技术文章。
【转载】Linux虚拟化KVM-Qemu分析(二)之ARMv8虚拟化的更多相关文章
- Linux内核启动代码分析二之开发板相关驱动程序加载分析
Linux内核启动代码分析二之开发板相关驱动程序加载分析 1 从linux开始启动的函数start_kernel开始分析,该函数位于linux-2.6.22/init/main.c start_ke ...
- 虚拟化KVM之安装(二)
安装KVM虚拟化 1.系统基础环境: [root@linux-node1 ~]# ip addr | grep inet | awk '{ print $2; }' | sed 's/\/.*$//' ...
- [转载]Linux 线程实现机制分析
本文转自http://www.ibm.com/developerworks/cn/linux/kernel/l-thread/ 支持原创.尊重原创,分享知识! 自从多线程编程的概念出现在 Linux ...
- [转载]Linux驱动-SPI驱动 之二:SPI通用接口层
通过上一篇文章的介绍,我们知道,SPI通用接口层用于把具体SPI设备的协议驱动和SPI控制器驱动联接在一起,通用接口层除了为协议驱动和控制器驱动提供一系列的标准接口API,同时还为这些接口API定义了 ...
- [转载]Linux内核list_head学习(二)
前一篇文章讨论了list_head 结构的基本结构和实现原理,本文主要介绍一下实例代码. 自己如果想在应用程序中使用list_head 的相应操作(当然应该没人使用了,C++ STL提供了list 用 ...
- 【原创】Linux虚拟化KVM-Qemu分析(二)之ARMv8虚拟化
背景 Read the fucking source code! --By 鲁迅 A picture is worth a thousand words. --By 高尔基 说明: KVM版本:5.9 ...
- KVM+QEMU虚拟化概念
概念: KVM,即Kernel-basedvirtual machine,由redhat开发,是一种开源.免费的虚拟化技术.对企业来说,是一种可选的虚拟化解决方案. 定义:基于Linux内核的虚拟机 ...
- Linux实战教学笔记53:开源虚拟化KVM(一)搭建部署与概述
一,KVM概述 1.1 虚拟化概述 在计算机技术中,虚拟化意味着创建设备或资源的虚拟版本,如服务器,存储设备,网络或者操作系统等等 [x] 虚拟化技术分类: 系统虚拟化(我们主要讨论的反向) 存储虚拟 ...
- KVM 介绍(3):I/O 全虚拟化和准虚拟化 [KVM I/O QEMU Full-Virtualizaiton Para-virtualization]
学习 KVM 的系列文章: (1)介绍和安装 (2)CPU 和 内存虚拟化 (3)I/O QEMU 全虚拟化和准虚拟化(Para-virtulizaiton) (4)I/O PCI/PCIe设备直接分 ...
- 2019-2020-1 20199329《Linux内核原理与分析》第十二周作业
<Linux内核原理与分析>第十二周作业 一.本周内容概述: 通过编程理解 Set-UID 的运行机制与安全问题 完成实验楼上的<SET-UID程序漏洞实验> 二.本周学习内容 ...
随机推荐
- 【Spring5】AOP
3 AOP 面向切面编程,利用AOP可以对业务的各个逻辑进行隔离,从而使得业务逻辑各部分的耦合度之间降低,提高程序的可重用性,同时提高开发的效率. 目的:不通过修改源代码,在主干功能上增加新功能 AO ...
- NC20279 [SCOI2010]序列操作
题目链接 题目 题目描述 lxhgww最近收到了一个01序列,序列里面包含了n个数,这些数要么是0,要么是1,现在对于这个序列有五种变换操作和询问操作: 0 a b 把[a, b]区间内的所有数全变成 ...
- Microsoft Loop初体验
目前AI copilot无法使用. 问题 图片 在设置中可以打开实验选项 简单开箱使用 很多人说微软的loop竞品是notion,那么作为卡片盒双链笔记软件,最热门的应用当然是notion.从loop ...
- JavaWeb之04javaScript基础&DOM目录
目录: 1.案例:在末尾添加节点(*****) ** 创建标签 createElement方法 ** 创建文本 createTextNode方法 ** 把文本添加到标签下面 appendChild方法 ...
- vue项目使用rem布局刷新页面瞬间元素尺寸由小变大,页面闪现错乱样式
vue项目使用px2remLoader插件,在index.html自定义设置font-size的大小,尤其是在首屏加载的时候,会出现页面各个元素尺寸由小变大的一个过程,很难看 刚开始一直在想是不是因为 ...
- 2022-12-19:大的国家。如果一个国家满足下述两个条件之一,则认为该国是 大国 : 面积至少为 300 万平方公里(即,3000000 km2),或者 人口至少为 2500 万(即 250000
2022-12-19:大的国家.如果一个国家满足下述两个条件之一,则认为该国是 大国 : 面积至少为 300 万平方公里(即,3000000 km2),或者 人口至少为 2500 万(即 250000 ...
- 2022-06-19:给出n个数字,你可以任选其中一些数字相乘,相乘之后得到的新数字x, x的价值是x的不同质因子的数量。 返回所有选择数字的方案中,得到的x的价值之和。 来自携程。
2022-06-19:给出n个数字,你可以任选其中一些数字相乘,相乘之后得到的新数字x, x的价值是x的不同质因子的数量. 返回所有选择数字的方案中,得到的x的价值之和. 来自携程. 答案2022-0 ...
- 2021-09-12:请你来实现一个 myAtoi(string s) 函数,使其能将字符串转换成一个 32 位有符号整数(类似 C/C++ 中的 atoi 函数)。函数 myAtoi(string
2021-09-12:请你来实现一个 myAtoi(string s) 函数,使其能将字符串转换成一个 32 位有符号整数(类似 C/C++ 中的 atoi 函数).函数 myAtoi(string ...
- Unity框架与.NET, Mono框架的关系
什么是C# C#是一种面向对象的编程语言. 什么是.NET .NET是一个开发框架,它遵循并采用CIL(Common Intermediate Language)和CLR(Common Languag ...
- 【最佳实践】如何设计 RESTful API ?
良好的 API 设计是一个经常被提及的话题,特别是对于那些试图完善其 API 策略的团队来说.一个设计良好的 API 的好处包括:改进开发者体验.更快速地编写文档以及更高效地推广你的 API.但是,到 ...