Dynamic software updates: the state mapping problem

Authors:
Rida A. Bazzi;Kristis Makris;Peyman Nayeri;Jun Shen
Affiliations:
Arizona State University;Arizona State University;Arizona State University;Arizona State University
Venue:
Proceedings of the 2nd International Workshop on Hot Topics in Software Upgrades
Year:
2009

Citing 3
Cited 2

A Formal Framework for On-line Software Version Change

IEEE Transactions on Software Engineering
Unification-based pointer analysis with directional assignments

PLDI '00 Proceedings of the ACM SIGPLAN 2000 conference on Programming language design and implementation
Immediate multi-threaded dynamic software updates using stack reconstruction

USENIX'09 Proceedings of the 2009 conference on USENIX Annual technical conference

Report on the second ACM workshop on hot topics in software upgrades (HotSWUp'09): http://www.hotswup.org/2009/

ACM SIGOPS Operating Systems Review
Back to the future: fault-tolerant live update with time-traveling state transfer

LISA'13 Proceedings of the 27th international conference on Large Installation System Administration

Quantified Score

Hi-index	0.00

Visualization

Abstract

We consider the state mapping problem for dynamic software updates and propose a number of approaches that have the potential of automating the state mapping in practical setting.