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.
Download count: 0
- Partial requirement for: Ph.D., Arizona State University, 2015Note typethesis
- Includes bibliographical references (pages 159-165)Note typebibliography
- Field of study: Computer science