2026-07-22T15:57:15Z https://drops.dagstuhl.de/oai

oai:drops-oai.dagstuhl.de:16323 2024-03-06T10:57:39Z ddc:004 open_access

Unikernel-Based Real-Time Virtualization Under Deferrable Servers: Analysis and Realization Chen, Kuan-Hsun Günzel, Mario Jablkowski, Boguslaw Buschhoff, Markus Chen, Jian-Jia Unikernel Virtualization Reservation Servers Deferrable Servers Cyber-Physical Systems Real-Time Systems For cyber-physical systems, real-time virtualization optimizes the hardware utilization by consolidating multiple systems into the same platform, while satisfying the timing constraints of their real-time tasks. This paper considers virtualization based on unikernels, i.e., single address space kernels usually constructed by using library operating systems. Each unikernel is a guest operating system in the virtualization and hosts a single real-time task. We consider deferrable servers in the virtualization platform to schedule the unikernel-based guest operating systems and analyze the worst-case response time of a sporadic real-time task under such a virtualization architecture. Throughout synthesized tasksets, we empirically show that our analysis outperforms the restated analysis derived from the state-of-the-art, which is based on Real-Time Calculus. Furthermore, we provide insights on implementation-specific issues and offer evidence that the proposed scheduling architecture can be effectively implemented on top of the Xen hypervisor while incurring acceptable overhead. Schloss Dagstuhl – Leibniz-Zentrum für Informatik Kuan-Hsun Chen and Mario Günzel and Boguslaw Jablkowski and Markus Buschhoff and Jian-Jia Chen 2022 Is Part Of LIPIcs, Volume 231, 34th Euromicro Conference on Real-Time Systems (ECRTS 2022) InProceedings Text doc-type:ResearchArticle publishedVersion application/pdf doi:10.4230/LIPIcs.ECRTS.2022.6 urn:nbn:de:0030-drops-163239 https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ECRTS.2022.6 eng https://creativecommons.org/licenses/by/4.0/legalcode