Name
Abstract | ||
|---|---|---|
Dynamic software updating (DSU) systems eliminate costly downtime by dynamically fixing bugs and adding features to executing programs. Given a static code patch, most DSU systems construct runtime code changes automatically. However, a dynamic update must also specify how to change the running program's execution state, e.g., the stack and heap, to make it compatible with the new code. Constructing such state transformations correctly and automatically remains an open problem. This paper presents a solution called Targeted Object Synthesis (TOS). TOS first executes the same tests on the old and new program versions separately, observing the program heap state at a few corresponding points. Given two corresponding heap states, TOS matches objects in the two versions using key fields that uniquely identify objects and correlate old and new-version objects. Given example object pairs, TOS then synthesizes the simplest-possible function that transforms an old-version object to its new-version counterpart. We show that TOS is effective on updates to four open-source server programs for which it generates non-trivial transformation functions that use conditionals, operate on collections, and fix memory leaks. These transformations help programmers understand their changes and apply dynamic software updates. |
Year | DOI | Venue |
|---|---|---|
2012 | 10.1145/2384616.2384636 | OOPSLA |
Keywords | Field | DocType |
open-source server program,execution state,program heap state,new code,automating object transformation,runtime code change,corresponding heap state,dynamic software updates,new program version,dynamic update,dynamic software,hot swapping | Hot swapping,Programming language,Open problem,Program synthesis,Computer science,Dynamic software updating,Heap (data structure),Theoretical computer science,Software,Memory leak,Downtime | Conference |
Volume | Issue | ISSN |
47 | 10 | 0362-1340 |
Citations | PageRank | References |
10 | 0.56 | 9 |
Authors | ||
4 | ||
Name | Order | Citations | PageRank |
|---|---|---|---|
| Stephen Magill | 1 | 83 | 3.54 |
| Michael Hicks | 2 | 10 | 0.56 |
| Suriya Subramanian | 3 | 91 | 4.03 |
| Kathryn S. Mckinley | 4 | 3746 | 267.74 |