Incremental Dynamic Updates with First-class Contexts

Wernli, Erwann; Lungu, Mircea; Nierstrasz, Oscar (2013). Incremental Dynamic Updates with First-class Contexts. Journal of Object Technology, 12(3), pp. 1-27. AITO 10.5381/jot.2013.12.3.a1

[img]
Preview
Text
Wern13a.pdf - Published Version
Available under License Publisher holds Copyright.

Download (1MB) | Preview

Highly available software systems occasionally need to be updated while avoiding downtime. Dynamic software updates reduce down-time, but still require the system to reach a quiescent state in which a global update can be performed. This can be difficult for multi-threaded systems. We present a novel approach to dynamic updates using first-class contexts, called Theseus. First-class contexts make global updates unnecessary: existing threads run to termination in an old context, while new threads start in a new, updated context; consistency between contexts is ensured with the help of bidirectional transformations. We show that for multi-threaded systems with coherent memory, first-class contexts offer a practical and flexible approach to dynamic updates, with acceptable overhead.

Item Type:

Journal Article (Original Article)

Division/Institute:

08 Faculty of Science > Institute of Computer Science (INF)
08 Faculty of Science > Institute of Computer Science (INF) > Software Composition Group (SCG) [discontinued]

UniBE Contributor:

Wernli, Erwann, Lungu, Mircea, Nierstrasz, Oscar

Subjects:

000 Computer science, knowledge & systems

ISSN:

1660-1769

Publisher:

AITO

Language:

English

Submitter:

Oscar Nierstrasz

Date Deposited:

27 Mar 2014 18:49

Last Modified:

02 Mar 2023 23:24

Publisher DOI:

10.5381/jot.2013.12.3.a1

Uncontrolled Keywords:

context-oriented scg-pub jb13 snf13 scg13 wern-sel, dynamic language, dynamic software update, reflection

BORIS DOI:

10.7892/boris.43353

URI:

https://boris.unibe.ch/id/eprint/43353

Actions (login required)

Edit item Edit item
Provide Feedback