Skip to main content

A Study of Backward Compatible Dynamic Software Update


Abstract Dynamic software update (DSU) enables a program to update while it is running. DSU aims to minimize the loss due to program downtime for updates. Usually DSU is done in three steps: suspending the execution of an old program, mapping the execution state from the old program to a new one, and resuming execution of the new program with the mapped state. The semantic correctness of DSU depends largely on the state mapping which is mostly composed by developers manually nowadays. However, the manual construction of a state mapping does not necessarily ensure sound and dependable state mapping. This dissertation presents a methodology to assist developers by automating the construction of a partial state mapping with a guarantee of correctness.
... (more)
Created Date 2015
Contributor Shen, Jun (Author) / Bazzi, Rida A (Advisor) / Fainekos, Georgios (Committee member) / Neamtiu, Iulian (Committee member) / Shrivastava, Aviral (Committee member) / Arizona State University (Publisher)
Subject Computer science / backward compatibility / dynamic software update / operational semantic / program dependence graph / program equivalence
Type Doctoral Dissertation
Extent 218 pages
Language English
Copyright
Reuse Permissions All Rights Reserved
Note Doctoral Dissertation Computer Science 2015
Collaborating Institutions Graduate College / ASU Library
Additional Formats MODS / OAI Dublin Core / RIS


  Full Text
997.9 KB application/pdf
Download Count: 349

Description Dissertation/Thesis