EMLDC: An Efficient Method of Long Data Communication for the L4 Microkernel-Based Virtual Machines

Abstract:

Microkernel-based virtualization is one of several popular virtualization technologies aiming for embedded devices and efficient communication between virtual machines should be provided as other virtualization solutions. Long data communication is one of main two communication methods. This paper proposes EMLDC: an efficient method of long data communication based on shared memory in the L4 Microkernel-based virtualization environments. Especially EMLDC adopting lock-free mechanism can reduce performance loss and priority inversion in the real-time virtual machines against traditional blocking algorithm. Benchmark programs have been conducted to demonstrate that EMLDC can support long data communication efficiently.

• Periodical: Advanced Materials Research (Volumes 734-737)
• Pages: 2953-2958
• DOI: https://doi.org/10.4028/www.scientific.net/AMR.734-737.2953
• Online since: August 2013
• Authors: Guang Hui Cheng, Lian Li
• Keywords: Communication, L4 Microkernel, Long Data, Virtual Machine

References

[1] R. J. Creasy. The origin of the VM/370 time-sharing system,. IBM Journal of Research & Development. Sep, (1981).

[2] G. Popek and R. Goldberg. Formal requirements for virtualizable third generation architectures,. Commun. ACM, 17(7): 412–421, (1974).

DOI: 10.1145/361011.361073

[3] VMware. URL: www. vmware. com.

[4] Paul Barham, Boris Dragovic, Keir Fraser, Steven H, Tim Harris, Alex Ho, Rolf Neugebauer, Ian Pratt, Andrew Warfield. Xen and the art of virtualization,. In the Proceedings of Symposium on Operating Systems Principles (SOSP03).

DOI: 10.1145/945445.945462

[5] Rui Zhou, Qingguo Zhou, Yong Sheng, Kuan-Ching Li. XtratuM/PPC: a hypervisor for partitioned system on PowerPC processors,. The Journal of Supercomputing, February 2013, Volume 63, Issue 2, pp.593-610.

DOI: 10.1007/s11227-012-0833-3

[6] VMCI Interface. http: /pubs. vmware. com/vmci-sdk.

[7] Xiaolan Zhang, Suzanne McIntosh, Pankaj Rohatgi, John Linwood Griffin. XenSocket: a high-throughput interdomain transport for virtual machines. Middleware '07 Proceedings of the ACM/IFIP/USENIX 2007 International Conference on Middleware.

DOI: 10.1007/978-3-540-76778-7_10

[8] Shuwei Bai, Yiqiao Pu, Kairui She, et al．XM-FIFO: Interdomain Communication for XtratuM．The 9th Real Time Linux Workshop 2007, November 2 - 4, 2007, Linz, Austria.

[9] Pu Yiqiao, Bai Shuwei, She Kairui, Zhou Qingguo, Nicholas MCGuire. Shared Memory in XtratuM/PaRTiKle. The 9th Real Time Linux Workshop 2007, November 2 - 4, 2007, Linz, Austria.

[10] Peter Druschel and Larry L. Peterson. Fbufs: A highbandwidth cross-domain transfer facility. In 14th ACM Symposium on Operating System Principles (SOSP) , Asheville, NC, December (1993).

DOI: 10.1145/168619.168634

[11] Frank W. Miller, Pete Keleher, and Satish K. Tripathi. General data streaming. In 19th IEEE Real-Time Systems Sysmposium (RTSS), Madrid, Spain, December (1998).

DOI: 10.1109/real.1998.739749

[12] Vivek S. Pai, Peter Druschel, and Willy Zwanenpoel. IO-Lite: A unified I/O buffering and caching system. ACM Transactions on Computer Systems, 18(1): 37–66, February (2000).

DOI: 10.1145/332799.332895

[13] Michael Hohmuth and Hermann Hartig: Pragmatic nonblocking synchronization for real-time systems. Proceedings of USENIX Annual Technical 2001, June 2001, Boston, MA, USA , June (2001).

[14] J. Loeser, H. Härtig, L. Reuther. TU A Streaming Interface for Real-Time Interprocess Communication. Dresden technical report TUD-FI01-09, Dresden, Germany , August (2001).

[15] J. Loeser, H. Härtig, L. Reuther: Position Summary: A Streaming Interface for Real-Time Interprocess Communication. Proceedings of the 8th Workshop on Hot Topics in Operating Systems (HotOS-VIII), Schloss Elmau, Bavaria, Germany , May (2001).

DOI: 10.1109/hotos.2001.990090

[16] Michale Roitzsch, Hermann Hartig. Ten Years of Research on L4-Based Real-Time Systems. Proceedings of the Eighth Real-Time Linux Workshop, Lanzhou, China, (2006).

[17] H. Hartig, M. Hohmuth, J. Liedtke, S. Schonberg, and J. Wolter: The performance of μ-kernel-based systems. In Proceedings of the 16th ACM Symposium on Operating System Principles (SOSP). (1997).

DOI: 10.1145/268998.266660

[18] Adam Lackorzynski. L4Linux on L4Env. Study thesis. Technical University Dresden, Germany. http: /os. inf. tu-dresden. de/papers ps/adam-beleg. pdf.

[19] Adam Lackorzynski : L4Linux Porting Optimizations Diploma thesis / Chair for Operating Systems. Technical University Dresden. (2004).

[20] L4Env. http: /os. inf. tu-dresden. de/drops/overview. html.

[21] Herlihy and Maurice: Wait-free synchronization. ACM Trans. Program. Retrieved 2007-05-20.

[22] Intel Itanium Architecture Software Developer's Manual Volume 3: Instruction Set Reference.