Static Partitioning Made Simple
summary
Describes a dom0-less Xen mode that boots multiple VMs in parallel from the hypervisor, loading kernels and initrds via an extended device tree so static partitions get dedicated CPUs, memory and assigned hardware without a privileged dom0. Claim: boot times drop to <1 second for simple static partitions; measured worst-case IRQ latency around 3.7 microseconds and targets <5 µs with cache isolation. Implementation is upstream (parallel boot in Xen 4.12, device-assignment close to 4.13), but PV front/backends and live VM management are not yet available.
AI-written summary · about
chapters (29)
- 0:00Introduction
- 0:15What is Static Partitioning
- 2:20Mixed Criticality
- 8:01Microkernel
- 13:04Solution
- 16:08Implementation
- 16:59Device Tree
- 18:03Device Assignment
- 20:41System Configuration
- 22:08Pros and Cons
- 23:31What is not implemented
- 24:03To do list
- 25:07Demos
- 25:20Simple Configuration
- 26:46Slow Demo
- 27:29Demo
- 28:09Live Demo
- 28:36Latency Test
- 29:01TLS
- 29:16IP Address
- 29:30Private Network
- 30:12Boot
- 30:44Logging in
- 31:10Ping the host
- 32:01Testing
- 32:25Silly Test
- 32:40Parameterize
- 34:14Parallel Reboot
- 35:42RQ Latency
related talks
50mStatic Partitioning and VM-to-VM Communication Mechanisms
40mDom0less and Deterministic: Building Safer Automotive Systems With Xen
41mSecuring Your Xen-Based Cloud
29mSecure and Dynamic Hardware Partitioning Management on Heterogeneous SoC
39mThe Hypervisor Hierarchy: Why Architecture Matters for Performance, Security, and Flexibility
29mPerformance Optimization on Xen-based Android Device
33mZephyr‑Based VIRTIO Backend on Xen: Toward Open Source Functional Safety
56mPartitioning ARM Systems with the Jailhouse Hypervisor