Location via proxy:   [ UP ]  
[Report a bug]   [Manage cookies]                
skip to main content
research-article

Paravirtualizing Linux in a real-time hypervisor

Published: 01 June 2012 Publication History

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.

References

[1]
Adeos. http://home.gna.org/adeos.
[2]
L4linux. http://os.inf.tu-dresden.de/L4/LinuxOnL4.
[3]
Mklinux. http://www.mklinux.org.
[4]
M. Accetta, R. Baron, W. Bolosky, D. Golub, R. Rashid, A. Tevanian, and M. Young. Mach: A new kernel foundation for unix development. 1986.
[5]
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.
[6]
D. R. Engler. The design and implementation of a prototype exokernel operating system. Master's thesis, Massachusetts Institute of Technology, 1995.
[7]
P. Gerum. Xenomai - implementing a rtos emulation framework on gnu/linux. 2004.
[8]
A. Kivity, Y. Kamay, D. Laor, U. Lublin, and A. Liguori. kvm: the Linux virtual machine monitor. In Ottawa Linux Symposium, July 2007.
[9]
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.
[10]
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.
[11]
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.
[12]
R. Russel. Lguest: Implementing the little linux hypervisor. In Ottawa Linux Symposium, July 2007.

Cited By

View all
  • (2016)Virtualizing Mixed-Criticality Operating Systems2016 VI Brazilian Symposium on Computing Systems Engineering (SBESC)10.1109/SBESC.2016.020(79-85)Online publication date: Nov-2016
  • (2013)A Dedicated Micro-Kernel to Combine Real-Time and Stream Applications on Embedded ManycoresProcedia Computer Science10.1016/j.procs.2013.05.33118(1634-1643)Online publication date: 2013

Recommendations

Comments

Information & Contributors

Information

Published In

cover image ACM SIGBED Review
ACM SIGBED Review  Volume 9, Issue 2
2nd Workshop on Embed With Linux (EWiLi 2012)
June 2012
41 pages
EISSN:1551-3688
DOI:10.1145/2318836
Issue’s Table of Contents

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 01 June 2012
Published in SIGBED Volume 9, Issue 2

Check for updates

Author Tags

  1. Linux
  2. hard real-time system
  3. hypervisor
  4. microkernel
  5. real-time
  6. virtualization

Qualifiers

  • Research-article

Contributors

Other Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

  • Downloads (Last 12 months)2
  • Downloads (Last 6 weeks)0
Reflects downloads up to 11 Feb 2025

Other Metrics

Citations

Cited By

View all
  • (2016)Virtualizing Mixed-Criticality Operating Systems2016 VI Brazilian Symposium on Computing Systems Engineering (SBESC)10.1109/SBESC.2016.020(79-85)Online publication date: Nov-2016
  • (2013)A Dedicated Micro-Kernel to Combine Real-Time and Stream Applications on Embedded ManycoresProcedia Computer Science10.1016/j.procs.2013.05.33118(1634-1643)Online publication date: 2013

View Options

Login options

View options

PDF

View or Download as a PDF file.

PDF

eReader

View online with eReader.

eReader

Figures

Tables

Media

Share

Share

Share this Publication link

Share on social media