Mutatis Mutandis: Safe and predictable dynamic software updating

TitleMutatis Mutandis: Safe and predictable dynamic software updating
Publication TypeJournal Articles
Year of Publication2007
AuthorsStoyle G, Hicks MW, Bierman G, Sewell P, Neamtiu I
JournalACM Trans. Program. Lang. Syst.
Date Published2007/08//
ISBN Number0164-0925
Keywordscapability, dynamic software updating, proteus, Type inference, updateability analysis

This article presents Proteus, a core calculus that models dynamic software updating, a service for fixing bugs and adding features to a running program. Proteus permits a program's type structure to change dynamically but guarantees the updated program remains type-correct by ensuring a property we call con-freeness. We show how con-freeness can be enforced dynamically, and how it can be approximated via a novel static analysis. This analysis can be used to assess the implications of a program's structure on future updates in order to make update success more predictable. We have implemented Proteus for C, and briefly discuss our implementation which we have tested on several well-known programs.