深入解析:Linux中KVM虚拟化技术

这篇文章将深入分析Linux中虚拟化技术的实现----KVM技术,从KVM技术的简介、技术架构、以及虚拟机和宿主机交互的重要处理逻辑出发,深入探究KVM技术的实现。

一、KVM简介:

首先,我们先查看一下KVM架构,看看它的整体工作流程:

上图展示了KVM(Kernel-based Virtual Machine)的架构及其与QEMU的交互。以下是对该架构的说明:

  1. KVM Guest(虚拟机客户机)‌:

    • Applications(应用程序)‌:这是运行在虚拟机内的上层应用程序。
    • File system and block devices(文件系统和块设备)‌ 和 ‌Drivers(驱动程序)‌:这些组件为应用程序提供对存储设备的访问。
    • VCPU(虚拟CPU)‌:虚拟机内的虚拟处理器,图中展示了vcpu0vcpuN,代表多个虚拟CPU。
  2. Hardware Emulation (QEMU)‌:

    • QEMU(硬件模拟)‌:QEMU负责模拟硬件,使得虚拟机可以运行在不同于宿主机硬件的环境中。
    • ‌ioTHREAD‌:这是QEMU中的一个线程,负责生成I/O请求并处理这些请求,ioTHREAD代表虚拟机处理输入/输出操作,如读写磁盘数据。
  3. KVM (kvm.ko)‌:

    • KVM模块(kvm.ko)‌:这是Linux内核中的一个模块,用于直接在内核中实现虚拟化功能。KVM本身不实现硬件模拟,而是与QEMU结合使用,通过QEMU进行硬件模拟。
    • File system and block devices(文件系统和块设备)‌ 和 ‌Physical drivers(物理驱动程序)‌:这些组件用于连接KVM模块与实际的硬件,如磁盘。
  4. Hardware(硬件)‌:

    • CPU(中央处理器)‌:物理CPU,被虚拟化为多个虚拟CPU(如cpu0cpuN)供虚拟机使用。
    • Disk(磁盘)‌:物理存储设备,被虚拟机通过文件系统和块设备访问。

KVM与QEMU的交互‌:

  • QEMU通过IOTHREAD生成I/O请求并处理这些请求,这些请求代表虚拟机与硬件的交互。
  • KVM模块(kvm.ko)在Linux内核中运行,管理虚拟机的VCPU,并与QEMU协作,确保虚拟机能够运行并访问硬件资源。
  • 整个系统通过qemu_mutex机制确保在任何时刻只有一个线程可以运行QEMU代码,从而避免竞态条件和数据不一致。
  • 在创建虚拟机时,QEMU会调用KVM提供的接口来创建虚拟机、分配vCPU等。同时,QEMU还负责模拟虚拟机的其他硬件设备,如网卡、串口等‌。
  • 在虚拟机运行过程中,QEMU会发起对vCPU的运行请求,KVM则负责实际运行vCPU,并在需要时与QEMU进行交互,如处理I/O请求等‌。

总结来说,KVM和QEMU的结合提供了一种高效的虚拟化解决方案,KVM负责虚拟CPU的管理和调度,而QEMU则负责硬件模拟和I/O处理,两者紧密协作,使得虚拟机能够在宿主机上高效运行。

综上所述,QEMU和KVM通过特定的接口和机制进行交互,共同实现了虚拟机的创建、运行和I/O虚拟化处理等功能。

二、深入KVM工作流程:

通过下图来解析KVM的工作流程:

通过上图所示QEMU与KVM整体架构图,可以详细了解KVM(Kernel-based Virtual Machine)的工作流程。下面通过举例来说明KVM的工作流程:

  1. 硬件平台与系统总线‌:

    • 图左侧显示了一个模拟平台,包含系统总线、VGA、PCI总线、内存及vCPU等硬件资源。这些资源通过QEMU进行模拟,并在宿主机上实现虚拟化。
  2. KVM API与主循环‌:

    • 宿主机内核中包含了KVM API(/dev/kvm),通过该接口用户空间的QEMU进程可以与内核中的虚拟化模块进行交互。
    • QEMU通过KVM API将虚拟机的指令和操作传递给KVM模块。
  3. 虚拟机入口(VM Entry)‌:

    • 当虚拟机需要执行时,通过VM Entry进入虚拟机环境。此时,虚拟机的vCPU与宿主机上的物理CPU进行交互。
    • 网卡驱动、磁盘驱动和显卡驱动等虚拟机设备驱动通过gCR3表(影子页表)与宿主机资源进行映射和交互。
  4. 虚拟机状态与挂起/恢复‌:

    • VMCS(Virtual Machine Control Structure)保存了虚拟机的状态,包括物理机状态和虚拟机状态。
    • 当虚拟机需要挂起时(例如,保存当前运行状态),其状态信息会被保存到VMCS中。
    • 恢复时,通过检查挂起的信号,如果满足进入Guest模式的条件,则通过handle exit处理退出事件,并重新进入虚拟机执行。
  5. 应用程序与虚拟机‌:

    • 虚拟机中的应用程序1和应用程序2通过vCPU执行,vCPU通过影子页表(gCR3)访问宿主机资源。
    • 虚拟机中的操作通过VCPU与QEMU进行交互,QEMU再通过KVM API将操作传递给KVM模块处理。

示例说明‌:
假设有一个宿主机运行Linux操作系统,并在其上通过KVM和QEMU创建了一个Ubuntu虚拟机。

  1. 启动虚拟机‌:

    • 用户启动QEMU进程,通过KVM API创建和初始化虚拟机的vCPU、内存和I/O设备等资源。
    • QEMU将虚拟机的指令和操作通过KVM API传递给KVM模块,KVM模块将这些操作映射到宿主机的物理CPU和内存上。
  2. 虚拟机运行‌:

    • 虚拟机启动后,其vCPU通过VM Entry进入虚拟机环境,开始执行Ubuntu操作系统。
    • 虚拟机中的应用程序在vCPU上运行,并通过影子页表(也可使用EPT方式)访问宿主机的硬件资源,例如通过网络驱动访问网络,通过磁盘驱动访问存储设备等。
  3. 挂起与恢复‌:

    • 假设虚拟机正在进行一个长时间的计算任务,用户决定暂时挂起虚拟机去处理其他事情。
    • QEMU通过KVM API将虚拟机的当前状态(包括CPU寄存器、内存状态等)保存到VMCS中。
    • 用户事情处理完后,决定恢复虚拟机,QEMU通过KVM API从VMCS中恢复虚拟机状态,并通过handle exit处理恢复逻辑,使虚拟机继续执行之前的任务。

本篇博客主要分析了KVM模块和QEMU的整体架构、以及它们是如何协同工作的,后面会深入内核源码去探究KVM模块的具体实现。

本博客的内容参考了书籍:《QEMU_KVM源码解析与应用》

欢迎大家一起来探讨虚拟化技术,后期我会针对KVM技术进行更深入的分析,并且会结合eBPF技术,分享如何去观测KVM模块,大家可以持续关注专栏《虚拟化技术》。

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

如若内容造成侵权/违法违规/事实不符,请联系多彩编程网进行投诉反馈email:809451989@qq.com,一经查实,立即删除!

相关文章

golang学习笔记——go语言安装及系统环境变量设置

文章目录 go语言安装go envgo getgoproxy测试安装 Go 插件安装 Go 插件依赖工具参考资料用户环境变量和系统环境变量用户环境变量系统环境变量示例设置环境变量的步骤设置用户环境变量设置系统环境变量 验证环境变量总结 2024年最火的5大Go框架1. Gin:高并发接口的“…

3.6c语言

#define _CRT_SECURE_NO_WARNINGS #include <math.h> #include <stdio.h> int main() {int sum 0,i,j;for (j 1; j < 1000; j){sum 0;for (i 1; i < j; i){if (j % i 0){sum i;} }if (sum j){printf("%d是完数\n", j);}}return 0; }#de…

【TI】如何更改 CCS20.1.0 的 WORKSPACE 默认路径

参考链接&#xff1a; 如何更改 CCS Theia 中工作区的默认位置&#xff1f;- Code Composer Studio 论坛 - Code Composer Studio™︎ - TI E2E 支持论坛 --- How to change the default location for the workspace in CCS Theia? - Code Composer Studio forum - Code Comp…

Vue3中动态Ref的魔法:绑定与妙用

前言 在Vue 3的开发过程中,动态绑定Ref是一项非常实用的技术,特别是在处理复杂组件结构和动态数据时。通过动态绑定Ref,我们可以更灵活地访问和操作DOM元素或组件实例,实现更高效的交互和状态管理。本文将详细介绍如何在Vue 3中实现动态Ref的绑定,并通过实例展示其妙用。…

CarPlanner:用于自动驾驶大规模强化学习的一致性自回归轨迹规划

25年2月来自浙大和菜鸟网络的论文“CarPlanner: Consistent Auto-regressive Trajectory Planning for Large-scale Reinforcement Learning in Autonomous Driving”。 轨迹规划对于自动驾驶至关重要&#xff0c;可确保在复杂环境中安全高效地导航。虽然最近基于学习的方法&a…

VS Code连接服务器教程

VS Code是什么 VS Code&#xff08;全称 Visual Studio Code&#xff09;是一款由微软推出的免费、开源、跨平台的代码编辑神器。VS Code 支持 所有主流操作系统&#xff0c;拥有强大的功能和灵活的扩展性。 官网&#xff1a;https://code.visualstudio.com/插件市场&#xff1…

【JavaWeb】Web基础概念

文章目录 1、服务器与客户端2、服务器端应用程序3、请求和响应4、项目的逻辑构成5、架构5.1 概念5.2 发展演变历程单一架构分布式架构 5.3 单一架构技术体系 6、本阶段技术体系 1、服务器与客户端 ①线下的服务器与客户端 ②线上的服务器与客户端 2、服务器端应用程序 我…

安徽省考计算机专业科目2025(持续更新)

目录 第一部分 计算机科学技术基础 第一章 计算机及其应用基础知识 1.1 计算机的特点、分类及其应用 1.2 信息编码与数据表示&#xff1b;数制及其转换方法&#xff1b;算术运算和逻辑运算的过程 第一部分 计算机科学技术基础 第一章 计算机及其应用基础知识 1.1 计算机…

前端知识点---路由模式-实例模式和单例模式(ts)

在 ArkTS&#xff08;Ark UI 框架&#xff09;中&#xff0c;路由实例模式&#xff08;Standard Instance Mode&#xff09;主要用于管理页面跳转。当创建一个新页面时&#xff0c;可以选择标准实例模式&#xff08;Standard Mode&#xff09;或单实例模式&#xff08;Single M…

【leetcode hot 100 73】矩阵置零

解法一&#xff1a;&#xff08;使用两个标记变量&#xff09;用矩阵的第一行和第一列代替方法一中的两个标记数组&#xff08;col、row[ ]&#xff1a;第几列、行出现0&#xff09;&#xff0c;以达到 O(1) 的额外空间。 这样会导致原数组的第一行和第一列被修改&#xff0c;…

【十三】Golang 通道

&#x1f4a2;欢迎来到张胤尘的开源技术站 &#x1f4a5;开源如江河&#xff0c;汇聚众志成。代码似星辰&#xff0c;照亮行征程。开源精神长&#xff0c;传承永不忘。携手共前行&#xff0c;未来更辉煌&#x1f4a5; 文章目录 通道通道声明初始化缓冲机制无缓冲通道代码示例 带…

【JAVA架构师成长之路】【电商系统实战】第12集:秒杀系统性能优化实战(CAN + Nginx + Sentinel)

30分钟课程&#xff1a;秒杀系统性能优化实战&#xff08;CDN Nginx Sentinel&#xff09; 课程目标 掌握静态资源 CDN 加速的配置与优化策略。通过 Nginx 实现负载均衡&#xff0c;提升系统横向扩展能力。使用 Sentinel 实现服务降级&#xff0c;保障核心链路稳定性。 课程…

K8S学习之基础十八:k8s的灰度发布和金丝雀部署

灰度发布 逐步扩大新版本的发布范围&#xff0c;从少量用户逐步扩展到全体用户。 特点是分阶段发布、持续监控、逐步扩展 适合需要逐步验证和降低风险的更新 金丝雀部署 将新版本先部署到一小部分用户或服务器&#xff0c;观察其表现&#xff0c;再决定是否全面推广。 特点&…

毕业项目推荐:基于yolov8/yolo11的苹果叶片病害检测识别系统(python+卷积神经网络)

文章目录 概要一、整体资源介绍技术要点功能展示&#xff1a;功能1 支持单张图片识别功能2 支持遍历文件夹识别功能3 支持识别视频文件功能4 支持摄像头识别功能5 支持结果文件导出&#xff08;xls格式&#xff09;功能6 支持切换检测到的目标查看 二、数据集三、算法介绍1. YO…

redis有哪几种持久化方式

Redis 提供了两种持久化方式&#xff1a;RDB&#xff08;Redis Database&#xff09; 和 AOF&#xff08;Append-Only File&#xff09;。它们各有优缺点&#xff0c;适用于不同的场景。以下是它们的原理、优缺点以及如何选择的建议&#xff1a; 1. RDB&#xff08;Redis Datab…

Unity引擎使用HybridCLR(华佗)热更新

大家好&#xff0c;我是阿赵。   阿赵我做手机游戏已经有十几年时间了。记得刚开始从做页游的公司转到去做手游的公司&#xff0c;在面试的时候很重要的一个点&#xff0c;就是会不会用Lua。使用Lua的原因很简单&#xff0c;就是为了热更新。   热更新游戏内容很重要。如果…

DeepSeek R1-7B 医疗大模型微调实战全流程分析(全码版)

DeepSeek R1-7B 医疗大模型微调实战全流程指南 目录 环境配置与硬件优化医疗数据工程微调策略详解训练监控与评估模型部署与安全持续优化与迭代多模态扩展伦理与合规体系故障排除与调试行业应用案例进阶调优技巧版本管理与迭代法律风险规避成本控制方案文档与知识传承1. 环境配…

大白话html语义化标签优势与应用场景

大白话html语义化标签优势与应用场景 大白话解释 语义化标签就是那些名字能让人一看就大概知道它是用来做什么的标签。以前我们经常用<div>来做各种布局&#xff0c;但是<div>本身没有什么实际的含义&#xff0c;就像一个没有名字的盒子。而语义化标签就像是有名…

软件工程---构件

在软件工程中&#xff0c;构件是一个独立的、可复用的软件单元&#xff0c;它具有明确的功能、接口和行为&#xff0c;并且可以在不同的环境中加以集成和复用。构件的概念是软件架构和组件化开发的核心思想之一&#xff0c;其目的是促进软件系统的模块化、可维护性和可扩展性。…

MES机联网4:文档资料

目录信息 MES机联网1&#xff1a;技术方案MES机联网2&#xff1a;采集网关MES机联网3&#xff1a;管理后台MES机联网4&#xff1a;文档资料 MQ接入文档 1、建立连接 mqtt连接地址: 192.168.0.138 mqtt端口: 1883 mqtt用户名&#xff1a;admin mqtt密码&#xff1a;123456 …