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.
|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|
|Reuse Permissions||All Rights Reserved|
|Note||Doctoral Dissertation Computer Science 2015|
|Collaborating Institutions||Graduate College / ASU Library|
|Additional Formats||MODS / OAI Dublin Core / RIS|