Migrating protocols in multi-threaded message-passing systems

Authors:
Austin Anderson;Julian Rathke
Affiliations:
University of Southampton;University of Southampton
Venue:
Proceedings of the 2nd International Workshop on Hot Topics in Software Upgrades
Year:
2009

Citing 7
Cited 1

Lazy modular upgrades in persistent object stores

OOPSLA '03 Proceedings of the 18th annual ACM SIGPLAN conference on Object-oriented programing, systems, languages, and applications
Mutatis mutandis: safe and predictable dynamic software updating

Proceedings of the 32nd ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Dynamic software updating

ACM Transactions on Programming Languages and Systems (TOPLAS)
Contextual effects for version-consistent dynamic software updating and safe concurrent programming

Proceedings of the 35th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Multiparty asynchronous session types

Proceedings of the 35th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Safe and timely updates to multi-threaded programs

Proceedings of the 2009 ACM SIGPLAN conference on Programming language design and implementation
Modular software upgrades for distributed systems

ECOOP'06 Proceedings of the 20th European conference on Object-Oriented Programming

Report on the second ACM workshop on hot topics in software upgrades (HotSWUp'09): http://www.hotswup.org/2009/

ACM SIGOPS Operating Systems Review

Quantified Score

Hi-index	0.00

Visualization

Abstract

Dynamic software update is a technique by which a running program can be updated with new code and data without interrupting its execution. Often we will want to preserve properties of programs across update boundaries. Preserving simple typing across update boundaries for single-threaded programs is well studied. There are other higher-level properties we may wish to preserve, particularly for multi-threaded programs. Session typing is used to guarantee that a set of parallel threads communicate according to a given protocol. Hence we investigate preserving correct communications behaviour of a set of parallel threads correctly across update boundaries which change the running protocol. We present a procedure for updating multiple threads to cleanly migrate a system from one protocol to another.