CppGuide社区 CppGuide社区
首页
  • 最新谷歌C++风格指南(含C++17/20)
  • C++17详解
  • C++20完全指南
  • C++23快速入门
  • C++语言面试问题集锦
  • 🔥C/C++后端开发常见面试题解析 (opens new window)
  • 网络编程面试题 (opens new window)
  • 网络编程面试题 答案详解 (opens new window)
  • 聊聊WebServer作面试项目那些事儿 (opens new window)
  • 字节跳动面试官现身说 (opens new window)
  • 技术简历指南 (opens new window)
  • 🔥交易系统开发岗位求职与面试指南 (opens new window)
  • 第1章 高频C++11重难点知识解析
  • 第2章 Linux GDB高级调试指南
  • 第3章 C++多线程编程从入门到进阶
  • 第4章 C++网络编程重难点解析
  • 第5章 网络通信故障排查常用命令
  • 第6章 高性能网络通信协议设计精要
  • 第7章 高性能服务结构设计
  • 第8章 Redis网络通信模块源码分析
  • 第9章 后端服务重要模块设计探索
  • 🚀 全部章节.pdf 下载 (opens new window)
  • 源码分析系列

    • leveldb源码分析
    • libevent源码分析
    • Memcached源码分析
    • TeamTalk源码分析
    • 优质源码分享 (opens new window)
    • 🔥远程控制软件gh0st源码分析
  • 从零手写C++项目系列

    • C++游戏编程入门(零基础学C++)
    • 🔥使用C++17从零开发一个调试器 (opens new window)
    • 🔥使用C++20从零构建一个完整的低延迟交易系统 (opens new window)
    • 🔥使用C++从零写一个C语言编译器 (opens new window)
    • 从零用C语言写一个Redis
  • Windows 10系统编程
  • Go语言特性

    • Go开发实用指南
    • Go系统接口编程
    • 高效Go并发编程
    • Go性能调优
    • Go项目架构设计
  • Go项目实战

    • 使用Go从零开发一个数据库
    • 🔥使用Go从零开发一个编译器 (opens new window)
    • 🔥使用Go从零开发一个解释器 (opens new window)
    • 🔥用Go从零写一个编排器(类Kubernetes) (opens new window)
  • Rust编程

    • Rust编程指南
  • 数据库

    • SQL零基础指南
    • MySQL开发与调试指南
  • Linux内核

    • 心中的内核 —— 在阅读内核代码之前先理解内核
    • 🔥Linux 5.x内核开发与调试 完全指南 (opens new window)
    • TCP源码实现超详细注释版.pdf (opens new window)
GitHub (opens new window)
首页
  • 最新谷歌C++风格指南(含C++17/20)
  • C++17详解
  • C++20完全指南
  • C++23快速入门
  • C++语言面试问题集锦
  • 🔥C/C++后端开发常见面试题解析 (opens new window)
  • 网络编程面试题 (opens new window)
  • 网络编程面试题 答案详解 (opens new window)
  • 聊聊WebServer作面试项目那些事儿 (opens new window)
  • 字节跳动面试官现身说 (opens new window)
  • 技术简历指南 (opens new window)
  • 🔥交易系统开发岗位求职与面试指南 (opens new window)
  • 第1章 高频C++11重难点知识解析
  • 第2章 Linux GDB高级调试指南
  • 第3章 C++多线程编程从入门到进阶
  • 第4章 C++网络编程重难点解析
  • 第5章 网络通信故障排查常用命令
  • 第6章 高性能网络通信协议设计精要
  • 第7章 高性能服务结构设计
  • 第8章 Redis网络通信模块源码分析
  • 第9章 后端服务重要模块设计探索
  • 🚀 全部章节.pdf 下载 (opens new window)
  • 源码分析系列

    • leveldb源码分析
    • libevent源码分析
    • Memcached源码分析
    • TeamTalk源码分析
    • 优质源码分享 (opens new window)
    • 🔥远程控制软件gh0st源码分析
  • 从零手写C++项目系列

    • C++游戏编程入门(零基础学C++)
    • 🔥使用C++17从零开发一个调试器 (opens new window)
    • 🔥使用C++20从零构建一个完整的低延迟交易系统 (opens new window)
    • 🔥使用C++从零写一个C语言编译器 (opens new window)
    • 从零用C语言写一个Redis
  • Windows 10系统编程
  • Go语言特性

    • Go开发实用指南
    • Go系统接口编程
    • 高效Go并发编程
    • Go性能调优
    • Go项目架构设计
  • Go项目实战

    • 使用Go从零开发一个数据库
    • 🔥使用Go从零开发一个编译器 (opens new window)
    • 🔥使用Go从零开发一个解释器 (opens new window)
    • 🔥用Go从零写一个编排器(类Kubernetes) (opens new window)
  • Rust编程

    • Rust编程指南
  • 数据库

    • SQL零基础指南
    • MySQL开发与调试指南
  • Linux内核

    • 心中的内核 —— 在阅读内核代码之前先理解内核
    • 🔥Linux 5.x内核开发与调试 完全指南 (opens new window)
    • TCP源码实现超详细注释版.pdf (opens new window)
GitHub (opens new window)
  • 心中的内核——在阅读内核代码之前先理解内核 专栏说明
  • 01 内核不是进程,而是系统
  • 02 为进程服务:内核的首要职责
  • 03 代码之前的概念图
  • 04 作为分层系统的内核:虚拟、映射、隔离、控制
  • 05 单体形式,协同行为:真正的内核模型
  • 06 内核对象揭示设计——函数仅执行设计
  • 07 无冲突的代码——内核如何在并发风暴中保持安全
  • 08 间接的力量——一个内核如何为所有进程服务
  • 09 内核的设备模型:硬件如何成为/dev
  • 10 内核如何看待内存:不是映射,而是责任
  • 11 内存不是一个地方,而是一个系统
  • 12 内核始终存在——你知道它在哪里吗?
  • 13 不只是代码执行:内核实际执行的内容
  • 14 boot结束之处:内核开始之处
  • 15 从vmlinuz到eBPF:Linux内核内部实际运行的内容
  • 16 无状态CPU,有状态内核:执行如何被协调
  • 17 内核构建的内容——逐层构建
  • 18 内核执行路径:在哪里运行,以及为何重要
  • 19 追踪执行的模板
  • 20 中断不是干扰,而是设计
  • 21 执行是逻辑的,位置是物理的
  • 22 不仅仅是一段代码:每个内核路径内部的过程
  • 23 内核如何自我通信——内部通信工具
  • 24 内核模块仅通过导出符号相互认知
  • 25 搭建组件之间的桥梁
  • 26 libc之外:用户空间与内核的真实通信方式
  • 27 CPU不移动数据——但没有CPU,什么都无法移动
  • 28 时间与精度:内核眼中的CPU执行
  • 29 内核在虚拟化中的角色:理解KVM
  • 30 两个世界,一个CPU:虚拟化中的root操作和非root操作
  • 31 内核与VirtIO:无需模拟的网络驱动程序
  • 32 一切仍由操作系统掌控
  • 33 对齐即理解
  • 34 如果内核不是由 Linus 创建和维护,会怎样?
  • 35 配置并非定制,而是内核的身份标识
  • 36 内存生命周期与塑造它的角色
  • 37 中断如何在不变中演变
  • 38 并发之外的同步机制
  • 39 这从不关乎炒作,始终关乎硬件
  • 40 从意图到I/O:内核如何看待文件、磁盘和设备
  • 41 心中的内核——效率至上而非历史遗留原因:为什么内核仍用C语言开发

30 两个世界,一个CPU:虚拟化中的root操作和非root操作

# 30 两个世界,一个CPU:虚拟化中的root操作和非root操作

现代英特尔处理器的虚拟化依赖于通过虚拟机扩展(VMX,Virtual Machine Extensions)建立的执行环境的严格划分。这种分离定义了两个操作世界:VMX root模式和VMX非root模式,从而在CPU的严格控制下实现安全、高效的虚拟化。

当KVM模块设置了CR4.VMXE并执行VMXON时,VMX操作开始,将CPU转换为root模式并启用VMX指令。在客户机运行之前,KVM为每个虚拟CPU(vCPU)分配并配置一个虚拟机控制结构(VMCS,Virtual Machine Control Structure),其中包含客户机和主机处理器状态以及执行和控制字段。

客户机执行以VMLAUNCH开始或以VMRESUME恢复。CPU从VMCS加载客户机状态并进入VMX非root模式。在这种模式下,客户机操作系统直接在硬件上运行,同时与主机隔离,即使在 0 环(ring 0)执行也是如此。

大多数客户机指令在执行时无需虚拟机管理程序干预,除非被VMCS控制所禁止。特权指令、I/O端口访问、控制寄存器修改或外部中断会触发VM退出。在VM退出期间,CPU将客户机状态保存到 VMCS 中,恢复主机状态,记录退出原因,并将控制权交还给在root模式下运行的KVM。

KVM读取退出原因并处理该事件。CPU状态更改、特权操作或中断处理直接在内核中处理,而设备访问或用户驱动的事件则转发给QEMU等用户空间监视器。如果vCPU线程被抢占,KVM会保存客户机上下文并让步给Linux调度器。

在vCPU之间切换时,KVM使用VMPTRLD加载新vCPU的专用VMCS。每个vCPU维护自己的VMCS,切换涉及更新活动VMCS指针以确保客户机之间的隔离。Linux调度器将vCPU视为普通线程,允许在vCPU之间或客户机与主机进程之间进行公平调度。

重新调度后,当再次选择vCPU时,KVM会根据需要更新VMCS,并使用VMRESUME恢复客户机执行。

VMCS在转换过程中维护处理器状态,包括通用寄存器、控制寄存器、指令指针、标志和执行控制。对VMCS字段的精心管理可最大限度地减少开销、保持隔离并确保客户机行为正确。

客户机和主机之间的内存一致性通过INVEPT和INVVPID等指令维护,从而能够选择性地使地址映射和TLB条目失效,而无需完全刷新处理器。

当客户机终止时,KVM发出VMXOFF,结束VMX操作并将CPU恢复为正常的主机执行。

通过root模式和非root模式之间的结构化划分、每个vCPU的专用VMCS结构以及KVM转换的协调,现代处理器提供了安全高效的硬件虚拟化。

image-20250617135403945

上次更新: 2025/06/17, 19:51:40
29 内核在虚拟化中的角色:理解KVM
31 内核与VirtIO:无需模拟的网络驱动程序

← 29 内核在虚拟化中的角色:理解KVM 31 内核与VirtIO:无需模拟的网络驱动程序→

最近更新
01
第二章 关键字static及其不同用法
03-27
02
第一章 auto与类型推导
03-27
03
第四章 Lambda函数
03-27
更多文章>
Copyright © 2024-2025 沪ICP备2023015129号 张小方 版权所有
  • 跟随系统
  • 浅色模式
  • 深色模式
  • 阅读模式