2. 虚拟化基础
在进入 Jailhouse 的工程实践之前，必须先把虚拟化技术的基本坐标系建立起来。Jailhouse 并不是一个通用的“全能虚拟机管理器”，它选择了一条非常明确的路线：基于硬件的静态分区虚拟化。理解这条路线，需要先回答三个问题：虚拟化按什么维度分类？Type-1 与 Type-2 Hypervisor 的本质差别在哪里？静态分区与动态分区在资源分配、隔离性和适用场景上有什么不同？
一、虚拟化技术的分类维度
虚拟化并不是单一技术，而是一组围绕“资源抽象与隔离”构建的方法集合。工程上通常从四个维度来划分：
- 按抽象层次：硬件级虚拟化（CPU、内存、设备）、操作系统级虚拟化（容器）、语言级虚拟化（JVM）、库级虚拟化（Wine）。
- 按 Hypervisor 位置：Type-1（裸金属）与 Type-2（宿主型）。
- 按资源分配方式：静态分区与动态分区。
- 按虚拟化实现手段：全虚拟化、半虚拟化、硬件辅助虚拟化。
Jailhouse 的定位可以精确描述为：Type-1 裸金属、硬件辅助、静态分区的虚拟化方案。它不提供 CPU 时间片调度，也不做内存超分，而是把物理资源“切块”后直接交给各个分区（Cell）独占使用。
二、Type-1 与 Type-2 Hypervisor 的本质差别
Type-1 Hypervisor 直接运行在裸金属上，位于硬件与客户机之间，自身就是最底层的资源管理者。Type-2 Hypervisor 则运行在通用操作系统之上，依赖宿主 OS 提供驱动、调度和内存管理。两者的差别不只是“位置”，而是资源控制权归属不同。
| 对比项 | Type-1（裸金属） | Type-2（宿主型） |
|---|---|---|
| 运行位置 | 直接运行在硬件上 | 运行在宿主 OS 之上 |
| 代表实现 | Jailhouse、Xen、KVM（内核态） | VirtualBox、VMware Workstation、QEMU（用户态） |
| 资源开销 | 低，接近原生 | 较高，受宿主 OS 影响 |
| 实时性 | 可做到确定性延迟 | 受宿主调度影响，抖动大 |
| 典型场景 | 工业控制、车载、嵌入式实时系统 | 开发测试、桌面虚拟化、教学演示 |
需要特别澄清一个常见误区：KVM 常被误认为 Type-2。实际上 KVM 是 Linux 内核模块，它把 Linux 内核变成了 Hypervisor 的一部分，因此更准确的分类是“内核态 Type-1 混合形态”。而 Jailhouse 更纯粹：它作为内核模块加载后，会把 Linux 从“管理者”降级为“一个普通分区”，自己接管硬件分区控制权。
三、静态分区与动态分区的区别
静态分区与动态分区的核心差异在于资源是否在运行期被重新分配。
- 静态分区：在系统启动或配置阶段，把 CPU 核、内存区域、中断、外设等资源一次性划分给各个分区，运行期不再改变。分区之间物理隔离，互不感知。
- 动态分区：Hypervisor 在运行期通过调度器在多个虚拟机之间共享 CPU 时间片，内存可超分、可热迁移，资源按需分配。
静态分区的优势是确定性：每个分区的执行时间、内存访问、中断响应都可预测，适合硬实时场景。代价是资源利用率低，无法灵活伸缩。动态分区则相反，灵活但引入调度抖动，难以保证微秒级实时性。
关键结论：Jailhouse 选择静态分区，不是能力不足，而是面向“实时性与隔离性优先”的工程取舍。它用资源利用率的牺牲，换取确定性和强隔离。
四、Jailhouse 静态分区的资源划分示意
下图展示了 Jailhouse 在裸金属上把物理资源切分为多个 Cell 的结构关系。每个 Cell 独占自己的 CPU 核与内存区域，Root Cell（Linux）负责管理，Inmate Cell 运行裸机或实时任务。
五、典型场景与选型建议
理解分类之后，选型就变成了一道匹配题。以下场景适合静态分区：
- 工业实时控制：PLC、运动控制需要微秒级确定性响应，不能被其他分区抢占。
- 车载域控制器：仪表、ADAS、娱乐系统需要强隔离，一个分区崩溃不能影响其他分区。
- 安全关键系统：医疗设备、航空电子，要求可认证的隔离边界。
而以下场景更适合动态分区：
- 云计算多租户，需要弹性伸缩和超分。
- 开发测试环境，需要快速创建、销毁、迁移虚拟机。
- 桌面虚拟化，资源需求波动大，追求利用率。
工程提示：Jailhouse 的配置通过 cell config 文件描述，每个 Cell 的 CPU、内存、中断都在其中静态声明。修改配置后需要重新加载 Hypervisor 才能生效，这正是“静态”的直接体现。
六、常见误区与复盘
在实际工程中，初学者容易陷入三个误区：
- 把 Jailhouse 当 KVM 用：试图在运行期动态调整分区资源，结果发现根本不支持。Jailhouse 的设计哲学是“配置即契约”。
- 忽视 Root Cell 的职责：Root Cell 不只是“第一个分区”，它还负责创建和管理其他 Cell，配置错误会导致整个系统无法启动。
- 认为静态分区等于性能差：静态分区牺牲的是灵活性，不是性能。相反，由于没有调度开销和缓存污染，单分区性能往往更接近原生。
# Jailhouse 典型加载流程（静态分区）
modprobe jailhouse
jailhouse enable /path/to/root-cell-config.cell
jailhouse cell create /path/to/inmate-a.cell
jailhouse cell load inmate-a /path/to/image.bin
jailhouse cell start inmate-a
# 运行期无法动态调整 CPU/内存分配复盘来看，虚拟化技术的选择从来不是“哪个更先进”，而是“哪个更匹配约束”。Jailhouse 用静态分区换来了确定性、强隔离和可认证性，这正是嵌入式实时与安全关键领域最看重的三件事。理解这一点，后续学习 Jailhouse 的配置、Cell 管理和设备分配时，就不会再被“为什么不能动态调整”这类问题困扰。