基于半虚拟技术的嵌入式分区系统设计与实现

摘要

To meet the requirement of high security and reliability of embedded system, a design of partition system based on para-virtualization is proposed. In RTEMS real-time operating system, virtual machine monitor is realized using para-virtualiza-tion technology, it provides virtual environment for PLINUX. Through address mapping mechanism of CPU and partition scheduling, the partition is separated in space and time, which effectively prevents partition's error propagation and improves the system's fault tolerance. System reliability and scheduling are measured, test results are given, which show that partition system preserves the real-time feature of RTEMS, while improving its reliability.%针对嵌入式系统的高可靠性和高安全性要求,设计了基于半虚拟技术的分区系统.在RTEMS实时操作系统中,使用半虚拟技术实现虚拟机监视器,给分区操作系统PLINUX创造虚拟环境.通过地址映射机制和分区调度,把分区系统在空间和时间上隔离开,可有效阻止分区的错误传播,提高系统的容错能力.时系统可靠性、调度效率等方面进行试验和分析,实验结果表明,该分区系统的可靠性明显提高,而且继承了RTEMS的实时性和设计的简洁性.