TY - JOUR
T1 - Type-based hot swapping of running modules [Extended abstract]
AU - Duggan, Dominic
PY - 2001/10
Y1 - 2001/10
N2 - 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.
AB - 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.
KW - Dynamic Typing
KW - Hot Swapping
KW - Module Interconnection Languages
KW - Shared Libraries
UR - http://www.scopus.com/inward/record.url?scp=17144426122&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=17144426122&partnerID=8YFLogxK
U2 - 10.1145/507669.507645
DO - 10.1145/507669.507645
M3 - Article
AN - SCOPUS:17144426122
SN - 0362-1340
VL - 36
SP - 62
EP - 73
JO - SIGPLAN Notices (ACM Special Interest Group on Programming Languages)
JF - SIGPLAN Notices (ACM Special Interest Group on Programming Languages)
IS - 10
ER -