Skip to main content
SpringerLink
Log in

Design eines Virtual Machine Monitors aufbauend auf einem Mikrokern

  • Chapter
Eingebettete Systeme

Part of the book series: Informatik aktuell ((INFORMAT,volume 1))

Zusammenfassung

Der Mikrokern des PikeOS Betriebssystems (BSs) wird für die hardwareunterstütze Virtualisierung erweitert. Dazu wird ein Design erstellt, welches wie der Mikrokern weitestgehend architekturunabhängig ist und minimale Änderungen am bestehenden BS fordert. Der Mikrokern dient bei dem gewählten Ansatz als Hypervisor und es wird ein Virtueller Maschinen Monitor entwickelt. In dieser Arbeit werden die Grundlagen der Betriebssystemvirtualisierung kurz erläutert und bestehende Ansätze analysiert. Der Schwerpunkt liegt auf dem Erarbeiten eines Designs und dessen Implementierung. Abschließend wird die Implementierung getestet und der gewählte Ansatz diskutiert.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 49.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 49.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Literaturverzeichnis

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

    Article  MATH  MathSciNet  Google Scholar 

  2. VMware Inc.: Understanding Full Virtualization, Paravirtualization, and Hardware Assist. White Paper, 2007.

    Google Scholar 

  3. Biemueller S: Hardware-Supported Virtualization for the L4 Microkernel. Diplomarbeit — Universität Karlsruhe, 2006.

    Google Scholar 

  4. Kivity A, et al.: kvm: the Linux Virtual Machine Monitor. In OLS’ 07: The 2007 Ottawa Linux Symposium: 225–230, 2007.

    Google Scholar 

  5. Dong Y, et al.: Extending Xen with Intel Virtualization Technology. Intel Technology Journal 10(3): 193–203, 2006.

    Article  Google Scholar 

  6. Lange J, et al.: Palacios and Kitten: New High Performance Operating Systems for Scalable Virtualized and Native Supercomputing. IPDPS, 2010.

    Google Scholar 

  7. Zhang X, Dong Y: Optimizing Xen VMM Based on Intel®Virtualization Technology. ICICSE ’08: 367–374, 2008.

    Google Scholar 

  8. Stumpf T: Hardware Virtualization Capabilities for PikeOS. Bachelor Thesis-HS Furtwangen, 2010.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. SYSGO AG, Am Pfaffenstein 14, D-55270, Klein-Winternheim, Germany

    Tobias Stumpf

  2. HS Furtwangen, Fakultät Computer and Electrical Engineering, Robert-Gerwig-Platz 1, D-78120, Furtwangen, Germany

    Tobias Stumpf

Authors
  1. Tobias Stumpf
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Fernuniversität in Hagen Lehrstuhl für Informationstechnik, insb. Realzeitsysteme, 58084, Hagen

    Wolfgang A. Halang

  2. Regionales Rechenzentrum der Universität Erlangen-Nürnberg Kommunikationssysteme, Martensstraβe 1, 91058, Erlangen

    Peter Holleczek

Rights and permissions

Reprints and permissions

Copyright information

© 2011 Springer-Verlag Berlin Heidelberg

About this chapter

Cite this chapter

Stumpf, T. (2011). Design eines Virtual Machine Monitors aufbauend auf einem Mikrokern. In: Halang, W.A., Holleczek, P. (eds) Eingebettete Systeme. Informatik aktuell, vol 1. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-16189-6_4

Download citation

Publish with us

Policies and ethics

Search

Navigation