Abstract
With the development of hardware virtualization technology, more and more embedded hypervisors are being implemented. Traditional embedded hypervisors focus on resource utilization and real-time performance while neglecting the reliability requirements of embedded applications. In this paper, we implement two fault-tolerant mechanisms for an embedded hypervisor, which makes hypervisor more reliable without significant downtime. We apply VM migration to provide a runtime fault-tolerance mechanism to further enhance hypervisor reliability. To guarantee the regular operation of critical tasks during fault recovery, this paper implements a hypervisor live-update mechanism to complete fault recovery while avoiding migration network delays. Test results show that these mechanisms combine reliability and operational efficiency to meet the needs of embedded applications.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
References
Jetson TX2 Module: NVIDIA Developer. developer.nvidia.com/embedded/jetson-tx2
Abeni, L., Faggioli, D.: Using Xen and KVM as real-time hypervisors. J. Syst. Archit. 106, 101709 (2020)
Altahat, M.A., Agarwal, A., Goel, N., Kozlowski, J.: Dynamic hybrid-copy live virtual machine migration: analysis and comparison. Procedia Comput. Sci. 171, 1459–1468 (2020)
Bagdi, H., Kugve, R., Gopalan, K.: HyperFresh: live refresh of hypervisors using nested virtualization. In: Proceedings of the 8th Asia-Pacific Workshop on Systems, pp. 1–8 (2017)
Bellard, F.: QEMU, a fast and portable dynamic translator. In: USENIX Annual Technical Conference. FREENIX Track, California, USA, vol. 41, pp. 10–5555 (2005)
Brasser, F.F., Bucicoiu, M., Sadeghi, A.R.: Swap and play: live updating hypervisors and its application to Xen. In: Proceedings of the 6th Edition of the ACM Workshop on Cloud Computing Security, pp. 33–44 (2014)
Cerqueira, F., Brandenburg, B.: A comparison of scheduling latency in Linux. PREEMPT-RT, and LITMUS-RT, July 2013
Cutler, C.: The benefits and costs of writing a POSIX Kernel in a high-level language. Ph.D. thesis, Massachusetts Institute of Technology (2019)
Dall, C., Nieh, J.: KVM/ARM: the design and implementation of the Linux ARM hypervisor. ACM SIGPLAN Not. 49(4), 333–348 (2014)
Groesbrink, S.: Virtual machine migration as a fault tolerance technique for embedded real-time systems. In: 2014 IEEE Eighth International Conference on Software Security and Reliability-Companion, pp. 7–12. IEEE (2014)
Heiser, G.: The role of virtualization in embedded systems. In: Proceedings of the 1st Workshop on Isolation and Integration in Embedded Systems, pp. 11–16 (2008)
Hines, M.R., Deshpande, U., Gopalan, K.: Post-copy live migration of virtual machines. ACM SIGOPS Oper. Syst. Rev. 43(3), 14–26 (2009)
Hwang, J.Y., et al.: Xen on ARM: system virtualization using Xen hypervisor for ARM-based secure mobile phones. In: 2008 5th IEEE Consumer Communications and Networking Conference, pp. 257–261. IEEE (2008)
Li, H., Xu, X., Ren, J., Dong, Y.: ACRN: a big little hypervisor for IoT development. In: Proceedings of the 15th ACM SIGPLAN/SIGOPS International Conference on Virtual Execution Environments, pp. 31–44 (2019)
Martins, J., Tavares, A., Solieri, M., Bertogna, M., Pinto, S.: Bao: a lightweight static partitioning hypervisor for modern multi-core embedded systems. In: Workshop on Next Generation Real-Time Embedded Systems (NG-RES 2020). Schloss Dagstuhl-Leibniz-Zentrum fuer Informatik (2020)
Narayanan, V., Xie, Y.: Reliability concerns in embedded system designs. Computer 39(1), 118–120 (2006)
Pan, W., Zhang, Y., Yu, M., Jing, J.: Improving virtualization security by splitting hypervisor into smaller components. In: Cuppens-Boulahia, N., Cuppens, F., Garcia-Alfaro, J. (eds.) DBSec 2012. LNCS, vol. 7371, pp. 298–313. Springer, Heidelberg (2012). https://doi.org/10.1007/978-3-642-31540-4_23
Ramsauer, R., Kiszka, J., Lohmann, D., Mauerer, W.: Look mum, no VM exits! (Almost). arXiv preprint arXiv:1705.06932 (2017)
Sinitsyn, V.: Jailhouse. Linux J. 2015(252), 2 (2015)
Tkachov, V., Hunko, M., Volotka, V.: Scenarios for implementation of nested virtualization technology in task of improving cloud firewall fault tolerance. In: 2019 IEEE International Scientific-Practical Conference Problems of Infocommunications, Science and Technology (PIC S &T), pp. 759–763. IEEE (2019)
Xu, Z., Liu, H., Liu, Y.: Fault tolerance technique based on state real-time synchronization. In: 2021 IEEE International Conference on Data Science and Computer Application (ICDSCA), pp. 61–65. IEEE (2021)
Acknowledgment
This work was partially supported by National Natural Science Foundation of China (No. 62077002) and Huawei Innovation Research Plan.
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2022 The Author(s), under exclusive license to Springer Nature Switzerland AG
About this paper
Cite this paper
Li, S., Wang, L., Hu, K., Mo, C., Jiang, B. (2022). VM Migration and Live-Update for Reliable Embedded Hypervisor. In: Dong, W., Talpin, JP. (eds) Dependable Software Engineering. Theories, Tools, and Applications. SETTA 2022. Lecture Notes in Computer Science, vol 13649. Springer, Cham. https://doi.org/10.1007/978-3-031-21213-0_4
Download citation
DOI: https://doi.org/10.1007/978-3-031-21213-0_4
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-031-21212-3
Online ISBN: 978-3-031-21213-0
eBook Packages: Computer ScienceComputer Science (R0)