Skip to main content
Erschienen in: The Journal of Supercomputing 2/2013

01.02.2013

XtratuM/PPC: a hypervisor for partitioned system on PowerPC processors

verfasst von: Rui Zhou, Qingguo Zhou, Yong Sheng, Kuan-Ching Li

Erschienen in: The Journal of Supercomputing | Ausgabe 2/2013

Einloggen

Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.

search-config
loading …

Abstract

High-performance processors give opportunities and challenges for development of real-time and embedded applications. New advances in hardware introduce new questions as alternatives to enable multiple applications to share a single processor and memory, so that the high-performance hardware that contains millions of transistors can be fully utilized, as also the way to keep system dependable and stable by making applications stay in spatial and temporal isolation inside same system. It is introduced in this paper XtratuM, a real-time hypervisor designed and implemented based on the concept of a partitioned system, by enabling partitions to execute simultaneously in spatial and temporal isolation without interfering with each other, but sharing the same hardware. Still in this paper, we provide a brief introduction on partitioned systems and its significance, also presenting the prototype implementation of XtratuM on PowerPC architecture including essential parts: hypercalls, timer, interrupt, and memory management implementations. Benchmark applications have been carried out to illustrate that the model implemented by XtratuM is suitable to offer the capability of spatial and temporal isolation under real-time requirements.

Sie haben noch keine Lizenz? Dann Informieren Sie sich jetzt über unsere Produkte:

Springer Professional "Wirtschaft"

Online-Abonnement

Mit Springer Professional "Wirtschaft" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 340 Zeitschriften

aus folgenden Fachgebieten:

  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Versicherung + Risiko




Jetzt Wissensvorsprung sichern!

Springer Professional "Technik"

Online-Abonnement

Mit Springer Professional "Technik" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 390 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Maschinenbau + Werkstoffe




 

Jetzt Wissensvorsprung sichern!

Springer Professional "Wirtschaft+Technik"

Online-Abonnement

Mit Springer Professional "Wirtschaft+Technik" erhalten Sie Zugriff auf:

  • über 102.000 Bücher
  • über 537 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Maschinenbau + Werkstoffe
  • Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

Literatur
1.
Zurück zum Zitat Kim D (2001) Strongly partitioned system architecture for integration of real-time applications. Dissertation, University of Florida Kim D (2001) Strongly partitioned system architecture for integration of real-time applications. Dissertation, University of Florida
2.
Zurück zum Zitat Tokar JL (2003) Space & time partitioning with ARINC 653 and pragma profile. In: IRTAW’03: Proceedings of the 12th international workshop on Real-time Ada. ACM, New York. ISSN:1094-3641 Tokar JL (2003) Space & time partitioning with ARINC 653 and pragma profile. In: IRTAW’03: Proceedings of the 12th international workshop on Real-time Ada. ACM, New York. ISSN:1094-3641
3.
Zurück zum Zitat Rushby J (1981) Design and verification of secure systems. In: The 8th ACM symposium on operating system principles, Pacific Grove, California, 14–16 December 1981. ACM Operating systems review, vol 15, no 5, pp 12–21 Rushby J (1981) Design and verification of secure systems. In: The 8th ACM symposium on operating system principles, Pacific Grove, California, 14–16 December 1981. ACM Operating systems review, vol 15, no 5, pp 12–21
4.
Zurück zum Zitat Vanfleet MW, Luke JA et al (2005) MILS: architecture for high-assurance embedded computing. J Def Softw Eng 18(8):12–16 Vanfleet MW, Luke JA et al (2005) MILS: architecture for high-assurance embedded computing. J Def Softw Eng 18(8):12–16
5.
Zurück zum Zitat Scott Harrison W, Hanebutte N et al (2005) The MILS architecture for a secure global information grid. J Def Softw Eng 18(10):20–24 Scott Harrison W, Hanebutte N et al (2005) The MILS architecture for a secure global information grid. J Def Softw Eng 18(10):20–24
7.
Zurück zum Zitat Delange J, Pautet L et al (2009) Validating safety and security requirements for partitioned architectures. Lecture notes in computer science, vol 5570. Springer, Berlin, pp 30–43. ISBN 978-3-642-01923-4 CrossRef Delange J, Pautet L et al (2009) Validating safety and security requirements for partitioned architectures. Lecture notes in computer science, vol 5570. Springer, Berlin, pp 30–43. ISBN 978-3-642-01923-4 CrossRef
9.
Zurück zum Zitat Masmano M, Peiró S et al (2012) IO virtualisation in a partitioned system. In: Proceeding of the 6th embedded real time software and systems congress (ERTS2 2012), Toulouse, France, February 2012 Masmano M, Peiró S et al (2012) IO virtualisation in a partitioned system. In: Proceeding of the 6th embedded real time software and systems congress (ERTS2 2012), Toulouse, France, February 2012
10.
Zurück zum Zitat Behmann F (2009) Virtualization for embedded power architecture CPUs. Electronics Products September 2009 Issue, pp 32–33 Behmann F (2009) Virtualization for embedded power architecture CPUs. Electronics Products September 2009 Issue, pp 32–33
11.
Zurück zum Zitat Fuchsen R (2008) Virtualization concepts for safety-critical systems. Boards & Solutions— Eur Embed Comput Mag April:36–37 Fuchsen R (2008) Virtualization concepts for safety-critical systems. Boards & Solutions— Eur Embed Comput Mag April:36–37
12.
Zurück zum Zitat VMware Inc (2006) White Paper—Virtualization Overview VMware Inc (2006) White Paper—Virtualization Overview
13.
Zurück zum Zitat Santos S, Rufino J, Schoofs T, Tatibana C, Windsor J (2008) A portable ARINC 653 standard interface. In: Proceeding of the IEEE/AIAA 27th digital avionics systems conference (DASC08), St. Paul, Minnesota, USA, October 2008 Santos S, Rufino J, Schoofs T, Tatibana C, Windsor J (2008) A portable ARINC 653 standard interface. In: Proceeding of the IEEE/AIAA 27th digital avionics systems conference (DASC08), St. Paul, Minnesota, USA, October 2008
14.
Zurück zum Zitat Masmano M, Ripoll I, Crespo A et al (2009) XtratuM: a hypervisor for safety critical embedded systems. In: Proceeding of the eleventh real-time Linux workshop, Dresden, German, pp 263–272 Masmano M, Ripoll I, Crespo A et al (2009) XtratuM: a hypervisor for safety critical embedded systems. In: Proceeding of the eleventh real-time Linux workshop, Dresden, German, pp 263–272
16.
Zurück zum Zitat Rui Z, Baojun W, Siro A, McGuire N, Qingguo Z (2007) XtratuM for PowerPC. In: The 9th real-time Linux workshop, Linz, Austria Rui Z, Baojun W, Siro A, McGuire N, Qingguo Z (2007) XtratuM for PowerPC. In: The 9th real-time Linux workshop, Linz, Austria
18.
Zurück zum Zitat da Silva Pascoal EMC (2008) AMOBA–ARINC653 simulator for modular space based applications. Dissertation, Universidade de Lisboa da Silva Pascoal EMC (2008) AMOBA–ARINC653 simulator for modular space based applications. Dissertation, Universidade de Lisboa
19.
Zurück zum Zitat Baumann C, Bormer T (2009) Verifying the PikeOS microkernel: first results in the verisoft XT avionics project. In: Huuck R, Klein G, Schlich B (eds) Doctoral symposium on systems software verification (DS SSV’09), Department of Computer Science, RWTH Aachen, June 2009, number AIB-2009-14 in Aachener Informatik Berichte, pp 20–22. Baumann C, Bormer T (2009) Verifying the PikeOS microkernel: first results in the verisoft XT avionics project. In: Huuck R, Klein G, Schlich B (eds) Doctoral symposium on systems software verification (DS SSV’09), Department of Computer Science, RWTH Aachen, June 2009, number AIB-2009-14 in Aachener Informatik Berichte, pp 20–22.
20.
Zurück zum Zitat Baumann C, Beckert B et al (2009) Formal verification of a microkernel used in dependable software systems. In: Buth B, Rabe G, Seyfarth T (eds) Computer safety, reliability, and security (SAFECOMP 2009). Lecture notes in computer science, vol 5775. Springer, Hamburg, pp 187–200 CrossRef Baumann C, Beckert B et al (2009) Formal verification of a microkernel used in dependable software systems. In: Buth B, Rabe G, Seyfarth T (eds) Computer safety, reliability, and security (SAFECOMP 2009). Lecture notes in computer science, vol 5775. Springer, Hamburg, pp 187–200 CrossRef
22.
Zurück zum Zitat Applied Micro Circuits Corporation (2006) PPC440 Processor user’s manual, revision 1.04, April 21, 2006 Applied Micro Circuits Corporation (2006) PPC440 Processor user’s manual, revision 1.04, April 21, 2006
27.
Zurück zum Zitat Masmano M, Ripoll I, Crespo A et al (2005) Framework for real-time embedded systems based on COntRacts: nanokernels for multidomain support Industrial Informatics and Real-Time Systems Group, Universidad Politécnica de Valencia Masmano M, Ripoll I, Crespo A et al (2005) Framework for real-time embedded systems based on COntRacts: nanokernels for multidomain support Industrial Informatics and Real-Time Systems Group, Universidad Politécnica de Valencia
28.
Zurück zum Zitat Masmano M, Ripoll I, Crespo A (2005) An overview of the XtratuM nanokernel. In: Workshop on operating systems platforms for embedded real-time applications, Universidad Politécnica de Valencia, Spain Masmano M, Ripoll I, Crespo A (2005) An overview of the XtratuM nanokernel. In: Workshop on operating systems platforms for embedded real-time applications, Universidad Politécnica de Valencia, Spain
29.
Zurück zum Zitat Salzberg Rodriguez C, Fischer G, Smolski S (2005) The Linux kernel primer: a top-down approach for X86 and PowerPC architectures. Prentice Hall, New York. ISBN: 0-13-118163-7 Salzberg Rodriguez C, Fischer G, Smolski S (2005) The Linux kernel primer: a top-down approach for X86 and PowerPC architectures. Prentice Hall, New York. ISBN: 0-13-118163-7
30.
Zurück zum Zitat Bovet DP, Cesati M (2005) Understanding Linux kernel, 3rd edn, O’Reilly. ISBN: 0-596-00565-2 Bovet DP, Cesati M (2005) Understanding Linux kernel, 3rd edn, O’Reilly. ISBN: 0-596-00565-2
31.
Zurück zum Zitat Buttazzo GC (2005) Rate-monotonic vs. EDF: judgement day. Real-Time Syst 29(1):5–26 MATHCrossRef Buttazzo GC (2005) Rate-monotonic vs. EDF: judgement day. Real-Time Syst 29(1):5–26 MATHCrossRef
32.
Zurück zum Zitat Chang H-C, Li K-C, Lin Y-L, Yang C-T, Wang H-H, Lee L-T (2005) Performance issues of grid computing based on different architecture cluster computing platforms. In: AINA’2005, pp 321–324 Chang H-C, Li K-C, Lin Y-L, Yang C-T, Wang H-H, Lee L-T (2005) Performance issues of grid computing based on different architecture cluster computing platforms. In: AINA’2005, pp 321–324
33.
Zurück zum Zitat Li K-C, Weng T-H (2009) Performance-based parallel application toolkit for high-performance clusters. J Supercomput 48(1):43–65 MATHCrossRef Li K-C, Weng T-H (2009) Performance-based parallel application toolkit for high-performance clusters. J Supercomput 48(1):43–65 MATHCrossRef
Metadaten
Titel
XtratuM/PPC: a hypervisor for partitioned system on PowerPC processors
verfasst von
Rui Zhou
Qingguo Zhou
Yong Sheng
Kuan-Ching Li
Publikationsdatum
01.02.2013
Verlag
Springer US
Erschienen in
The Journal of Supercomputing / Ausgabe 2/2013
Print ISSN: 0920-8542
Elektronische ISSN: 1573-0484
DOI
https://doi.org/10.1007/s11227-012-0833-3

Weitere Artikel der Ausgabe 2/2013

The Journal of Supercomputing 2/2013 Zur Ausgabe

Premium Partner