Migrating Protocols In Multi-Threaded Message-Passing Systems

Austin Anderson, Julian Rathke

Research output: Contribution to conferencePaper

8 Citations (Scopus)

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.
Original languageEnglish
Number of pages5
DOIs
Publication statusPublished - 2009
EventHot Topics in Software Upgrades - Orlando, Florida, United Kingdom
Duration: 25 Oct 200925 Oct 2009

Workshop

WorkshopHot Topics in Software Upgrades
CountryUnited Kingdom
CityOrlando, Florida
Period25/10/0925/10/09

Fingerprint

Message passing
Communication

Cite this

Anderson, A., & Rathke, J. (2009). Migrating Protocols In Multi-Threaded Message-Passing Systems. Paper presented at Hot Topics in Software Upgrades, Orlando, Florida, United Kingdom. https://doi.org/10.1145/1656437.1656448

Migrating Protocols In Multi-Threaded Message-Passing Systems. / Anderson, Austin; Rathke, Julian.

2009. Paper presented at Hot Topics in Software Upgrades, Orlando, Florida, United Kingdom.

Research output: Contribution to conferencePaper

Anderson, A & Rathke, J 2009, 'Migrating Protocols In Multi-Threaded Message-Passing Systems' Paper presented at Hot Topics in Software Upgrades, Orlando, Florida, United Kingdom, 25/10/09 - 25/10/09, . https://doi.org/10.1145/1656437.1656448
Anderson A, Rathke J. Migrating Protocols In Multi-Threaded Message-Passing Systems. 2009. Paper presented at Hot Topics in Software Upgrades, Orlando, Florida, United Kingdom. https://doi.org/10.1145/1656437.1656448
Anderson, Austin ; Rathke, Julian. / Migrating Protocols In Multi-Threaded Message-Passing Systems. Paper presented at Hot Topics in Software Upgrades, Orlando, Florida, United Kingdom.5 p.
@conference{c772ba965ad649fcae75cbd1cdded947,
title = "Migrating Protocols In Multi-Threaded Message-Passing Systems",
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.",
author = "Austin Anderson and Julian Rathke",
year = "2009",
doi = "10.1145/1656437.1656448",
language = "English",
note = "Hot Topics in Software Upgrades ; Conference date: 25-10-2009 Through 25-10-2009",

}

TY - CONF

T1 - Migrating Protocols In Multi-Threaded Message-Passing Systems

AU - Anderson, Austin

AU - Rathke, Julian

PY - 2009

Y1 - 2009

N2 - 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.

AB - 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.

U2 - 10.1145/1656437.1656448

DO - 10.1145/1656437.1656448

M3 - Paper

ER -