Skip to main content
SpringerLink
Log in

Genrih, a Runtime State Analysis System for Deciding the Applicability of Dynamic Software Updates

  • Conference paper
  • First Online:
Software Technologies (ICSOFT 2017)

Part of the book series: Communications in Computer and Information Science ((CCIS,volume 868))

Included in the following conference series:

  • 420 Accesses

Abstract

Dynamic Software updating (DSU) systems enable applications to be upgraded without service interruption. However, the implications of changed program assumptions may result in unwanted runtime phenomena after the dynamic update if the momentary state of the application does not satisfy those changed assumptions. Hence, in order to enable dynamic updates in a safe manner, the updating mechanism needs to reason about the runtime state at update time.

We present a runtime state analysis system, Genrih, that enhances an existing dynamic update system with the ability to take automated informed decisions concerning the safety of a particular program update. Genrih will determine if the automated default state transformations of the underlying DSU system are sufficient for the given update. In Genrih the atomic changes that constitute the update patch are analyzed in combination with the present runtime state of the application. Based on that analysis Genrih determines whether updating the system will lead to observable unwanted runtime phenomena.

While Genrih is powerful enough to block updates until the runtime state satisfies the update to allow for a safe update, for practical purposes it observes the runtime state and produces notifications for enhanced analysis and crash management. The practical evaluation shows that the designed system imposes acceptable overhead and can help educate developers about runtime phenomena.

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 39.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.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

References

  1. Gupta, D., Jalote, P., Barua, G.: A formal framework for on-line software version change. IEEE Trans. Softw. Eng. 22, 120–131 (1996)

    Article  Google Scholar 

  2. Hayden, C.M., Saur, K., Hicks, M., Foster, J.S.: A study of dynamic software update quiescence for multithreaded programs. In: Proceedings of the 4th International Workshop on Hot Topics in Software Upgrades (HotSWUp), pp. 6–10. IEEE Press, Piscataway (2012)

    Google Scholar 

  3. Subramanian, S., Hicks, M., McKinley, K.S.: Dynamic software updates: a VM-centric approach. SIGPLAN Not. 44, 1–12 (2009)

    Article  Google Scholar 

  4. Kabanov, J., Vene, V.: A thousand years of productivity: the JRebel story. Softw.: Pract. Exper. 44, 105–127 (2014)

    Google Scholar 

  5. Pina, L., Veiga, L., Hicks, M.: Rubah: DSU for Java on a stock JVM. In: Proceedings of the 2014 ACM International Conference on Object Oriented Programming Systems Languages and Applications, (OOPSLA 2014), pp. 103–119. ACM, New York (2014). https://doi.org/10.1145/2660193.2660220

  6. Hayden, C.M., Magill, S., Hicks, M., Foster, N., Foster, J.S.: Specifying and verifying the correctness of dynamic software updates. In: Joshi, R., Müller, P., Podelski, A. (eds.) VSTTE 2012. LNCS, vol. 7152, pp. 278–293. Springer, Heidelberg (2012). https://doi.org/10.1007/978-3-642-27705-4_22

    Chapter  Google Scholar 

  7. Hayden, C.M., Smith, E.K., Hardisty, E.A., Hicks, M., Foster, J.S.: Evaluating dynamic software update safety using systematic testing. IEEE Trans. Softw. Eng. 38, 1340–1354 (2012)

    Article  Google Scholar 

  8. Hayden, C.M.: Clear, correct, and efficient dynamic software updates. Ph 3543 (2012)

    Google Scholar 

  9. Arnold, J., Kaashoek, M.F.: Ksplice: automatic rebootless kernel updates. In: Proceedings of the 4th ACM European Conference on Computer Systems, EuroSys 2009, (Nuremberg, Germany, April 2009), pp. 187–198. ACM, New York (2009)

    Google Scholar 

  10. Erlang: Erlang reloading documentation (2017). http://www.erlang.org/doc/reference_manual/code_loading.html. Accessed 17 May 2017

  11. Würthinger, T., Wimmer, C., Stadler, L.: Dynamic code evolution for Java. In: Proceedings of the 8th International Conference on the Principles and Practice of Programming in Java, PPPJ, pp. 10–19. ACM, New York (2010)

    Google Scholar 

  12. Gregersen, A.R., Jørgensen, B.N.: Dynamic update of Java applications - balancing change flexibility vs. programming transparency. J. Softw. Maint. Evol. 21, 81–112 (2009)

    Article  Google Scholar 

  13. Zhao, Z., Ma, X., Xu, C., Yang, W.: Automated recommendation of dynamic software update points: an exploratory study. In: Proceedings of the 6th Asia-Pacific Symposium on Internetware (INTERNETWARE 2014), pp. 136–144. ACM, New York (2014). https://doi.org/10.1145/2677832.2677853

  14. Gregersen, A.R., Jørgensen, B.N.: Run-time phenomena in dynamic software updating: causes and effects. In: Proceedings of the 12th International Workshop on Principles of Software Evolution and the 7th Annual ERCIM Workshop on Software Evolution (IWPSE-EVOL 2011), pp. 6–15. ACM, New York (2011). https://doi.org/10.1145/2024445.2024448

  15. Šelajev, O., Gregersen, A.: Using runtime state analysis to decide applicability of dynamic software updates. In: Proceedings of the 12th International Conference on Software Technologies, pp. 38–49 (2017)

    Google Scholar 

  16. Gregersen, A.R.: Implications of modular systems on dynamic updating. In: Proceedings of the 14th International ACM Sigsoft Symposium on Component Based Software Engineering, (CBSE 2011), pp. 169–178. ACM, New York (2011). https://doi.org/10.1145/2000229.2000254

  17. Šelajev, O., Raudjärv, R., Kabanov, J.: Static analysis for dynamic updates. In: Proceedings of the 9th Central and Eastern European Software Engineering Conference in Russia, (CEE-SECR 2013). ACM, New York (2013)

    Google Scholar 

  18. Oracle: JVMTI documentation (2017). http://docs.oracle.com/javase/8/docs/platform/jvmti/jvmti.html#whatIs. Accessed 18 May 2017

  19. Pina, L.: Rubah source code (2014). https://github.com/plum-umd/rubah. Accessed 22 Nov 2017

  20. Shipilev, A.: Java microbenchmark harness (2017). http://openjdk.java.net/projects/code-tools/jmh/. Accessed 17 May 2017

  21. Bazzi, R.A., Makris, K., Nayeri, P., Shen, J.: Dynamic software updates: the state mapping problem. In: Proceedings of the 2nd International Workshop on Hot Topics in Software Upgrades, (HotSWUp 2009), Article no. 7, 2 p. ACM, New York (2009)

    Google Scholar 

  22. Giuffrida, C., Iorgulescu, C., Kuijsten, A., Tanenbaum, A.S.: Back to the future: fault-tolerant live update with time-traveling state transfer. In: Proceedings of the 27th USENIX Conference on Large Installation System Administration (LISA 2013), pp. 89–104. USENIX Association, Berkeley (2013)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. University of Tartu, Tartu, Estonia

    Oleg Šelajev

  2. ZeroTurnaround, Tartu, Estonia

    Allan Raundahl Gregersen

Authors
  1. Oleg Šelajev
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Allan Raundahl Gregersen
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding authors

Correspondence to Oleg Šelajev or Allan Raundahl Gregersen .

Editor information

Editors and Affiliations

  1. King Juan Carlos University, Madrid, Spain

    Enrique Cabello

  2. University of Coimbra, Coimbra, Portugal

    Jorge Cardoso

  3. Wroclaw University of Economics, Wroclaw, Poland

    Leszek A. Maciaszek

  4. Computer Science, University of Twente, Enschede, The Netherlands

    Marten van Sinderen

Rights and permissions

Reprints and permissions

Copyright information

© 2018 Springer International Publishing AG, part of Springer Nature

About this paper

Check for updates. Verify currency and authenticity via CrossMark

Cite this paper

Šelajev, O., Gregersen, A.R. (2018). Genrih, a Runtime State Analysis System for Deciding the Applicability of Dynamic Software Updates. In: Cabello, E., Cardoso, J., Maciaszek, L., van Sinderen, M. (eds) Software Technologies. ICSOFT 2017. Communications in Computer and Information Science, vol 868. Springer, Cham. https://doi.org/10.1007/978-3-319-93641-3_7

Download citation

  • DOI: https://doi.org/10.1007/978-3-319-93641-3_7

  • Published:

  • Publisher Name: Springer, Cham

  • Print ISBN: 978-3-319-93640-6

  • Online ISBN: 978-3-319-93641-3

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation