嵌入式hypervisor异步事件机制的研究与实现
首发时间:2015-12-23
摘要:OKL4是一款面向嵌入式环境的hypervisor,它基于L4微内核进行开发,采用安全单元机制隔离上层的客户操作系统。嵌入式虚拟化技术强调运行于hypervisor 之上的各子系统之间的相互协作,对实时性和可靠性有较高要求,因此需要高性能的域间通信机制。OKL4主要采用较为底层的同步IPC机制,在多通道共存等方面存在很大局限性,因此本文提出了一种高效的异步通信机制,通过管理和维护多通道实现安全单元之间的并发通信。最后通过实验验证了本文工作的可行性和性能优势。
关键词: 嵌入式虚拟化 OKL4 进程间通信 异步通信 多通道
For information in English, please click here
The Research and Implementation of Asynchronous Event Mechanism on Embedded Hypervisor
Abstract:OKL4 is an embedded hypervisor developed by Open Kernel Lab targeted for mobile phones. It is based on L4 microkernel and leakages the idea of security cell to provide isolated environments for guest OSes. Embedded virtualization stresses the coordination of all subsystems and reliability of the whole system, which requires highly-efficient inter-process communication. Given the fact that OKL4 uses primitive synchronous IPC mechanism and has exposed such limitations as multiple channels coexistence, synchronized block ,etc, a complete asynchronous event mechanism is proposed and concurrent communication between VMs is achieved by managing and maintaining multiple event channels. In the end, the experiment results verify the feasibility and efficiency of this work.
Keywords: Embedded Virtualization OKL4 Inter-Process Communication Asynchronous Communication multiple channel
基金:
论文图表:
引用
No.4668075111913014****
同行评议
共计0人参与
勘误表
嵌入式hypervisor异步事件机制的研究与实现
评论
全部评论