The University of Southampton
University of Southampton Institutional Repository

Migrating Protocols In Multi-Threaded Message-Passing Systems

Rathke, Julian and Anderson, Gabrielle (2009) Migrating Protocols In Multi-Threaded Message-Passing Systems At Second ACM Workshop on Hot Topics in Software Upgrades (HotSWUp'09).

Record type: Conference or Workshop Item (Paper)


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.

PDF hotswup09_submission_2.pdf - Version of Record
Restricted to Registered users only
Download (138kB)

More information

Published date: October 2009
Additional Information: Event Dates: 25th October 2009
Venue - Dates: Second ACM Workshop on Hot Topics in Software Upgrades (HotSWUp'09), 2009-10-25
Organisations: Electronic & Software Systems


Local EPrints ID: 271103
PURE UUID: 6e8e26c5-89a3-4d1e-906e-538ed8dd70f5

Catalogue record

Date deposited: 17 May 2010 14:54
Last modified: 18 Jul 2017 06:47

Export record


Author: Julian Rathke
Author: Gabrielle Anderson

University divisions

Download statistics

Downloads from ePrints over the past year. Other digital versions may also be available to download e.g. from the publisher's website.

View more statistics

Atom RSS 1.0 RSS 2.0

Contact ePrints Soton:

ePrints Soton supports OAI 2.0 with a base URL of

This repository has been built using EPrints software, developed at the University of Southampton, but available to everyone to use.

We use cookies to ensure that we give you the best experience on our website. If you continue without changing your settings, we will assume that you are happy to receive cookies on the University of Southampton website.