Basics of virtual machine migration on heterogeneous architectures for self-optimizing mechatronic systems

The combination of virtualization and heterogeneous multi-processor architectures supports the development of efficient platforms for self-optimizing mechatronic systems, which are characterized by varying resource requirements. Virtualization addresses dependability issues and adds runtime flexibility to provide an appropriate resource management. Real-time requirements have to be met and existing real-time virtualization solutions are characterized by a static mapping of virtual machines to processors and do not use the full potential of heterogeneous architectures. The sketched architecture applies migration and emulation to realize a dynamic assignment of virtual machines to processors. This work identifies the necessary conditions for migration and the degree of communication between hypervisor and operating system that is indispensable for migration decisions. System virtualization is an approach of coarse-grained system consolidation, for which reason implementation issues and possibilities to reduce the high overhead are discussed. The implementation of a real-time capable virtual machine migration requires paravirtualization, that is to say a modification of the guest operating systems. The need to modify the guest operating system is outweighed by the advantages in terms of flexibility of an explicit communication and the resulting cooperation of hypervisor and guest operating system.

[1]  Jürgen Gausemeier,et al.  An Approach for Achieving Self-Optimization in Mechatronic Systems Supported by Active Patterns , 2008, 2008 Eighth International Conference on Intelligent Systems Design and Applications.

[2]  Gernot Heiser,et al.  The role of virtualization in embedded systems , 2008, IIES '08.

[3]  Norman C. Hutchinson,et al.  Heterogeneous process migration: the Tui system , 1998 .

[4]  J. Bocker,et al.  System Architecture and Risk Management for Autonomous Railway Convoys , 2008, 2008 2nd Annual IEEE Systems Conference.

[5]  Guy L. Steele,et al.  The Java Language Specification , 1996 .

[6]  Holger Giese,et al.  Structured Information Processing for Self-Optimizing Mechatronic Systems , 2004, ICINCO.

[7]  Markus Oertel,et al.  Design of a real-time optimized emulation method , 2010, 2010 Design, Automation & Test in Europe Conference & Exhibition (DATE 2010).

[8]  A. Trachtler,et al.  Self-optimization of an active suspension system regarding energy requirements , 2008, 2008 International Conference on Control, Automation and Systems.

[9]  Timo Kerstan,et al.  Proteus, a Hybrid Virtualization Platform for Embedded Systems , 2009, IESS.

[10]  Jeff Magee,et al.  Plan-directed architectural change for autonomous systems , 2007, SAVCBS '07.

[11]  Norman P. Jouppi,et al.  Heterogeneous chip multiprocessors , 2005, Computer.

[12]  Ning Li,et al.  A Light-Weighted Virtualization Layer for Multicore Processor-Based Rich Functional Embedded Systems , 2012, 2012 IEEE 15th International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing.

[13]  J. Gausemeier,et al.  Securing the reliability of tomorrow's systems with Self-Optimization , 2012, 2012 Proceedings Annual Reliability and Maintainability Symposium.

[14]  Simon Oberthür,et al.  Flexible Resource Management for Self-X Systems: An Evaluation , 2010, 2010 13th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing Workshops.

[15]  Giorgio Buttazzo,et al.  Hard Real-Time Computing Systems: Predictable Scheduling Algorithms and Applications , 1997 .

[16]  Jonathan M. Smith,et al.  Process migration: effects on scientific computation , 1988, SIGP.

[17]  Bjarne Steensgaard,et al.  Object and native code thread mobility among heterogeneous computers , 1995, SOSP.

[18]  Andrew Warfield,et al.  Live migration of virtual machines , 2005, NSDI.

[19]  James E. Smith,et al.  Virtual machines - versatile platforms for systems and processes , 2005 .

[20]  Chung Laung Liu,et al.  Scheduling Algorithms for Multiprogramming in a Hard-Real-Time Environment , 1989, JACM.

[21]  Nancy G. Leveson,et al.  Safeware: System Safety and Computers , 1995 .

[22]  R. Nigel Horspool,et al.  An Approach to the Problem of Detranslation of Computer Programs , 1980, Comput. J..

[23]  Benjamin Klöpper,et al.  Probabilistic Planning for Predictive Condition Monitoring and Adaptation Within the Self-Optimizing Energy Management of an Autonomous Railway Vehicle , 2012, J. Robotics Mechatronics.

[24]  Benjamin Klöpper,et al.  Planning with Utility and State Trajectory Constraints in Self-Healing Automotive Systems , 2010, 2010 Fourth IEEE International Conference on Self-Adaptive and Self-Organizing Systems.

[25]  Fabio Checconi,et al.  Real-Time Issues in Live Migration of Virtual Machines , 2009, Euro-Par Workshops.

[26]  Eric Jul,et al.  Self-migration of operating systems , 2004, EW 11.

[27]  Beng-Hong Lim,et al.  Fast Transparent Migration for Virtual Machines , 2005, USENIX Annual Technical Conference, General Track.

[28]  Dean Neumann,et al.  IntelŴVirtualization Technology in Embedded and Communications Infrastructure Applications , 2006 .