本书由资深虚拟化专家撰写,辅以大量验证式案例,提供参考源码。本书从解读虚拟化技术、Hypervisor产品入手,之后深入剖析嵌入式Hypervisor的架构、设计与实现、高级应用。阅读本书,不仅能提升读者对嵌入式Hypervisor的认知,还能助力汽车、航空航天等高安全需求行业打造适用的产品,构建基于Hypervisor的软件生态。
全书共15章,从逻辑上分为三部分。第一部分(第1~2章)介绍Hypervisor基础,涵盖虚拟化技术与实现、主流的嵌入式Hypervisor产品,以及基于分离内核的嵌入式Hypervisor等内容。第二部分(第3~12章)介绍嵌入式Hypervisor的设计与实现,涵盖嵌入式Hypervisor架构与核心组件、中断隔离技术、内存隔离技术、循环表调度器、健康监控、分区间通信技术、内核资源管理模型、系统初始化过程、内核服务、PRTOS的配套工具等内容。第三部分(第13~15章)介绍嵌入式Hypervisor的高级应用和PRTOS未来规划,涵盖μC/OS-II与Linux内核的虚拟化过程以及PRTOS社区的愿景等内容。