Type-based hot swapping of running modules

Authors:
Dominic Duggan
Affiliations:
Stevens Institute of Technology, Department of Computer Science, Castle Point on the Hudson, NJ 07040, Hoboken, USA
Venue:
Acta Informatica
Year:
2005

Citing 0
Cited 3

Dynamic update of Java applications—balancing change flexibility vs programming transparency

Journal of Software Maintenance and Evolution: Research and Practice - Special Issue on the 12th Conference on Software Maintenance and Reengineering (CSMR 2008)
Dynamic software updates: a VM-centric approach

Proceedings of the 2009 ACM SIGPLAN conference on Programming language design and implementation
Sharing classes between families

Proceedings of the 2009 ACM SIGPLAN conference on Programming language design and implementation

Quantified Score

Hi-index	0.00

Visualization

Abstract

While dynamic linking has become an integral part of the run-time execution of modern programming languages, there is increasing recognition of the need for support for hot swapping of running modules, particularly in long-lived server applications. The interesting challenge for such a facility is to allow the new module to change the types exported by the original module, while preserving type safety. This paper describes a type-based approach to hot swapping running modules. The approach is based on a reflective mechanism for dynamically adding type sharing constraints to the type system, realized by programmer-defined version adapters in the run-time.