Efficient Asynchronous Communication between Virtual Machines in Embedded Systems
Rui Wang, Libin Xu, Yuebin Bai, Zhongzhao Wang, Hailong Yang, Lijun Zhang · 2017
Embedded virtualization systems become increasingly important in the light of mobile computing era. Current OKL4 technology has overcome some limitations of plain virtualization by introducing microkernel approach but also imposes several concerns including incomplete IPC (Inter-Process Communication). With this in mind, in this paper a novel asynchronous communication mechanism to optimize original OKL4 IPC mechanism is proposed. The mechanism is able to effectively deal with concurrent communication requests between any virtual machines (VMs) by generating multiple event channels and providing a complete management mechanism. Further, a shared-memory-based bulk data transfer mechanism based on asynchronous communication mechanism is proposed to enrich OKL4 primitive data exchange approaches. In the end, the promising experiment results prove the feasibility and effectiveness of the mechanisms.