Abstract
This paper describes a new hypervisor built to run Linux in a virtual machine. This hypervisor is built inside Anaxagoros, a real-time microkernel designed to execute safely hard real-time and non real-time tasks. This allows the execution of hard real-time tasks in parallel with Linux virtual machines without interfering with the execution of the real-time tasks.
We implemented this hypervisor and compared performances with other virtualization techniques. Our hypervisor does not yet provide high performance but gives correct results and we believe the design is solid enough to guarantee solid performances with its future implementation.
- Adeos. http://home.gna.org/adeos.Google Scholar
- L4linux. http://os.inf.tu-dresden.de/L4/LinuxOnL4.Google Scholar
- Mklinux. http://www.mklinux.org.Google Scholar
- M. Accetta, R. Baron, W. Bolosky, D. Golub, R. Rashid, A. Tevanian, and M. Young. Mach: A new kernel foundation for unix development. 1986.Google Scholar
- P. Barham, B. Dragovic, K. Eraser, S. Hand, T. Harris, A. Ho, R. Neugebauer, I. Pratt, and A. Warfield. Xen and the art of virtualization. In Proceedings of the nineteenth ACM symposium on Operating systems principles, SOSP '03. ACM, 2003. Google ScholarDigital Library
- D. R. Engler. The design and implementation of a prototype exokernel operating system. Master's thesis, Massachusetts Institute of Technology, 1995.Google Scholar
- P. Gerum. Xenomai - implementing a rtos emulation framework on gnu/linux. 2004.Google Scholar
- A. Kivity, Y. Kamay, D. Laor, U. Lublin, and A. Liguori. kvm: the Linux virtual machine monitor. In Ottawa Linux Symposium, July 2007.Google Scholar
- M. Lemerre. Intégration de systèmes hétérogènes en termes de niveaux de sécurité. PhD thesis, Université Paris Sud - Paris XI, 10 2009.Google Scholar
- M. Lemerre, V. David, and G. Vidal Naquet. A communication mechanism for resource isolation. In Proceedings of the Second Workshop on Isolation and Integration in Embedded Systems, 2009. Google ScholarDigital Library
- M. Lemerre, V. David, and G. Vidal Naquet. A dependable kernel design for resource isolation and protection. In Proceedings of the First Workshop on Isolation and Integration in Dependable Systems (IIDS'2010), Paris France, 2010. ACM.Google Scholar
- R. Russel. Lguest: Implementing the little linux hypervisor. In Ottawa Linux Symposium, July 2007.Google Scholar
Index Terms
- Paravirtualizing Linux in a real-time hypervisor
Recommendations
Architectural support for hypervisor-secure virtualization
ASPLOS XVII: Proceedings of the seventeenth international conference on Architectural Support for Programming Languages and Operating SystemsVirtualization has become a standard part of many computer systems. A key part of virtualization is the all-powerful hypervisor which manages the physical platform and can access all of its resources, including memory assigned to the guest virtual ...
Fast and live hypervisor replacement
VEE 2019: Proceedings of the 15th ACM SIGPLAN/SIGOPS International Conference on Virtual Execution EnvironmentsHypervisors are increasingly complex and must be often updated for applying security patches, bug fixes, and feature upgrades. However, in a virtualized cloud infrastructure, updates to an operational hypervisor can be highly disruptive. Before being ...
Virtual Machine Migration Method between Different Hypervisor Implementations and Its Evaluation
WAINA '12: Proceedings of the 2012 26th International Conference on Advanced Information Networking and Applications WorkshopsVirtualization technologies are an important building block for cloud services. Each service will run on virtual machines (VMs) deployed over different hyper visors in the future. Therefore, a VM migration method between different hyper visor ...
Comments