学术会议

2026

迁移、内存、I/O 与可信边界形成成组的虚拟化议题

截至 2026 年 9 月 5 日，已收录研究同时关注运行效率与隔离边界：OSDI、FAST 的议题从 vCPU 空闲、嵌套运行和弹性内存，延伸到大虚机后拷贝迁移与高速 I/O；EuroSys 补充异构处理器迁移与虚拟化测试。Security 的研究把可信边界从微架构共享状态延伸到互连配置、固件更新、MicroVM 资源记账与虚拟交换缓存；Khost 则展示 KVM 在固件重托管中的机制复用。SOSP 录用名单出现新的 CPU 虚拟化论文，目前只有标题，尚不能据此评价机制和收益。2026 年仍在补充，以上是已公开内容中的阶段性观察。

• JANUS: Cross-World, Cooperative Nested Virtualization for Secure ContainersOSDI
• M3U: Scalable Kernel Memory Management for Efficient Post-Copy Live Migration of High-End Virtual MachinesOSDI
• RosenBridge: A Framework for Enabling Express I/O Paths Across the Virtualization BoundaryFAST

2025

嵌套虚拟化提速，设备直通与机密计算转向可运营

这一年的代表议题不再只证明机制可行，而是减少多层切换、让直通设备保留内存弹性，并把更新、调度和可信执行纳入云端运行约束。HyperTurtle 与 VIO 分别从执行路径和 I/O 路径降低虚拟化成本，TETD、CoFunc 则继续缩小机密工作负载的可信边界。补录的 TDXploit 提醒我们：可信域的内存隔离与共享硬件上的侧信道防护是不同问题，已有缓解措施仍需持续验证。

• Accelerating Nested Virtualization with HyperTurtleUSENIX ATC
• To PRI or Not To PRI, That's the QuestionOSDI
• TETD: Trusted Execution in Trust DomainsUSENIX Security

2024

内存层次、启动快照与机密服务走向协同设计

研究把恢复路径延伸到硬件压缩，把内存分层延伸到 CXL，也继续优化地址翻译、页故障与机密虚机服务。重点从单个 Hypervisor 算法转向贯穿硬件、VMM 和客户机的端到端路径。

• Sabre: Hardware-Accelerated Snapshot Compression for Serverless MicroVMsOSDI
• Managing Memory Tiers with CXL in Virtualized EnvironmentsOSDI
• Veil: A Protected Services Framework for Confidential Virtual MachinesASPLOS

2023

VMM 解耦与客户机内存隔离成为共同问题

DuVisor 尝试委托用户态虚拟化，PVM 与 Siloz 分别处理页表和 DRAM 层面的隔离；研究同时关注过量分配环境中的 I/O 公平，说明性能和安全边界必须一起衡量。

• Security and Performance in the Delegated User-level VirtualizationOSDI
• PVM: Efficient Shadow Paging for Deploying Secure Containers in Cloud-native EnvironmentSOSP
• Siloz: Leveraging DRAM Isolation Domains to Prevent Inter-VM RowhammerSOSP

2022

迁移与回放从单机扩展到嵌套环境和虚机集群

Portkey 借助 Hypervisor 迁移嵌套环境中的容器，ClusterRR 将记录回放扩展到虚机集群。关注点从单台 VM 的状态搬运，转向跨层依赖和分布式执行的一致性。

• Portkey: Hypervisor-Assisted Container Migration in Nested Cloud EnvironmentsVEE
• ClusterRR: A Record and Replay Framework for Virtual Machine ClusterVEE

2021

内存弹性、受限网络迁移与 ARM 机密虚机并进

virtio-mem 让内存容量更细粒度地伸缩，迁移研究开始显式适配带宽限制；TwinVisor 则显示 ARM 平台上的机密虚机已成为 Hypervisor 架构问题，而不只是硬件特性。

• virtio-mem: Paravirtualized Memory Hot(Un)PlugVEE
• Adaptive Live Migration of Virtual Machines under Limited Network BandwidthVEE
• TwinVisor: Hardware-isolated Confidential Virtual Machines for ARMSOSP

2020

microVM 将启动速度、密度和隔离重新放到同一张表上

Firecracker 使轻量硬件虚拟化成为 Serverless 的实际基础，GiantVM 探索多客户机到单 VMM 的组织方式，LeapIO 则把 ARM 平台的虚拟 NVMe 路径作为性能重点。

• Firecracker: Lightweight Virtualization for Serverless ApplicationsNSDI
• LeapIO: Efficient and Portable Virtual NVMe Storage on ARM SoCsASPLOS

2019

Hypervisor 可替换性与虚拟 I/O 隔离受到关注

Fast and Live Hypervisor Replacement 把不中断更新明确为独立机制；NICA 与 MTS 分别处理 SmartNIC 共享和虚拟交换隔离，ACRN 则反映虚拟化向嵌入式与 IoT 场景扩展。

• Fast and Live Hypervisor ReplacementVEE
• NICA: An Infrastructure for Inline Acceleration of Network ApplicationsUSENIX ATC
• ACRN: A Big Little Hypervisor for IoT DevelopmentVEE

2018

迁移、设备虚拟化与页表安全进入细粒度优化

VEE 的工作集中到 GPU 在线迁移、规模化 VM 迁移与 MMU 虚拟化；ATC 则通过 Hyperupcalls 和 EPTI 探索客户机—Hypervisor 协作与页表隔离，机制优化开始直接回应安全漏洞。

• gMig: Efficient GPU Live Migration Optimized by Software Dirty Page for Full VirtualizationVEE
• VM Live Migration At ScaleVEE
• EPTI: Efficient Defence against Meltdown Attack for Unpatched VMsUSENIX ATC

2017

ARM 与嵌套虚拟化重构，轻量 VM 正面比较容器

KVM/ARM 的运行模式被重新设计，NEVE 推进 ARM 嵌套虚拟化；与此同时 LightVM 把启动速度和密度提升到可与容器比较的范围，多 Hypervisor 架构则探索在一个客户机下组合服务。

• Optimizing the Design and Implementation of the Linux ARM HypervisorUSENIX ATC
• My VM is Lighter (and Safer) than your ContainerSOSP
• NEVE: Nested Virtualization Extensions for ARMSOSP

2016

地址翻译、迁移选择与 KVM 平台适配是主要矛盾

这一阶段的研究仍紧贴 Hypervisor 基本机制：量化 EPT 的性能影响、选择合适的迁移优化，并把 KVM 适配到异构系统架构。Hyperprobe 也表明客户机可从可观察行为反推 KVM 版本与缺陷。

• Building a KVM-based Hypervisor for a Heterogeneous System Architecture Compliant SystemVEE
• Performance Implications of Extended Page Tables on Virtualized x86 ProcessorsVEE
• On Selecting the Right Optimizations for Virtual Machine MigrationVEE

2015

高速设备共享把虚拟 I/O 推向软硬件协同

直接中断投递、RDMA 混合虚拟化和面向高性能集群的 IOMMU、SR-IOV、GPUDirect 组合，说明虚拟化性能瓶颈正从 CPU 执行转向设备数据面。直通虽然减少 VMM 介入，却同时带来共享、隔离与可迁移性的长期权衡。

• A Comprehensive Implementation and Evaluation of Direct Interrupt DeliveryVEE
• A Hybrid I/O Virtualization Framework for RDMA-capable Network InterfacesVEE
• Supporting High Performance Molecular Dynamics in Virtualized Clusters using IOMMU, SR-IOV, and GPUDirectVEE

2014

内存治理与虚机内省开始服务生产诊断

研究一端尝试实时理解客户机内部状态，另一端继续改进宿主机换页、内存分配和跨 VM 去重。虚拟化平台不再只负责隔离执行，也开始承担诊断和数据中心级内存治理。

• Real-time Deep Virtual Machine Introspection and Its ApplicationsVEE
• Tesseract: Reconciling Guest I/O and Hypervisor Swapping in a VMVEE
• Mortar: Filling the Gaps in Data Center MemoryVEE

2013

恢复、交换与迁移围绕虚机生命周期形成专门路径

Halite 优化检查点恢复，Hyper-Switch 缩短虚拟网络路径，MiG 用语义压缩减少桌面虚机迁移流量。同一年度的三项工作显示，虚机生命周期已经需要分别优化存储布局、网络数据面和状态传输。

• Optimizing VM Checkpointing for Restore Performance in VMware ESXiUSENIX ATC
• Hyper-Switch: A Scalable Software Virtual Switching ArchitectureUSENIX ATC
• MiG: Efficient Migration of Desktop VMs Using Semantic CompressionUSENIX ATC

2012

虚机开始被作为数据中心规模的可靠性单元

研究从单台虚机扩展到数据中心级 VM 管理、高可用和异地容灾，同时尝试让带直通设备的虚机仍可迁移。虚拟化由服务器整合工具逐渐变成云平台的故障与调度边界。

• DVM: A Big Virtual Machine for a Data CenterVEE
• SecondSite: Disaster Tolerance as a ServiceVEE
• CompSC: Live Migration with Pass-through DevicesVEE

2011

存活、检查点与广域迁移补齐云虚机连续性

ReHype 关注 Hypervisor 故障后的虚机存活，检查点研究压缩保存时间与空间，CloudNet 则把在线迁移推进到广域数据中心。可靠性、状态保存和位置移动开始被视为一套连续能力。

• ReHype: Enabling VM Survival across Hypervisor FailuresVEE
• Fast and Space-Efficient Virtual Machine CheckpointingVEE
• CloudNet: Dynamic Pooling of Cloud Resources by Live WAN Migration of Virtual MachinesVEE

2010

嵌套运行、I/O 公平与时间一致性构成早期基础

Turtles 在缺少完整硬件支持时实现高性能 x86 嵌套虚拟化，mClock 为多租户 I/O 建立预约、上限与公平控制，虚机时间研究则处理迁移后的时钟连续性。这些问题至今仍是云虚拟化的基础约束。

• The Turtles Project: Design and Implementation of Nested VirtualizationOSDI
• mClock: Handling Throughput Variability for Hypervisor IO SchedulingOSDI
• Virtualize Everything but TimeOSDI