计算虚拟化2——内存虚拟化

目录

物理机内存访问过程

虚拟地址VA和物理地址PA概念

MUU实现VA到PA所使用的映射表

内存虚拟化类型

内存软件辅助虚拟化

内存硬件辅助虚拟化

内存虚拟化-内存超分配

内存共享

内存置换

内存气泡


物理机内存访问过程

内存的基本知识

内存都是从物理地址0开始的,n结束

内存都是连续的

MMU(Memory Management Unit)内存管理单元,主要功能为将内存虚拟地址到物理地址的转换、内存保护、中央告诉缓存的控制等

虚拟地址VA和物理地址PA概念

为什么提出虚拟地址VA

我们知道一个服务器的物理内存是固定的,从0开始,到n结束;当有多个应用程序要使用内存时,每个应用程序都认为自己使用的内存地址是从0开始,到x结束(x≤n),此时某个进程的内存区就可能会被别的进程覆盖;为了解决此问题就提出了虚拟内存的概念,也就是虚拟内存地址VA的概念(应用程序通过此地址无法直接访问内存),通过MMU内存管理单元来把每个应用程序使用的VA虚拟地址转为具体的对应的物理内存地址PA

虚拟地址VA和物理地址PA的转换

虚拟地址VA由虚拟页面号VPN和虚拟地址偏移VA Offset组成;物理地址PA由物理页帧号PFN和物理地址偏移PA Offset组成(通常PA Offset等于VA Offset)

当虚拟地址VA转为物理地址时,需要将VPN转为PFN,然后在加上VA Offset(即 PA=PFN+VA Offset)

VA和PA地址转换的大致工作原理如下

实际上应用程序在往内存中读写数据时,需要先将请求发往CPU,再由CPU发往内存

所以应用程序将自己需要访问的虚拟内存地址VA发往CPU,CPU将VA虚拟地址发给MMU

由,MMU通过映射表将VA虚拟地址转为PA物理内存地址,然后交给内存完成内存的读写

MUU实现VA到PA所使用的映射表

MMU将VA转为PA的两种映射表:页表(慢表)、TLB传输后备缓冲器(快表)

页表(慢表)基本概念

MMU没有自己的存储空间,所以最开始映射表存储在内存中,名字叫页表

MMU如何知道页表在内存的具体地址呢?

通常CPU会提供一个页表基址寄存器给操作系统使用,用于给MMU指示页表的基地址(不同处理器架构对应的寄存器不一样,x86的寄存器为CR3、ARM-v8的寄存器为TTBR、RISC-V的寄存区为SATP);寄存器存储了第一级页表的基地址,由于在实际使用中都是使用多级页表来存储虚拟地址和物理地址的映射关系,所以需要寄存器找到第一级页表的基地址,然后依次查找后续级别的页表知道找到VA对应的真正的物理内存地址

不同多级页表涉及的表项

二级页表

分为页全局目录PGD(page global directory)和页表入口PTE(page table entry)

其中PGD来存储下一级页表的基地址,PTE来存储真正的物理地址

共有PGD、PTE二级目录

三级页表

在PGD和PTE之间新加了页中间目录PMD(page middle directory)

共有PGD、PMD、PTE三级目录

四级页表

在PGD和PMD之间新增了页上级目录PUD(page upper directory)

共有PGD、PUD、PMD、PTE四级目录

常见系统使用多级页表的类型

未开启PAE物理地址扩展的32位系统只使用二级页表;开启PAE物理地址扩展的32位系统使用三级页表;64位系统使用四级页表或三级页表

具体使用多少级页表、虚拟地址、物理地址等的格式与是32位系统还是64位系统有关、也与处理器的架构有关;但是MMU管理的工作原理都是一致的,不管是二级页表、三级还是四级,都是通过第一级找到第二级,第二级找到第三级等,最终找到其它物理地址

使用三级页表的工作原理

由于使用三级页表来存放VA与PA之间的关系,此时VA地址也被分为4部分VPN1、VPN2、VPN3、VA Offset

应用程序将VA发给CPU,CPU将VA发给MMU,MMU访问页表基址寄存器,得到一级页表PGD的基地址,再结合虚拟地址中的VPN1(PGD index)找到下一级页表PMD的基地址;得到了PMD的基地址,再结合虚拟地址中的VPN2(PMD index)得到再下一级PTE的基地址,结合虚拟地址中的VPN3(PTE index)的到最终的PFN,然后通过PFN+VA offset得到真实的物理地址,然后MMU将VA转为PA,最后通过PA地址访问内存

CPU→MMU→寄存器→读取内存中的页表→MMU将VA转为PA→内存(整个流程访问了两次内存)

TLB传输后备缓冲器(快表)

TLB存放在CPU缓存中(CPU缓存的速率高于内存),并且能够直接通过VA的VPN来获取到PA地址的PFN,进而获得PA地址

TLB如何通过VA找到PA地址

TLB表根据虚拟地址VA的高20位(此20位是针对x86架构的,不同架构的值不同)来查找表项,找对对应的物理地址PA

TLB工作流程

应用程序将VA地址发给CPU,CPU将VA发给MMU,MMU将存放在CPU缓存的TLB读取出来,然后MMU将VA转为PA,最后通过PA地址访问内存

CPU→MMU→读取CPU缓存中的TLB表→MMU将VA转为PA→内存

有些VA地址在TLB中没有映射怎么办?

根据VA的高20位地址,在TLB中查找对应的PA地址,如果没有对应表项就返回TLB Miss,此时MMU就去读取内存的页表,通过页表来实现VA到PA的转换


内存虚拟化类型

内存半虚拟化主要是Xen厂商使用,此处不做介绍

提前了解的概念

GVA        虚拟机访问内存的虚拟内存地址

GPA        虚拟机访问内存的物理内存地址

HVA        物理机访问内存的虚拟内存地址

HPA        物理机访问内存的物理内存地址

虚拟机内存虚拟化的核心

虚拟机的内存虚拟化类似于物理机的虚拟内存,虚拟机的内存虚拟化通过引入一层新的地址空间(GPA),使得虚拟机以为自己运行在真实的物理地址中,实际上它是通过VMM访问真实的物理地址的

内存软件辅助虚拟化

常用的软件辅助全虚拟化通过“影子页表(shadow page table)”技术来实现

虚拟机设计的每个映射表的作用

虚拟机的页表/TLB表维护GVA到虚拟机物理地址GPA的映射关系

VMM定义的映射表维护GPA到HVA的映射表

物理机的页表/TLB表维护HVA到HPA的映射表

VMM的影子页表维护GVA到HPA的映射表(影子页表由VMM维护)

虚拟机的页表和影子页表会通过一个哈希表建立关联(也有其他的关联方式),可以完成GPA到HPA的映射

影子映射表的作用

VMM为每个虚拟机都维护一个影子页表,影子页表维护GVA到HPA的映射表,简化了地址转换的过程,实现了虚拟机的虚拟内存地址GVA到物理机的真实内存地址HPA的直接映射

具体工作原理

当虚拟机通过虚拟机CR3寄存器来获取到自己虚拟机的页表或获取TLB表时,都会被VMM捕获,通过影子页表直接将GVP转为HPA,完成内存的访问

如果影子页表没有相应的GVP表项如何做

虚拟机的应用程序访问内存,CPU将GVA地址发给虚拟机的MMU,虚拟机的MMU通过页表或TLB表得到GPA;然后再通过VMM查找GPA对应的HVA,最后通过物理主机的页表或TLB表查HVA对应的HPA(如果没有HPA则为HVA分配对应的HPA),最终得到GPA对应的HPA关系,然后将其对应关系填充到影子页表;

VMM如何感知到虚拟机对自己的页表做出了一些更改

VMM将虚拟机对应影子页表的物理内存区域标记为只读状态,当虚拟机想要更改自己的页表时,就会对该物理内存区域做出更改的操作,此时就会抛出CPU的异常,触发一个VM Exit,这个时候就退出到VMM中,VMM就知道了虚拟机在更改页表

此时VMM代替虚拟机操作系统修改虚拟机页表,然后更新自身的影子页表中GVA到HPA的映射关系

存在的问题

每次触发VM exit的话开销很高

VMM承担太多影子页表的维护工作

内存硬件辅助虚拟化

常见的内存硬件虚拟化技术

Inter的EPT(Extend Page Table)扩展页表技术

AMD的RVI(Rapid Virtualization Index)快速虚拟化索引技术

两者细节方面有所不同,但是设计理念完全一致,把影子页表中依靠软件实现的过程改为硬件实现(GVP到GPA的转换没有变化,只是GPA到HPA的转化是由硬件来完成)

EPT页表的工作原理

EPT页表存放在CPU中

当应用程序访问内存时,将GVA交给虚拟机CPU,虚拟机CPU会通过访问虚拟机中的页表来完成GVA到GPA的转换;接着CPU通过EPT页表来实现GPA到HPA的转换

如果EPT页表没有GPA对应的HPA地址,如何解决

如果HPA为空,则CPU会抛出EPT Violation异常,触发一个vm exit让VMM来处理,此时VMM会根据GPA地址将其映射到对应的HVA地址,然后通过物理页表找到此HVA地址对应的HPA(如果没有HPA则为HVA分配对应的HPA),最后再更新EPT表项

如果EPT页表中没有GPA地址,如何解决?

如果GPA地址为空(即缺页),则CPU产生缺页异常,发生缺页中断(如果是软件实现方式,则会产生vm exit)但是硬件实现方式下,并不会产生VM-exit,而是交给虚拟机内核的中断处理程序处理;在中断处理程序中会产生EXIT_REASON_EPT_VIOLATION,虚拟机退出,VMM截获到该异常后,为虚拟机分配新的物理地址HPA,并建立新的GPA到HPA的映射关系,保存到EPT中,这样在下一次访问的时候就可以完成GPA到HPA的转换


内存虚拟化-内存超分配

虚拟机内存和物理机内存之间并不是一一对应的,物理机可以通过内存超分配来超额分配内存给虚拟机

内存超分配实现分配给虚拟机的内存总数大于实际可用的物理内存总数

实现内存超分配主要通过内存复用技术实现的

而内存复用通过内存共享、内存置换、内存气泡三大技术来对内存进行分时复用,实现内存超分配

内存复用=共享,气泡,置换共同作用

内存共享

虚拟机之间共享同一物理内存空间(蓝色部分),并且该共享的物理内存为只读权限(多个虚拟机内存中保存的多份相同数据,在物理内存中只保留一份数据)

当某个虚拟机需要写入数据到共享内存空间时,此时就通过写时复制技术,另开辟一块内存空间使用,并修改映射表

内存置换

虚拟机长时间未访问的内存内容置换放到硬盘中,并建立映射表,释放内存

当虚拟机再次访问该内存时再置换回来

内存气泡

将较为空间的虚拟机内存释放给内存使用率较高的虚拟机(即:把虚拟机2的空闲内存分给虚拟机1使用);内存的回收和分配为系统动态执行,虚拟机上的应用无感知

提升了内存利用率;不过需要保证所有虚拟机正在使用的内存总量不能超过物理机的物理内存总量

本文来自互联网用户投稿,该文观点仅代表作者本人,不代表本站立场。本站仅提供信息存储空间服务,不拥有所有权,不承担相关法律责任。如若转载,请注明出处:/a/115734.html

如若内容造成侵权/违法违规/事实不符,请联系我们进行投诉反馈qq邮箱809451989@qq.com,一经查实,立即删除!

相关文章

2023腾讯云双11优惠3年轻量2核2G4M服务器366.6元,三年价哦!

腾讯云3年轻量应用服务器配置为2核2G4M带宽、50GB SSD系统盘双11优惠价格366.6元三年、108元一年,只是限制月流量,套餐自带300GB月流量。腾讯云百科txybk.com分享2023腾讯云双11优惠活动3年轻量2核2G4M带宽优惠价格、购买条件: 3年轻量2核2G…

ubuntu无网络连接,没有网络标识,快速解决方法

在这里插入代码片当我们装虚拟机的时候,需要用到网络时发现没有网络连接,且右上角没有网络标识符,这时只需要简单的输入一下三个命令即可 sudo nmcli networking offsudo nmcli networking onsudo service network-manager restart然后重启客…

非递归方法实现二叉树前、中、后序遍历

文章目录 非递归实现二叉树前、中、后序遍历一、非递归实现前序遍历1.思路2.代码 二、非递归实现二叉树的中序遍历1.思路2.代码 三、非递归实现二叉树的后序遍历1.思路2.代码 非递归实现二叉树前、中、后序遍历 一、非递归实现前序遍历 1.思路 前序遍历的顺序是 :根…

JVM离线分析-使用MAT分析dump堆文件

1. MAT(Memory Analyzer Tool)的介绍 官方介绍 The Eclipse Memory Analyzer is a fast and feature-rich Java heap analyzer that helps you find memory leaks and reduce memory consumption. Use the Memory Analyzer to analyze productive heap …

软件设计模式原则(二)开闭原则

继续讲解第二个重要的设计模式原则——开闭原则~ 一.定义 开闭原则,在面向对象编程领域中,规定“软件中的对象(类,模块,函数等等)应该对于扩展是开放的,但是对于修改是封闭的”,这意…

springboot中使用redis管理session

前言 使用软件: redis: linux版本下载 windows版本下载 安装redis 下载redis http://download.redis.io/releases/ 源码安装redis(ubuntu) #将指定版本的redis上传到服务器#解压 sudo tar -xzvf redis-6.2.4.tar.gzcd re…

牛客项目(五)-使用kafka实现发送系统通知

kafka入门以及与spring整合 Message.java import java.util.Date;public class Message {private int id;private int fromId;private int toId;private String conversationId;private String content;private int status;private Date createTime;public int getId() {retur…

Springboot搭建微服务案例之Eureka注册中心

一、父工程依赖管理 <?xml version"1.0" encoding"UTF-8"?> <project xmlns"http://maven.apache.org/POM/4.0.0"xmlns:xsi"http://www.w3.org/2001/XMLSchema-instance"xsi:schemaLocation"http://maven.apache.org…

服务器经常被攻击的原因

很多中小型企业都是选择虚拟主机服务器&#xff0c;是把一个服务器分成很多个给很多企业一起共用&#xff0c;可能同一个 IP服务器上就有很多个不同企业的网站&#xff0c;这个时候如果跟你同一个IP服务器的网站遭到DDoS攻击&#xff0c;就很有可能会影响到你的网站也无法正常访…

学习笔记二十七:K8S控制器Statefulset入门到企业实战应用

这里写目录标题 Statefulset控制器&#xff1a;概念、原理解读Statefulset资源清单文件编写技巧查看定义Statefulset资源需要的字段查看statefulset.spec字段如何定义&#xff1f;查看statefulset的spec.template字段如何定义 Statefulset使用案例&#xff1a;部署web站点State…

apollo云实验:定速巡航场景仿真调试

定速巡航场景仿真调试 概述启动仿真环境仿真系统修改默认巡航速度 实验目的福利活动 主页传送门&#xff1a;&#x1f4c0; 传送 概述 自动驾驶汽车在实现落地应用前&#xff0c;需要经历大量的道路测试来验证算法的可行性和系统的稳定性&#xff0c;但道路测试存在成本高昂、…

webgl入门-基础三角形绘制

背景 最近工作上频繁接触webgl&#xff0c;因为不熟悉每每看到shader中的语法总感觉脑袋大&#xff0c;所以打算开始从零学习一下webgl&#xff0c;文章只做记录学习历程&#xff0c;那就直接开始吧&#xff01; 开始 可以配合着这个文章食用。 我还是对webgl有一些概念的&…

Java 8 新特性 Stream 的使用场景(不定期更新)

方便在写代码的过程中直接使用&#xff0c;好记性不如好文章&#xff0c;直接 CV 改了直接用。提高 办&#xff08;摸&#xff09;公&#xff08;鱼&#xff09;效&#xff08;时&#xff09;率&#xff08;间&#xff09;&#xff0c; 不然就直接问 GPT 也不是说不行。 只符合…

AI:52-基于深度学习的垃圾分类

🚀 本文选自专栏:AI领域专栏 从基础到实践,深入了解算法、案例和最新趋势。无论你是初学者还是经验丰富的数据科学家,通过案例和项目实践,掌握核心概念和实用技能。每篇案例都包含代码实例,详细讲解供大家学习。 📌📌📌本专栏包含以下学习方向: 机器学习、深度学…

WPF布局控件之DockPanel布局

前言&#xff1a;博主文章仅用于学习、研究和交流目的&#xff0c;不足和错误之处在所难免&#xff0c;希望大家能够批评指出&#xff0c;博主核实后马上更改。 概述&#xff1a; DockPanel 位置子控件基于子 Dock 属性&#xff0c;你有 4 个选项停靠&#xff0c;左 (默认) &…

接口自动化测试难点:数据库验证解决方案 百分之90人不知道

接口自动化中的数据库验证&#xff1a;确保数据的一致性和准确性 接口自动化测试是现代软件开发中不可或缺的一环&#xff0c;而数据库验证则是确保接口返回数据与数据库中的数据一致性的重要步骤。本文将介绍接口自动化中的数据库验证的原理、步骤以及示例代码&#xff0c;帮…

最新版星火官方搬运工具6.0,高级搬运,100%过原创,短视频上热门搬运软件黑科技【搬运脚本+使用技术教程】

软件介绍&#xff1a; 高级搬运&#xff0c;条条过原创 短视频暴力热门搬运黑科技 自研摄像头内录突破性技术6.0 无需任何繁琐准备工作安装即用 无需复杂售后培训看教程即可学会 直装直用自研技术更好卖 无需root 无需框架 更方便 无需xposed 无需vcam更安全 适配99%以…

SaveToDisk属性

大家好&#xff0c;才是真的好。 Domino Designer的帮助文档里面充满了宝藏&#xff0c;最近就发现一个notesitem对象的SaveToDisk属性&#xff0c;你可以设置它为false&#xff0c;这样&#xff0c;虽然文档保存了&#xff0c;但这个字段本身可以不用保存&#xff0c;不仅可以…

ROS分布式演练,多台设备进行通信的配置

1、概述 前面我们做的操作都是在单个设备上进行&#xff0c;也就是分别开启多个终端&#xff0c;在不同终端上启动节点等相关操作&#xff0c;这里我们使用两台设备来控制&#xff0c;一台虚拟机和一台无人车(使用VNC Viewer连上去&#xff0c;也可以看做一台Linux虚拟机) VNC…

初识FFmpeg

前言 无意间见到群里的小伙伴展示视频工具。功能比较多&#xff0c;包括视频编码修改&#xff0c;画质处理&#xff0c;比例处理、名称提取&#xff0c;剪辑、标题拆解。因此开始了FFmpeg学习。以下摘自百度百科的解释。 FFmpeg是一套可以用来记录、转换数字音频、视频&#xf…