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

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)
UniBE Contributor: Wernli, Erwann; Lungu, Mircea and Nierstrasz, Oscar Marius
Subjects: 000 Computer science, knowledge & systems
ISSN: 1660-1769
Publisher: AITO
Language: English
Submitter: Oscar Marius Nierstrasz
Date Deposited: 27 Mar 2014 18:49
Last Modified: 27 Mar 2014 23:42
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

Actions (login required)

Edit item Edit item
Provide Feedback