Minimizing downtime in seamless migrations of mobile applications

ABSTRACT

Application migration is a key enabling technology component of mobile computing that allows rich semantics involving location awareness, trust and timeliness of information processing by moving the application where the data is. Seamlessness is one of the key properties of mobile computing and downtime must be eliminated/minimized during the migration to achieve seamlessness. But migration involves large overheads, dominant of which are the overheads due to serialization and de-serialization [1]. To achieve seamless migration, an application state could be pre-serialized during the program's execution, and upon migration, the serialized data could be transmitted and de-serialized to get the execution started. Previous approach to this problem [1] removed dead state but still suffered from large migration overheads due to serialization on-demand that could lead to an unacceptable downtime.In this work, we develop a static compiler analysis plus runtime assisted framework to decrease the migration overhead to almost zero while minimizing the degradation in the program's performance. We achieve such a goal by deciding which data to be pre-serialized through analysis, and pre-serializing the state in the program. A safe state is kept that would allow immediate migration upon the arrival of an interrupt while minimizing frequent pre-serialization. When the migration interrupt comes in, the serialized data can be transmitted directly to the destination machine. This allows an application to resume its execution at the destination machine with almost no interruption (only a small amount of non-serialized data needs to be serialized during migration). The optimization serializes the data in such a way that a maximal number of functions can execute without interruption after migration. Our experiments with multimedia applications show that the migration latency is significantly reduced leading to a small downtime. Thus, the contribution of the paper is to provide an efficient methodology to perform seamless migration while limiting the overhead.

REFERENCES

• 1: Kun Zhang , Santosh Pande, Efficient application migration under compiler guidance, Proceedings of the 2005 ACM SIGPLAN/SIGBED conference on Languages, compilers, and tools for embedded systems, June 15-17, 2005, Chicago, Illinois, USA
• 2: Christopher Clark, Keir Fraser, Steven Hand, Jacob Gorm Hansen, Eric Jul, Christian Limpach, Ian Pratt, and Andrew Warfield. Live Migration of Virtual Machines. In Proceedings of USENIX NSDI. 2005
• 3: Marjan Hericko , Matjaz B. Juric , Ivan Rozman , Simon Beloglavec , Ales Zivkovic, Object serialization analysis and comparison in Java and .NET, ACM SIGPLAN Notices, v.38 n.8, August 2003 [doi>10.1145/944579.944589]
• 4: Bryan Carpenter , Geoffrey Fox , Sung Hoon Ko , Sang Lim, Object serialization for marshalling data in a Java interface to MPI, Proceedings of the ACM 1999 conference on Java Grande, p.66-71, June 12-14, 1999, San Francisco, California, United States [doi>10.1145/304065.304099]
• 5: Roger Riggs, Jim Waldo, Ann Wollrath, and Krishna Bharat. Pickling State in the Javatm System. In Proceedings of the USENIX 1996 conference on Object-Oriented Technologies. 1996.
• 6: Mattia Monga , Angelo Scotto, A generic serializer for mobile devices, Proceedings of the 2005 ACM symposium on Applied computing, March 13-17, 2005, Santa Fe, New Mexico [doi>10.1145/1066677.1066904]
• 7: Andy Olsen, Matjaz B. Juric, Adil Rehan, and Eric Lippert. VB .NET Serialization Handbook. Wrox Press Ltd. 2002.
• 8: Dejan S. Milojičić , Fred Douglis , Yves Paindaveine , Richard Wheeler , Songnian Zhou, Process migration, ACM Computing Surveys (CSUR), v.32 n.3, p.241-299, Sept. 2000 [doi>10.1145/367701.367728]
• 9: Ramon Lawrence. A survey of process migration mechanisms. Technical report, University of Iowa. 1998.
• 10: http://www.freewebs.com/compactFormatter/
• 11: http://www.simplescalar.com/
• 12: Fabian Breg , Constantine D. Polychronopoulos, Java virtual machine support for object serialization, Proceedings of the 2001 joint ACM-ISCOPE conference on Java Grande, p.173-180, June 2001, Palo Alto, California, United States [doi>10.1145/376656.376846]
• 13: Subhash C. Agrawal , Jeffrey P. Buzen, The aggregate server method for analyzing serialization delays in computer systems, ACM Transactions on Computer Systems (TOCS), v.1 n.2, p.116-143, May 1983 [doi>10.1145/357360.357364]
• 14: David Cheriton, The V distributed system, Communications of the ACM, v.31 n.3, p.314-333, March 1988 [doi>10.1145/42392.42400]
• 15: Chanik Park , Junghee Lim , Kiwon Kwon , Jaejin Lee , Sang Lyul Min, Compiler-assisted demand paging for embedded systems with flash memory, Proceedings of the 4th ACM international conference on Embedded software, September 27-29, 2004, Pisa, Italy [doi>10.1145/1017753.1017775]
• 16: Constantine P. Sapuntzakis , Ramesh Chandra , Ben Pfaff , Jim Chow , Monica S. Lam , Mendel Rosenblum, Optimizing the migration of virtual computers, Proceedings of the 5th symposium on Operating systems design and implementation

  Due to copyright restrictions we are not able to make the PDFs for this conference available for downloading

  , December 09-11, 2002, Boston, Massachusetts [doi>10.1145/1060289.1060324]
• 17: Yang Ni, Uli Kremer, Adrian Stere, and Liviu Lftode. In ACM SIGPLAN conference on programming language design and implementations (PLDI'05). 2005.
• 18: Robert P. Cook. Obtuse, a scripting language for migratory applications. In third USENIX Conference on Object-Oriented Technologies (COOTS). 1997
• 19: http://java.sun.com/j2se/1.5.0/docs/guide/serialization/spec/protocol.html
• 20: http://primates.ximian.com/~lluis/dist/binary_serialization_format.htm
• 21: Rajesh Krishna Balan , Mahadev Satyanarayanan , So Young Park , Tadashi Okoshi, Tactics-based remote execution for mobile computing, Proceedings of the 1st international conference on Mobile systems, applications and services, p.273-286, May 05-08, 2003, San Francisco, California [doi>10.1145/1066116.1066125]
• 22: Selim Gurun , Chandra Krintz , Rich Wolski, NWSLite: a light-weight prediction utility for mobile devices, Proceedings of the 2nd international conference on Mobile systems, applications, and services, June 06-09, 2004, Boston, MA, USA [doi>10.1145/990064.990068]
• 23: Alexey Rudenko , Peter Reiher , Gerald J. Popek , Geoffrey H. Kuenning, The remote processing framework for portable computer power saving, Proceedings of the 1999 ACM symposium on Applied computing, p.365-372, February 28-March 02, 1999, San Antonio, Texas, United States [doi>10.1145/298151.298385]

INDEX TERMS

Primary Classification:
  D. Software
  D.3 PROGRAMMING LANGUAGES
      D.3.4 Processors
          Subjects: Compilers

Additional Classification:
  D. Software
  D.3 PROGRAMMING LANGUAGES
      D.3.4 Processors
          Subjects: Optimization

General Terms:
Algorithms, Design, Experimentation, Measurement, Performance

Keywords:
compiler, mobile computing, seamless migration