Abstract | ||
---|---|---|
Highly available software systems occasionally need to be updated while avoiding downtime. Dynamic software updates reduce downtime, 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 how first-class contexts offer a practical and flexible approach to incremental dynamic updates, with acceptable overhead. |
Year | DOI | Venue |
---|---|---|
2013 | 10.1007/978-3-642-30561-0_21 | Journal of Object Technology |
Keywords | DocType | Volume |
novel approach,global updates,global update,flexible approach,available software system,new thread,dynamic updates,incremental dynamic updates,first-class context,dynamic software | Journal | 12 |
Issue | ISSN | Citations |
3 | 0302-9743 | 4 |
PageRank | References | Authors |
0.41 | 26 | 3 |
Name | Order | Citations | PageRank |
---|---|---|---|
Erwann Wernli | 1 | 13 | 2.31 |
Mircea Lungu | 2 | 545 | 39.17 |
Oscar Nierstrasz | 3 | 2404 | 346.86 |