相关论文
保留与系统虚拟化机制直接相关或能解释其演进的论文；代表性标记只用于辅助观察技术脉络。
当前筛选条件下没有已审核论文。
Fault Escaping: Improving Robustness of DPU Enhanced Platform with Mutual Assisted VM Recovery
内容研究 DPU 增强平台中的故障逃逸与主机、DPU 之间相互协助的虚机恢复机制。
点评DPU 接管更多虚拟网络与存储功能后，也形成新的故障域。虚机恢复必须跨越宿主机和 DPU 协同，不能继续假设控制面始终位于同一台通用处理器。
Blowfish: Elastic Virtual Machine Memory for Disaggregated Memory
内容利用客户机侧 THP 感知的冷热跟踪和 Hypervisor 跨层回收路径，把分离式内存用于虚机冷内存的微秒级回收与恢复。
点评它避免频繁改写客户机页表和 I/O 页表，说明内存超分正在从传统气球与换页扩展到客户机语义、Hypervisor 控制和远端内存协同。
Compaction-Free Memory Defragmentation for Virtualization via Infinite Guest Physical Address Space
内容利用近似无限的客户机物理地址空间重新组织 GPA 到 HPA 的映射，在不执行传统内存压缩的情况下为虚机恢复大页友好的连续空间。
点评它把虚拟化带来的地址间接层从开销来源转化为优化自由度：既然 GPA 不等同于实际物理布局，就没有必要完全复用裸机内存碎片整理方式。
DVLA: Dynamic VM Lifetime Aware Scheduling for Drifting Lifetime Distributions and Long-Lived VM Placement Debt
内容结合在线放置与离线迁移校正，动态适配虚机生命周期分布变化，并处理长期虚机分散造成的资源回收债务。
点评它把在线迁移从故障或维护工具变成持续偿还放置债务的调度手段。虚机生命周期预测的价值不只在初次放置，还在后续重整是否值得执行。
Inside Out: A Paradigm Shift in VM Introspection
内容GOODKIT 将监控器放入与 VMM 同驻的轻量虚机，通过细粒度内存一致性和探针机制减少传统虚机自省中的暂停与隔离冲突。
点评虚机自省长期在可见性、性能和信任边界之间取舍。把观察者自身虚机化，使监控能力成为可隔离、可复用的 VMM 邻接服务，是比继续增加宿主特权工具更清晰的方向。
JANUS: Cross-World, Cooperative Nested Virtualization for Secure Containers
内容把嵌套虚拟化中的 CPU 切换留在客户 Hypervisor 内完成，同时把内存翻译交给宿主 Hypervisor，以减少跨层同步和中间页表开销。
点评JANUS 不再把嵌套虚拟化视为完整层级的机械叠加，而是按职责拆分 CPU 与内存虚拟化。它延续了 HyperTurtle 的生产问题意识，但更进一步改变了两层 Hypervisor 的协作边界。
M3U: Scalable Kernel Memory Management for Efficient Post-Copy Live Migration of High-End Virtual Machines
内容针对大规格虚机后拷贝迁移中的锁竞争、缺页处理和直通设备状态问题，重构内核内存管理路径并并行化故障处理。
点评在线迁移的瓶颈已经从脏页带宽扩展到内核锁、缺页流水线和设备状态。M3U 表明大规格 VM 的迁移优化必须同时覆盖 CPU、内存与 I/O，而不是只调一个迁移参数。
Nested SEV: Secure and Generic SEV Support for Nested Virtualization
内容为嵌套虚拟化设计 SEV 上下文虚拟化与直通机制，使 L2 虚机可以运行在受 SEV 保护的 L1 虚机内，并覆盖不同的 L0/L1 信任模型。
点评机密虚机进入嵌套环境后，密钥和上下文的归属不能再由单层 Hypervisor 假设解释。该工作把嵌套虚拟化从性能议题扩展为可明确描述的多层信任模型。
What Are You (M)Waiting For: The Hidden Cost of Idle in the Hyperscale Cloud
内容针对超分云中 mwait 直通让 Hypervisor 无法识别 vCPU 空闲的问题，mwait-sched 通过定时模拟、空闲区间分类和代理机制恢复调度可见性。
点评它揭示了降低 VM Exit 并非总是更优：当直通破坏了宿主机对空闲状态的观察，局部低延迟会转化为全局争用。虚拟化性能优化需要同时计算可观测性和资源调度成本。
You Can Always Get What You Want: CPU Virtualization Made Fast and Free
已录用 · 仅有公开标题，待摘要补充
内容SOSP 2026 官方录用名单中的 CPU 虚拟化论文，研究目标指向 CPU 虚拟化效率。当前来源只提供标题与单位，尚未公开足以说明机制的摘要。
点评它值得作为 CPU 执行开销方向的新线索跟踪，但标题中的 Fast and Free 不能直接理解为零开销。待公开简介后，再核对其架构前提、实现方式及适用负载；当前不判断是否采用 KVM，也不推断性能数字。
Everything You Need to Know About Virtual Machine Live Migration Between Heterogeneous Processors
内容系统研究不同处理器之间进行虚机在线迁移时的兼容条件、状态差异和迁移边界。
点评当数据中心同时存在多代甚至不同体系结构处理器，在线迁移不再只是复制 CPU 状态。该议题把能力协商、指令语义与长期硬件更新纳入迁移设计。
NecoFuzz: Effective Fuzzing of Nested Virtualization via Fuzz-Harness Virtual Machines
内容围绕嵌套虚拟化建立由专用虚机承载的模糊测试执行环境，系统检查多层虚拟化接口和状态组合。
点评嵌套虚拟化从性能优化走向规模部署后，测试空间也随层级与状态交互快速扩大。该议题说明可测试性正在成为嵌套 Hypervisor 设计本身的一部分。
Practical and Efficient x86-64 Emulation on RISC-V
内容研究在 RISC-V 平台上实用、高效地模拟 x86-64 软件栈，处理跨 ISA 执行的兼容性与性能问题。
点评跨 ISA 模拟正在从开发辅助走向异构基础设施的兼容层。对 QEMU 生态而言，这类工作直接关系到动态翻译、系统调用和体系结构语义如何共同优化。
Squeezy: Rapid VM Memory Reclamation for Serverless Functions
内容面向 Serverless 函数使用的虚机，研究快速回收内存以提高资源弹性和部署密度。
点评microVM 普及后，启动速度只是第一步；运行期能否快速释放闲置内存，决定了轻量虚机是否能真正具备函数级资源弹性。
ZOC: Elastic and Cost-Efficient Virtual SmartNIC Architecture for Cloud Physical Machines
内容把直通 NIC 与动态宿主资源组织进专用服务虚机，提供兼容 DPU 使用体验的弹性虚拟 SmartNIC 和跨域设备抽象。
点评ZOC 把服务 VM 作为 I/O 控制与兼容层，显示 SmartNIC 能力不必完全绑定专用硬件。它对 QEMU/KVM 的启示在于设备直通、服务虚机和标准设备接口可以组合成可演进的数据面。
Cylon: Fast and Accurate Full-System Emulation of CXL-SSDs
内容在 FEMU 基础上构建 CXL-SSD 全系统模拟器，通过混合执行路径降低 Hypervisor trap 开销，并校准缓存命中和 NAND 访问延迟。
点评这类工作说明 QEMU/FEMU 式全系统模拟仍是新硬件研究的重要基础设施；评价重点已经不只是能否模拟，而是能否兼顾微秒级时序真实性和接近裸机的运行速度。
How Soon is Now? Preloading Images for Virtual Disks with ThinkAhead
内容根据历史访问轨迹和运行条件预测虚拟磁盘镜像应预取的数据块，降低云盘懒加载后的首次访问长尾。
点评虚机启动优化不能只看进程创建或固件路径，镜像首次访问同样会把延迟推迟到业务启动之后。ThinkAhead 把启动性能问题延伸到了镜像分发和块级访问预测。
RosenBridge: A Framework for Enabling Express I/O Paths Across the Virtualization Boundary
另 1 家单位
Tsinghua University内容设计 virtio-ndp 半虚拟化设备，把近数据处理和 GPU Direct Storage 等高速 I/O 路径安全地跨过客户机—宿主机边界。
点评RosenBridge 没有绕开虚拟化层，而是扩展 virtio 设备模型来承载新型存储计算语义。这说明 virtio/vhost 的演进重点正从通用兼容转向可验证的高速专用路径。
Enjoy the Free Lunch, Someone Paid for Us: Escaping Resource Limits of MicroVM-based Containers
内容研究 MicroVM 容器中实际消耗与宿主资源记账之间的偏差，覆盖内存和存储路径，并在 Kata、Firecracker 等环境中评估绕过资源限制的可能性。
点评硬件隔离并不会自动带来准确的资源归属。对云平台而言，客户机内的文件与内存操作如何映射到宿主记账同样重要；这里讨论的是资源控制边界，不应误写为 Hypervisor 代码执行逃逸。
FABRICKED: Misconfiguring Infinity Fabric to Break AMD SEV-SNP
内容研究软件对 Infinity Fabric 路由的配置如何误导安全处理器初始化，进而破坏 SEV-SNP 的机密性、完整性与证明。
点评与 STALEUS 关注缓存一致性不同，这项研究强调互连路由与系统初始化。两者都提示需要把安全处理器外围的宿主可控路径纳入审计，但不能合并为同一个漏洞或推断相同修复方式。
Jailbreaking the AMD Secure Processor: Enabling Live Analysis of SEV-SNP's Undocumented Security Boundaries
内容提出 ASPBreaker，用于动态分析 AMD 安全处理器中未充分公开的 SEV-SNP 固件边界，并研究旧固件被控制后如何影响后续固件的虚机内存保护与证明。
点评机密虚机的可信基础不仅包括当下运行的 VMM，还涉及固件历史状态和更新路径。该研究适合用于理解固件升级后的安全连续性，不能仅凭摘要判断当前平台版本是否仍受影响。
Khost: KVM-based Near Native MCU Firmware Rehosting
内容通过扩展 CPU、辅助页表和软件中断控制器改造 KVM，用于在高性能平台上重托管 MCU 固件，并提供 MMIO 监测和模糊测试支持。
点评它展示了虚拟化机制在传统云虚机之外的用途：以执行与设备模型的适配换取固件分析效率。论文中的收益针对特定重托管基准，不能泛化为所有 QEMU 模拟场景的性能对比。
STALEUS: Breaking AMD SEV-SNP via Memory Incoherence
内容研究恶意 Hypervisor 对硬件桥接配置的控制，如何使 AMD 平台安全处理器与 x86 缓存失去一致性，并破坏已通过证明的 SEV-SNP 机密虚机的内存保护。
点评这项研究把可信边界延伸到安全处理器与主 CPU 的互连关系：加密与证明并不意味着所有宿主可控路径都已隔离。它适合与其他机密虚机攻击对照阅读，但不能据摘要推断所有 SEV-SNP 部署都受影响。
StackWarp: Breaking AMD SEV-SNP Integrity via Deterministic Stack-Pointer Manipulation through the CPU's Stack Engine
内容利用 AMD Zen 处理器共享栈引擎状态在 SMT 兄弟线程间的同步缺陷，从恶意宿主侧确定性改变 SEV-SNP 客户机栈指针。
点评StackWarp 表明内存加密和受保护寄存器仍不足以封闭机密虚机边界，共享微架构状态可能绕过传统页表与内存威胁模型。调度 SMT 线程本身也必须成为 CVM 安全策略。
SG-IOV: Socket-Granular I/O Virtualization for SmartNIC-Based Container Networks
内容面向 SmartNIC 容器网络，把 I/O 虚拟化粒度细化到 socket，以改善多租户网络路径的隔离和共享效率。
点评它不直接改造 VM 设备模型，但反映 I/O 虚拟化正在从设备与队列继续下沉到应用连接语义，对未来虚机与容器共享 SmartNIC 的接口设计具有参考价值。
Side-Channel Attacks on Open vSwitch
内容分析 Open vSwitch 转发缓存形成的侧信道，展示隐蔽通信、包头信息恢复与远程包速率监测等攻击方式，涉及共享虚拟交换路径上的租户隔离。
点评虚机隔离不只取决于 CPU 和内存；共享软件交换机中的性能优化也可能留下可观察状态。该研究补充网络侧的隔离视角，不是 QEMU/KVM 核心漏洞，也不应直接等同于所有 OVS 配置中的实际风险。
To PRI or Not To PRI, That's the Question
内容VIO 在 virtio 数据面探测 DMA 请求，并根据 I/O 压力在动态虚拟 I/O 与直通模式之间切换，让未普及 PRI 的设备也能兼顾性能和内存超分。
点评它把直通的固定内存代价改成可运行时调节的问题，并通过 VMM 热升级覆盖既有虚机。大规模部署信息使这项工作不只是机制展示，也揭示了云厂商在设备性能与资源回收之间的真实权衡。
Accelerating Nested Virtualization with HyperTurtle
内容通过把嵌套 Hypervisor 关键路径的一部分封装为 eBPF 程序，并放到裸机 Hypervisor 上安全执行，减少多层虚拟化之间的切换。
点评它没有取消嵌套层级，而是针对最昂贵的 world switch 做受控下沉，兼顾外层控制权和内层性能。这比为单一子系统写专用旁路更具有延展性，也直接改善 Kata 容器等实际启动路径。
TDXploit: Novel Techniques for Single-Stepping and Cache Attacks on Intel TDX
内容研究 Intel TDX 单步执行缓解措施中的缺陷，并评估可信域中的缓存侧信道。论文结合受攻击者控制的可信域与共享硬件行为，展示已有防护仍可能被绕过。
点评它说明保护客户机内存不等于消除执行时间与缓存状态泄漏。对机密虚机演进而言，隔离机制和抗侧信道措施需要分别验证；这是 2025 年研究的补录，不能据此判断当前 TDX 软件版本的修复状态。
TETD: Trusted Execution in Trust Domains
内容在 Intel TDX Trust Domain 内建立不依赖客户机系统软件的可信执行区域，并复用 VMM 的资源管理能力隔离内存和 vCPU。
点评机密虚机保护了租户免受宿主侵害，却也削弱了正常运维和可信任务的落脚点。TETD 尝试在不重新信任客户机内核的前提下恢复这类能力，体现 CVM 研究从“保护整机”走向“管理机内信任域”。
KRR: Efficient and Scalable Kernel Record Replay
内容把记录回放边界缩小到客户机内核，并由客户机与宿主机协同记录，以支持多核、I/O 密集型虚机中的故障复现。
点评KRR 说明虚拟化不仅是隔离载体，也能为内核调试提供跨层观测点。相比全虚机回放，缩小边界更适合生产问题，但其正确性依赖客户机与宿主记录协议的完整配合。
Kamino: Efficient VM Allocation at Scale with Latency-Driven Cache-Aware Scheduling
内容面向大规模云控制面的 VM 分配请求，依据分配器缓存状态与预计端到端延迟选择处理节点。
点评这项工作关注的不是 vCPU 调度，而是创建虚机之前的控制面决策延迟。它说明规模化虚拟化的瓶颈已经上移到分配规则、缓存命中和请求调度，属于理解生产系统演进的重要旁证。
Serverless Functions Made Confidential and Efficient with Split Containers
内容将函数执行所需的微内核和库操作系统放入机密虚机，把容器管理留在不可信 Linux 一侧，在 AMD SEV 与 Intel TDX 上实现机密 Serverless。
点评它不让每个函数承担完整 CVM 软件栈，而是按安全职责拆分容器，回应机密计算在启动、密度和可信基规模上的现实代价。其价值在架构分界，不在于把容器简单替换成虚机。
CPS: A Cooperative Para-virtualized Scheduling Framework for Manycore Machines
内容在多核虚机中让客户机与主机调度器交换及时的调度状态，解决客户机看不到物理 CPU 负载和 vCPU 映射所导致的性能问题，原型实现于 Linux KVM。
点评这是典型的半虚拟化取舍：用更明确的 guest-host 协作换取调度可见性。对 KVM 而言，价值不仅是性能数字，还在于如何设计稳定、低耦合且不会泄漏过多主机信息的接口。
Sabre: Hardware-Accelerated Snapshot Compression for Serverless MicroVMs
内容面向 Serverless microVM 的快照恢复，利用近内存硬件加速压缩与解压，并将预取库接入生产级 Firecracker，以减少恢复内存页的开销。
点评它把启动优化从 VMM 软件路径延伸到内存侧加速器，说明 microVM 冷启动的下一步不只是裁剪设备模型，也包括快照格式、预取和硬件解压的协同。对 QEMU 的启示主要在快照恢复链路，而不是直接替代现有迁移机制。
Direct Memory Translation for Virtualized Clouds
内容针对 x86 虚拟化和嵌套虚拟化中多级页表遍历开销，以客户机和主机协作的连续翻译项区域缩短地址翻译路径。
点评DMT 代表了从“优化页表缓存”转向“重新设计地址翻译契约”的方向。收益依赖硬件扩展，短期难直接落入 KVM，但它揭示的多级页表成本会持续影响大内存虚机和嵌套虚拟化。
Veil: A Protected Services Framework for Confidential Virtual Machines
内容利用 AMD SEV-SNP 的虚机特权级，在机密虚机内部建立安全监控层，将关键服务与庞大的客户机内核进一步隔离。
点评机密虚机并没有消除客户机内核攻击面。Veil 把信任边界继续向虚机内部细分，体现了 CVM 从“保护客户机免受主机影响”走向“同时约束客户机内部组件”的趋势。
Managing Memory Tiers with CXL in Virtualized Environments
另 2 家单位
University of Wisconsin–Madison · University of Michigan内容研究虚拟化环境中的 CXL 分层内存，组合硬件管理的数据放置与软件性能隔离，并通过多租户内存分配降低虚机之间的争用。
点评CXL 让容量扩展更容易，却把问题从“有没有内存”转成“谁在承受远端延迟”。论文的重要性在于明确了 Hypervisor 仍需承担租户隔离和性能归因，不能把分层策略完全交给硬件。
VPRI: Efficient I/O Page Fault Handling via Software-Hardware Co-Design for IaaS Clouds
内容面向设备直通与虚机按需分页难以兼容的问题，通过软硬件协同处理 I/O 页错误，减少静态锁定客户机内存带来的资源限制。
点评它瞄准的是 IOMMU、设备直通和虚机内存弹性之间长期存在的冲突。如果类似接口进入通用硬件，VFIO/IOMMUFD 与 QEMU 设备直通路径将获得更细粒度的内存管理空间。
vSoC: Efficient Virtual System-on-Chip on Heterogeneous Hardware
内容针对移动设备模拟器中客户机 SoC 统一内存与主机分离设备内存之间的不匹配，构建统一共享虚拟内存框架，改善高吞吐设备模拟。
点评这项工作提醒我们，设备模拟的主要瓶颈未必是指令执行，而可能是客户机和主机设备内存模型的差异。它与通用 QEMU/KVM 的关系偏方法层，但对 Arm、移动虚拟化和复杂设备模型很有参考价值。
Security and Performance in the Delegated User-level Virtualization
内容将传统内核 Hypervisor 拆分为控制面和虚机运行面，把容易扩大 KVM 攻击面的运行面委托给用户态 DuVisor，并在 RISC-V 上实现小型硬件扩展。
点评DuVisor 不是简单把 KVM 移到用户态，而是重新划分硬件、内核与用户态 VMM 的责任。它对 KVM 社区最有价值的问题是：哪些 VM-exit 路径确实必须进入内核，哪些可以安全地下放。
PVM: Efficient Shadow Paging for Deploying Secure Containers in Cloud-native Environment
内容为云上嵌套部署的安全容器构建面向 KVM 的客户机 Hypervisor，不依赖主机暴露硬件虚拟化能力，并以共享内存和影子页表降低内存虚拟化开销。
点评PVM 的重点不是追求完整的通用嵌套虚拟化，而是针对安全容器缩小接口与能力集合。这类“按场景裁剪的 guest hypervisor”可能比继续堆叠完整虚拟化层更容易控制攻击面。
Siloz: Leveraging DRAM Isolation Domains to Prevent Inter-VM Rowhammer
内容由 Hypervisor 将不同虚机和主机内存分配到独立 DRAM 子阵列组，并保护扩展页表完整性，以阻断跨虚机 Rowhammer。
点评Siloz 把内存物理布局提升为租户安全策略，而不只是 NUMA 与性能优化手段。对 KVM 的现实启示是，未来内存分配器可能需要理解更细的 DRAM 拓扑和安全域。
Maximizing VMs' IO Performance on Overcommitted CPUs with Fairness
内容提出面向 Linux KVM 的 I/O 感知虚机调度器 Anubis，通过观察中断投递和 KVM exit，短时提升活跃 vCPU，同时在虚机之间维持公平性。
点评CPU 超分场景下，I/O 延迟往往来自 vCPU 没有及时获得运行机会，而非设备本身。Anubis 说明 KVM exit 与中断路径可以成为调度信号，但生产实现必须防止租户通过伪造 I/O 活动获取额外 CPU。
ClusterRR: A Record and Replay Framework for Virtual Machine Cluster
内容将确定性记录与回放从单虚机扩展到虚机集群，通过协调协议和网络事件处理维持全局状态一致性，原型实现于 QEMU/KVM。
点评单机回放解决不了分布式故障复现中的事件顺序问题。ClusterRR 的意义在于把虚机执行、网络数据包与集群一致性放进同一条时间线，不过指令级回放的成本仍限制其更适合诊断与安全分析。
Portkey: Hypervisor-Assisted Container Migration in Nested Cloud Environments
内容借助外层 Hypervisor 协调嵌套云中的容器迁移，处理容器状态与内层虚机环境之间的跨层依赖。
点评它把容器迁移放到嵌套虚拟化背景下，说明仅在容器命名空间内复制状态并不足够。Hypervisor 在这里承担跨层协调者，而不是单纯提供隔离。
Adaptive Live Migration of Virtual Machines under Limited Network Bandwidth
内容面向带宽受限和内存持续写脏导致迁移不收敛的问题，根据运行状态动态切换迁移方式并调整参数，方案基于 QEMU。
点评AdaMig 把热迁移从固定参数流程变成反馈控制问题。对 QEMU 来说，这比再增加一组手工参数更有可维护性，但策略是否稳定仍取决于对工作负载突变和网络抖动的判断。
virtio-mem: Paravirtualized Memory Hot(Un)Plug
内容通过 VIRTIO 内存设备实现细粒度、NUMA 感知的虚机内存热插拔，介绍 QEMU/KVM 与 Linux 客户机实现，并与 DIMM 热插拔和 balloon 机制比较。
点评这是研究成果进入上游工程的典型案例。virtio-mem 的价值不只是粒度更小，而是将资源上限、客户机在线内存和主机实际分配之间的关系变得更明确，适合长期弹性伸缩。
TwinVisor: Hardware-isolated Confidential Virtual Machines for ARM
内容利用 Arm TrustZone 将普通虚机与机密虚机置于两个隔离的 Hypervisor 中，并复用普通世界的资源管理能力，以缩小安全世界监控器。
点评TwinVisor 体现了 Arm 机密虚拟化早期的关键思路：保护机制与复杂资源管理解耦。它早于 CCA 成熟生态，对理解后来 Arm CVM 为什么强调更小 TCB 很有帮助。
GiantVM: A Type-II Hypervisor Implementing Many-to-one Virtualization
内容基于 QEMU-KVM 构建分布式 Hypervisor，将多台物理机的 CPU、内存和 I/O 聚合成客户机可见的单一系统映像。
点评它探索的是与常见“一台主机运行多台虚机”相反的多对一虚拟化。方案展示了 Hypervisor 作为资源聚合层的可能性，也暴露出分布式共享内存和内核密集负载的实际瓶颈。
Firecracker: Lightweight Virtualization for Serverless Applications
内容为 Serverless 工作负载设计开源轻量 VMM，在保留硬件虚拟化隔离的同时缩小设备模型和运行开销，并用于 AWS Lambda 与 Fargate。
点评Firecracker 证明了 KVM 之上的 VMM 不必复制完整 PC。它推动了 microVM 成为独立设计类别，也反向促使 QEMU 社区重新审视启动路径、设备最小集和面向云场景的机器类型。
LeapIO: Efficient and Portable Virtual NVMe Storage on ARM SoCs
内容将复杂云存储服务卸载到 Arm 协处理器，并向未修改的客户机虚机提供虚拟 NVMe 存储，目标是在可移植和可虚拟化的前提下降低主机 CPU 存储开销。
点评LeapIO 预示了 DPU/SmartNIC 承担存储虚拟化数据面的方向。对 QEMU/KVM 的关键影响是设备模型和控制面仍需存在，但高频 I/O 路径会越来越多地离开主机通用 CPU。
ACRN: A Big Little Hypervisor for IoT Development
内容面向 IoT 与嵌入式场景设计轻量 Hypervisor，使不同实时性和通用计算需求的工作负载能够共享平台。
点评ACRN 反映虚拟化从服务器走向边缘设备时，目标会从最大整合率转为小可信基、实时性和设备共享。它也说明 x86 虚拟化研究并不只发生在数据中心。
Fast and Live Hypervisor Replacement
内容研究在客户机持续运行时快速替换底层 Hypervisor，以降低修复漏洞和升级基础设施所需的停机。
点评这项工作把 Hypervisor 升级从传统迁移问题中拆出来，形成独立的生命周期操作。它也是后来 VMM 热升级、双 KVM 切换和生产更新编排的重要技术前奏。
NICA: An Infrastructure for Inline Acceleration of Network Applications
内容在 FPGA SmartNIC 上提供可编程内核和细粒度分时虚拟化，并与 KVM 集成，为不同虚机提供可隔离的网络加速。
点评NICA 把设备卸载从宿主公共服务推进到租户可用的加速能力，同时保留共享与性能保证。它预示数据面会离开主机 CPU，但资源仲裁仍是虚拟化层职责。
Protecting Cloud Virtual Machines from Hypervisor and Host Operating System Exploits
内容HypSec 以微内核原则改造 KVM，把复杂宿主功能放在不可信区，只保留负责 CPU、内存访问控制的精简可信核心。
点评这项工作没有另造一个功能受限的 VMM，而是尝试为现有 KVM 收缩可信基。它清楚揭示了功能丰富的宿主内核与客户机机密性之间的结构性矛盾。
TEEv: Virtualizing Trusted Execution Environments on Mobile Platforms
内容在移动平台上虚拟化可信执行环境，使多个客户机或安全服务能够共享底层 TEE 能力。
点评TEEv 提前触及了后来机密计算反复面对的问题：硬件信任机制通常按单一系统设计，而虚拟化层需要安全复用它。关键难点在信任边界与状态管理，不只是设备透传。
MTS: Bringing Multi-Tenancy to Virtual Networking
内容通过拆分虚拟交换机、最小权限运行和完整转发检查，加强多租户虚拟网络的数据面隔离。
点评它指出把所有租户流量放进同一个高权限虚拟交换进程会形成共享故障域。性能优化不能只追求 kernel bypass，还要重新划分每个租户实际共享的可信代码。
Demon: An Efficient Solution for on-Device MMU Virtualization in Mediated Pass-Through
内容面向 mediated pass-through 的设备侧 MMU 虚拟化，减少地址映射与设备访问路径中的软件开销。
点评它处在设备模拟与完整直通之间：既保留虚拟化层的复用控制，又尝试让地址转换更靠近设备。后来 IOMMU、PRI 和可伸缩直通研究延续了同一矛盾。
VM Live Migration At Scale
内容讨论大规模基础设施中同时执行虚机在线迁移时的吞吐、资源竞争与调度问题。
点评单台 VM 的停机时间不是集群迁移的唯一指标；批量迁移会共同消耗网络、CPU 和存储。该议题把迁移研究从算法局部最优推向基础设施容量管理。
gMig: Efficient GPU Live Migration Optimized by Software Dirty Page for Full Virtualization
内容针对全虚拟化 GPU 的在线迁移，以软件方式跟踪脏页，减少设备内存状态传输带来的停顿。
点评GPU 状态比普通内存更难观察和复制。gMig 表明设备迁移不能照搬 CPU/内存预拷贝，需要设备语义、脏页跟踪与 VMM 迁移协议共同设计。
EPTI: Efficient Defence against Meltdown Attack for Unpatched VMs
内容利用两套扩展页表隔离客户机用户态与内核态，为无法及时升级的虚机缓解 Meltdown，并减少客户机页表切换成本。
点评EPTI 利用 Hypervisor 位于客户机之外的控制面补偿旧系统缺陷，是虚拟化层提供兼容性安全修复的典型案例；代价是页表策略和威胁模型进一步复杂化。
The Design and Implementation of Hyperupcalls
内容允许 Hypervisor 安全执行客户机提供并经过验证的代码，以更灵活地读取客户机数据结构和交换语义信息。
点评Hyperupcalls 试图缩小客户机与 Hypervisor 的语义鸿沟，同时避免为每项功能修改固定 ABI。能力更灵活，也意味着验证边界和执行上下文必须非常严格。
NEVE: Nested Virtualization Extensions for ARM
内容围绕 ARM 平台的硬件与软件协作扩展嵌套虚拟化，使客户机 Hypervisor 能更有效地运行自己的虚机。
点评NEVE 与同年的 KVM/ARM 重构共同说明，ARM 虚拟化研究正从基本可用走向多层运行。嵌套能力会直接影响云中 Hypervisor 服务、测试和租户控制面。
Multi-Hypervisor Virtual Machines: Enabling an Ecosystem of Hypervisor-level Services
内容通过嵌套机制让同一未修改客户机同时接受多个相互隔离的 Hypervisor 服务，并在 KVM/QEMU 上实现原型。
点评它把嵌套虚拟化从兼容测试用途扩展为服务组合机制。架构提供灵活性，但多个控制者共同管理内存、vCPU 与 I/O 时的责任边界也更复杂。
Optimizing the Design and Implementation of the Linux ARM Hypervisor
内容重新设计 KVM/ARM 的运行模式，使 Hypervisor 与其宿主内核利用独立 CPU 异常级别，减少内核态状态复用和切换开销。
点评工作直面 ARM 与 x86 虚拟化硬件模型的差异，而不是复制 x86 路径。相关设计进入 Linux 主线，也说明架构特性会决定 KVM 的内核组织方式。
My VM is Lighter (and Safer) than your Container
内容LightVM 通过精简客户机映像并重构 Xen 控制面，使硬件虚机获得毫秒级启动和高实例密度。
点评它改变了“VM 天生笨重”的假设，把主要瓶颈定位到镜像与工具栈，而不是硬件虚拟化本身。后来 microVM 和 Serverless VMM 延续了这条路线。
Building a KVM-based Hypervisor for a Heterogeneous System Architecture Compliant System
内容构建基于 KVM 的 Hypervisor，以适配异构系统架构中 CPU 与加速设备共享资源和执行任务的需求。
点评这项工作较早把 KVM 放入异构计算语境，提示设备内存与执行队列会改变传统 VM 的资源边界。后来 GPU、DPU 和 CXL 虚拟化都继续面对类似跨设备问题。
On Selecting the Right Optimizations for Virtual Machine Migration
内容比较虚机迁移中的多种优化选择，关注不同工作负载和运行条件下如何选择合适组合。
点评它强调迁移没有一套对所有负载都最优的参数。脏页速率、网络带宽和停机目标需要共同决策，这一观点后来发展为自适应迁移和集群级编排。
Performance Implications of Extended Page Tables on Virtualized x86 Processors
内容分析虚拟化 x86 处理器上扩展页表的性能影响，考察两阶段地址翻译对不同工作负载的成本。
点评EPT 解决了影子页表的维护复杂度，却没有消除翻译开销。量化其行为为后来大页、TLB、页表缓存与直接内存翻译优化提供了基线。
Urgent Virtual Machine Eviction with Enlightened Post-Copy
内容面向主机需要快速腾空的场景改进后拷贝迁移，让客户机参与迁移状态处理以缩短源端占用时间。
点评普通迁移追求总体吞吐和短停机，紧急驱逐则首先要求尽快释放源主机。它展示迁移策略必须与维护、故障或资源回收目标绑定。
Hyperprobe: Towards Virtual Machine Extrospection
内容从客户机内部探测底层宿主与 Hypervisor 特征，并依据多年 KVM 补丁形成版本和缺陷识别方法。
点评它把通常由宿主观察客户机的方向反转，揭示 Hypervisor 实现差异会通过可观测行为泄露给租户。这既能用于诊断，也会影响云平台的攻击面判断。
A Comprehensive Implementation and Evaluation of Direct Interrupt Delivery
内容实现并评估虚拟化环境中的直接中断投递，减少设备中断经过 Hypervisor 软件路径所产生的切换与处理成本。
点评虚拟 CPU 执行成本降低后，中断投递成为 I/O 路径的重要瓶颈。直接投递能改善延迟，但也要求硬件、VMM 和客户机共同维护路由与隔离语义。
A Hybrid I/O Virtualization Framework for RDMA-capable Network Interfaces
内容为支持 RDMA 的网卡设计混合 I/O 虚拟化框架，在直接访问性能与受控共享之间寻找平衡。
点评RDMA 绕过内核的优势会放大虚拟化控制路径的成本，也削弱 VMM 的可见性。这项工作代表高速设备开始迫使虚拟化重新划分数据面和控制面。
Supporting High Performance Molecular Dynamics in Virtualized Clusters using IOMMU, SR-IOV, and GPUDirect
内容组合 IOMMU、SR-IOV 与 GPUDirect，为虚拟化集群中的高性能分子动力学工作负载提供接近原生的设备访问路径。
点评它说明虚拟化已不只服务通用云负载，也开始进入对网络和 GPU 路径极敏感的 HPC 场景。性能来自多项硬件能力组合，运维复杂度和可迁移性则成为代价。
Real-time Deep Virtual Machine Introspection and Its Applications
内容面向实时场景深化虚机内省，在客户机外部恢复高层状态，并将其用于监测和分析。
点评隔离让宿主机能观察客户机，却也产生语义鸿沟。实时深度内省试图把底层事件还原为系统状态，成为后来无代理安全监控和虚机诊断的重要方向。
Tesseract: Reconciling Guest I/O and Hypervisor Swapping in a VM
内容协调客户机 I/O 与 Hypervisor 换页，减少两层内存管理相互不可见所造成的冲突和性能损失。
点评客户机与宿主机各自作出看似合理的内存决策，组合后却可能形成重复 I/O。这类跨层反馈问题后来持续出现在 Balloon、内存超分和分层内存中。
Mortar: Filling the Gaps in Data Center Memory
内容面向数据中心内存利用率差异，探索跨虚机和主机调配空闲内存容量的机制。
点评内存超分从单机 Balloon 与去重进一步走向数据中心资源池。它预示后来的远端内存和 CXL 分层：容量可以共享，但访问延迟、故障域与隔离不能被忽略。
Hyper-Switch: A Scalable Software Virtual Switching Architecture
内容在驱动域与 Hypervisor 之间重新划分虚拟交换职责，并通过批处理、预复制和空闲核心卸载提升多虚机网络吞吐。
点评它把虚拟交换明确为宿主机内的数据面问题，而非普通软件交换机的简单复用。后来的 vhost、用户态交换和 SmartNIC 仍在权衡隔离位置与路径长度。
MiG: Efficient Migration of Desktop VMs Using Semantic Compression
内容依据不同内存页的语义选择压缩方式，在不依赖确定性回放的情况下减少桌面虚机迁移流量与时间。
点评通用压缩忽略客户机状态结构，MiG 证明理解页内容可以换取更好的迁移效率。代价是 VMM 需要更多客户机语义，通用性与优化深度形成长期张力。
Optimizing VM Checkpointing for Restore Performance in VMware ESXi
内容按恢复时的访问局部性组织虚机内存检查点，并结合并行处理与按需恢复来减少 ESXi 虚机重新可用的时间。
点评检查点此前多优化保存速度，这项工作把关注点转向恢复体验。这个视角后来延伸到快速克隆、休眠恢复和 Serverless 快照启动。
CompSC: Live Migration with Pass-through Devices
内容处理设备直通虚机的在线迁移，使接近原生的 I/O 性能不必完全放弃工作负载移动能力。
点评直通设备将状态留在硬件和驱动路径，打破传统虚机可整体搬迁的假设。性能与可迁移性的矛盾此后在 SR-IOV、GPU 和 DPU 场景反复出现。
DVM: A Big Virtual Machine for a Data Center
内容把数据中心中的多台虚机组织成更大的统一执行环境，探索跨主机资源聚合与管理。
点评DVM 反映早期云研究试图突破单台服务器边界。虽然现代云更常通过集群调度组合实例，但跨节点内存、加速器和故障处理仍延续类似问题。
SecondSite: Disaster Tolerance as a Service
内容把虚机复制和站点故障切换组织为容灾服务，使工作负载可在远端基础设施恢复。
点评虚机封装为容灾提供了天然状态边界，但跨站点一致性、网络身份和恢复顺序仍需系统处理。它把高可用从单机机制推进到云服务层。
CloudNet: Dynamic Pooling of Cloud Resources by Live WAN Migration of Virtual Machines
内容通过广域网络在线迁移虚机，在不同数据中心之间动态汇聚和调整云资源。
点评跨广域迁移把问题从内存复制扩展到带宽、时延、网络身份和存储位置。它提前触及今天跨地域云调度仍需面对的系统边界。
Fast and Space-Efficient Virtual Machine Checkpointing
内容降低虚机检查点的时间和存储开销，使保存完整运行状态更适合频繁执行。
点评高效检查点是容错、迁移、调试和快速恢复的共同基础。之后不同场景虽采用增量、去重或快照恢复，核心仍是降低状态捕获与回放成本。
ReHype: Enabling VM Survival across Hypervisor Failures
内容在 Hypervisor 发生故障后重启底层控制环境，同时尽量保留客户机运行状态，使虚机不必随 VMM 一同失效。
点评传统虚拟化把 Hypervisor 当作可靠根，ReHype 则正面处理这一本身也会失败的组件。它为 VMM 微重启、分区化和更小可信基奠定了问题框架。
The Turtles Project: Design and Implementation of Nested Virtualization
内容在当时 x86 硬件缺乏完整多层支持的条件下，为 KVM 实现可运行未修改 Hypervisor 与客户机的高性能嵌套虚拟化。
点评Turtles 把嵌套虚拟化从概念推进到可用实现，并揭示多层页表和设备分配是主要成本。云中租户 Hypervisor、测试环境与安全隔离至今仍依赖这条能力。
Virtualize Everything but Time
内容为 Xen 虚机设计统一而稳定的计时架构，重点处理资源共享与在线迁移过程中的时钟准确性和连续性。
点评时间是难以完全封装的共享状态：迁移会改变时钟源和执行节奏，却不能破坏应用所见的连续性。这个问题后来持续影响虚机迁移、分布式系统和低延迟负载。
mClock: Handling Throughput Variability for Hypervisor IO Scheduling
内容为 Hypervisor I/O 调度同时提供比例公平、最低预约和最大上限，以隔离多虚机之间的吞吐波动。
点评CPU 和内存已有较成熟的分配控制时，I/O 仍容易相互干扰。mClock 将服务保证明确带入 Hypervisor 数据面，也启发了后来的分布式存储调度。