@inproceedings{37cb3ced0a1e47ab8fc4b06a2e1f905b,
title = "Efficient Asynchronous Communication between Virtual Machines in Embedded Systems",
abstract = "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.",
keywords = "OKL4, asynchronous communication, bulk data transfer, embedded virtualization, multiple channel",
author = "Rui Wang and Libin Xu and Yuebin Bai and Zhongzhao Wang and Hailong Yang and Lijun Zhang",
note = "Publisher Copyright: {\textcopyright} 2017 IEEE.; 19th IEEE Intl Conference on High Performance Computing and Communications, 15th IEEE Intl Conference on Smart City, and 3rd IEEE Intl Conference on Data Science and Systems, HPCC/SmartCity/DSS 2017 ; Conference date: 18-12-2017 Through 20-12-2017",
year = "2017",
month = jul,
day = "2",
doi = "10.1109/HPCC-SmartCity-DSS.2017.78",
language = "英语",
series = "Proceedings - 2017 IEEE 19th Intl Conference on High Performance Computing and Communications, HPCC 2017, 2017 IEEE 15th Intl Conference on Smart City, SmartCity 2017 and 2017 IEEE 3rd Intl Conference on Data Science and Systems, DSS 2017",
publisher = "Institute of Electrical and Electronics Engineers Inc.",
pages = "603--604",
booktitle = "Proceedings - 2017 IEEE 19th Intl Conference on High Performance Computing and Communications, HPCC 2017, 2017 IEEE 15th Intl Conference on Smart City, SmartCity 2017 and 2017 IEEE 3rd Intl Conference on Data Science and Systems, DSS 2017",
address = "美国",
}