Abstract | ||
---|---|---|
In this paper, we present a novel method of safety analysis for runtime code update, i.e., updating a program at runtime without terminating its execution. Runtime code update is an emerging technique especially for increasing availability of the servers which should always be in service and free of any known bugs or security flaws. However, it may cause state inconsistency or unintended behaviors unless it is properly restricted. Although too much restriction enables us to easily ensure safety of updating code at runtime, it prevents us from coping with the realistic updates. To reveal appropriate restriction, we first construct a very precise model of safe runtime code update based on a framework of explicit data/control flow and dependency. Then, a class of analyses which statically estimates the set of safe update points is derived by approximating the model. We restrict only the timing: behaviorally safe runtime code update may occur only at safe update points. Moreover, we can relax the restriction by explicitly specifying non-critical points. |
Year | DOI | Venue |
---|---|---|
2006 | 10.1007/978-3-540-77505-8_6 | ASIAN |
Keywords | Field | DocType |
control flow,appropriate restriction,safe runtime code update,explicit data,behaviorally safe runtime code,safe update point,precise model,safety analysis,known bug,runtime code update,critical point | Computer science,Control flow,Server,Runtime verification,restrict,Distributed computing | Conference |
Volume | ISSN | ISBN |
4435 | 0302-9743 | 3-540-77504-8 |
Citations | PageRank | References |
1 | 0.37 | 11 |
Authors | ||
1 |
Name | Order | Citations | PageRank |
---|---|---|---|
Masatomo Hashimoto | 1 | 68 | 5.97 |