ハシモト　マサトモ   Masatomo Hashimoto   橋本　政朋    所属   千葉工業大学  人工知能・ソフトウェア技術研究センター 人工知能・ソフトウェア技術研究センター    職種   主席研究員
言語種別	英語
発行・発表の年月	2006/12
形態種別	国際会議プロシーディングス
査読	査読あり
標題	A Method of Safety Analysis for Runtime Code Update
執筆形態	単著
掲載誌名	Proceedings of the 11th Asian Computing Science Conference
掲載区分	国外
出版社・発行元	Springer
巻・号・頁	pp.60-74
概要	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. 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.
DOI	10.1007/978-3-540-77505-8_6
ISBN	978-3-540-77505-8
researchmap用URL	https://link.springer.com/chapter/10.1007/978-3-540-77505-8_6